Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Theorem_Proving_System> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "343660142".
- Theorem_Proving_System hasPhotoCollection Theorem_Proving_System.
- Theorem_Proving_System subject Category:Common_Lisp_software.
- Theorem_Proving_System subject Category:Theorem_proving_software_systems.
- 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 m.0chmvs.
- Theorem_Proving_System sameAs Q7782343.
- Theorem_Proving_System sameAs Q7782343.
- Theorem_Proving_System wasDerivedFrom Theorem_Proving_System?oldid=343660142.
- Theorem_Proving_System isPrimaryTopicOf Theorem_Proving_System.