Matches in DBpedia 2014 for { <http://dbpedia.org/resource/TPS_(Theorem_Proving_System)> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- TPS_(Theorem_Proving_System) wikiPageID "8000598".
- TPS_(Theorem_Proving_System) wikiPageRedirects Theorem_Proving_System.
- TPS_(Theorem_Proving_System) wikiPageRevisionID "88632350".
- TPS_(Theorem_Proving_System) label "TPS (Theorem Proving System)".
- TPS_(Theorem_Proving_System) sameAs m.0chmvs.
- TPS_(Theorem_Proving_System) wasDerivedFrom TPS_(Theorem_Proving_System)?oldid=88632350.
- TPS_(Theorem_Proving_System) isPrimaryTopicOf TPS_(Theorem_Proving_System).