Matches in DBpedia 2014 for { <http://dbpedia.org/resource/E_theorem_prover> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- E_theorem_prover abstract "E is a high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich.".
- E_theorem_prover wikiPageExternalLink www.eprover.org.
- E_theorem_prover wikiPageExternalLink ~schulz.
- E_theorem_prover wikiPageID "265268".
- E_theorem_prover wikiPageRevisionID "606031887".
- E_theorem_prover hasPhotoCollection E_theorem_prover.
- E_theorem_prover subject Category:Free_software_programmed_in_C.
- E_theorem_prover subject Category:Free_theorem_provers.
- E_theorem_prover subject Category:Start-Class_Computer_science_articles.
- E_theorem_prover subject Category:Theorem_proving_software_systems.
- E_theorem_prover subject Category:Unix_programming_tools.
- E_theorem_prover comment "E is a high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the best-placed systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich.".
- E_theorem_prover label "E theorem prover".
- E_theorem_prover sameAs m.01n9gl.
- E_theorem_prover sameAs Q5324845.
- E_theorem_prover sameAs Q5324845.
- E_theorem_prover wasDerivedFrom E_theorem_prover?oldid=606031887.
- E_theorem_prover isPrimaryTopicOf E_theorem_prover.