Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_theorem_verification> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Automated_theorem_verification wikiPageID "8619170".
- Automated_theorem_verification wikiPageLength "38".
- Automated_theorem_verification wikiPageOutDegree "1".
- Automated_theorem_verification wikiPageRedirects Automated_proof_checking.
- Automated_theorem_verification wikiPageRevisionID "252705732".
- Automated_theorem_verification wikiPageWikiLink Automated_proof_checking.
- Automated_theorem_verification label "Automated theorem verification".
- Automated_theorem_verification sameAs m.027b81f.
- Automated_theorem_verification wasDerivedFrom Automated_theorem_verification?oldid=252705732.
- Automated_theorem_verification isPrimaryTopicOf Automated_theorem_verification.