Revision as of 02:49, 11 September 2006 editDancingPenguin (talk | contribs)Extended confirmed users1,692 editsm rvv← Previous edit | Revision as of 14:53, 22 September 2006 edit undoXyzzyplugh (talk | contribs)Extended confirmed users, Pending changes reviewers19,952 edits reasoner is just one who reasons, as can be attested by the fact that after over a year there is nothing but one sentence on this. redirectingNext edit → | ||
Line 1: | Line 1: | ||
#REDIRECT ] | |||
A '''Reasoner''' is a software tool that can derive new formally annotated facts from a set of predefined formally annotated facts. | |||
] | |||
] |
Revision as of 14:53, 22 September 2006
Redirect to: