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