Search results

Create the page "Theorem prover" on this wiki! See also the search results found.

• Theorem
  ...nded) consequences of an ontology. Theorems can be proved with a [[theorem prover]]. ...u may need to select a child ontology). The theorems are displayed in the "Theorem" subtab under the "Content" tab.
  697 bytes (107 words) - 19:42, 8 October 2016
• Axiom names
  ...with self-explanatory names. This pays off especially when using a theorem prover with [[Hets]] or [[Ontohub]], because then these names can be used to quick
  952 bytes (135 words) - 14:50, 7 May 2017