Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Automated_theorem_verificator> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Automated_theorem_verificator wikiPageID "8619196".
- Automated_theorem_verificator wikiPageRedirects Automated_proof_checking.
- Automated_theorem_verificator wikiPageRevisionID "252705854".
- Automated_theorem_verificator label "Automated theorem verificator".
- Automated_theorem_verificator sameAs m.027b81f.
- Automated_theorem_verificator wasDerivedFrom Automated_theorem_verificator?oldid=252705854.
- Automated_theorem_verificator isPrimaryTopicOf Automated_theorem_verificator.