Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/E_theorem_prover> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples 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 ~sschulz.
- E_theorem_prover wikiPageExternalLink www.eprover.org.
- E_theorem_prover wikiPageID "265268".
- E_theorem_prover wikiPageLength "8049".
- E_theorem_prover wikiPageOutDegree "19".
- E_theorem_prover wikiPageRevisionID "662925149".
- E_theorem_prover wikiPageWikiLink Automated_theorem_proving.
- E_theorem_prover wikiPageWikiLink CADE_ATP_System_Competition.
- E_theorem_prover wikiPageWikiLink C_(programming_language).
- E_theorem_prover wikiPageWikiLink Category:Free_software_programmed_in_C.
- E_theorem_prover wikiPageWikiLink Category:Free_theorem_provers.
- E_theorem_prover wikiPageWikiLink Category:Unix_programming_tools.
- E_theorem_prover wikiPageWikiLink Conjunctive_normal_form.
- E_theorem_prover wikiPageWikiLink Cygwin.
- E_theorem_prover wikiPageWikiLink First-order_logic.
- E_theorem_prover wikiPageWikiLink GNU_General_Public_License.
- E_theorem_prover wikiPageWikiLink Isabelle_(proof_assistant).
- E_theorem_prover wikiPageWikiLink Isabelle_(theorem_prover).
- E_theorem_prover wikiPageWikiLink SPASS.
- E_theorem_prover wikiPageWikiLink Superposition_calculus.
- E_theorem_prover wikiPageWikiLink Technical_University_of_Munich.
- E_theorem_prover wikiPageWikiLink Technische_Universität_München.
- E_theorem_prover wikiPageWikiLink Term_indexing.
- E_theorem_prover wikiPageWikiLink Unix.
- E_theorem_prover wikiPageWikiLink Vampire_(theorem_prover).
- E_theorem_prover wikiPageWikiLinkText "E theorem prover".
- E_theorem_prover wikiPageWikiLinkText "E".
- E_theorem_prover hasPhotoCollection E_theorem_prover.
- E_theorem_prover wikiPageUsesTemplate Template:Reflist.
- E_theorem_prover wikiPageUsesTemplate Template:Use_dmy_dates.
- E_theorem_prover subject Category:Free_software_programmed_in_C.
- E_theorem_prover subject Category:Free_theorem_provers.
- E_theorem_prover subject Category:Unix_programming_tools.
- E_theorem_prover hypernym Prover.
- E_theorem_prover type Software.
- E_theorem_prover type Tool.
- 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=662925149.
- E_theorem_prover isPrimaryTopicOf E_theorem_prover.