Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Automated_theorem_checker> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Automated_theorem_checker wikiPageID "8619181".
- Automated_theorem_checker wikiPageLength "38".
- Automated_theorem_checker wikiPageOutDegree "1".
- Automated_theorem_checker wikiPageRedirects Automated_proof_checking.
- Automated_theorem_checker wikiPageRevisionID "252705767".
- Automated_theorem_checker wikiPageWikiLink Automated_proof_checking.
- Automated_theorem_checker label "Automated theorem checker".
- Automated_theorem_checker wasDerivedFrom Automated_theorem_checker?oldid=252705767.
- Automated_theorem_checker isPrimaryTopicOf Automated_theorem_checker.