Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Automated_theorem_verification> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Automated_theorem_verification wikiPageID "8619170".
- Automated_theorem_verification wikiPageRedirects Automated_proof_checking.
- Automated_theorem_verification wikiPageRevisionID "252705732".
- 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.