Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Theorem_checking> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Theorem_checking wikiPageID "8618745".
- Theorem_checking wikiPageLength "38".
- Theorem_checking wikiPageOutDegree "1".
- Theorem_checking wikiPageRedirects Automated_proof_checking.
- Theorem_checking wikiPageRevisionID "252705702".
- Theorem_checking wikiPageWikiLink Automated_proof_checking.
- Theorem_checking label "Theorem checking".
- Theorem_checking wasDerivedFrom Theorem_checking?oldid=252705702.
- Theorem_checking isPrimaryTopicOf Theorem_checking.