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