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