Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Automated_theorem_verificator> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Automated_theorem_verificator wikiPageID "8619196".
- Automated_theorem_verificator wikiPageLength "38".
- Automated_theorem_verificator wikiPageOutDegree "1".
- Automated_theorem_verificator wikiPageRedirects Automated_proof_checking.
- Automated_theorem_verificator wikiPageRevisionID "252705854".
- Automated_theorem_verificator wikiPageWikiLink Automated_proof_checking.
- 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.