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