Theorem
From Ontohub
Revision as of 09:43, 11 February 2014 by Tillmo (talk | contribs) (Created page with "A '''theorem''' is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequ...")
A theorem is a sentence that is postulated to logically follow from the axioms of an ontology. Theorems help documenting the (intended or unintended) consequences of an ontology. Theorems can be proved with a theorem prover.
