Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Theorem_Proving_System> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Theorem_Proving_System abstract "The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).".
- Theorem_Proving_System wikiPageExternalLink tps.html.
- Theorem_Proving_System wikiPageID "4692838".
- Theorem_Proving_System wikiPageLength "501".
- Theorem_Proving_System wikiPageOutDegree "6".
- Theorem_Proving_System wikiPageRevisionID "343660142".
- Theorem_Proving_System wikiPageWikiLink Automated_theorem_proving.
- Theorem_Proving_System wikiPageWikiLink Carnegie_Mellon_University.
- Theorem_Proving_System wikiPageWikiLink Category:Common_Lisp_software.
- Theorem_Proving_System wikiPageWikiLink Category:Theorem_proving_software_systems.
- Theorem_Proving_System wikiPageWikiLink First-order_logic.
- Theorem_Proving_System wikiPageWikiLink Higher-order_logic.
- Theorem_Proving_System wikiPageWikiLinkText "Theorem Proving System".
- Theorem_Proving_System wikiPageUsesTemplate Template:Science-software-stub.
- Theorem_Proving_System subject Category:Common_Lisp_software.
- Theorem_Proving_System subject Category:Theorem_proving_software_systems.
- Theorem_Proving_System hypernym Theorem.
- Theorem_Proving_System type Tool.
- Theorem_Proving_System comment "The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).".
- Theorem_Proving_System label "Theorem Proving System".
- Theorem_Proving_System sameAs Q7782343.
- Theorem_Proving_System sameAs m.0chmvs.
- Theorem_Proving_System sameAs Q7782343.
- Theorem_Proving_System wasDerivedFrom Theorem_Proving_System?oldid=343660142.
- Theorem_Proving_System isPrimaryTopicOf Theorem_Proving_System.