Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Proof_checking> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- Automated_theorem_proving wikiPageWikiLink Proof_checking.
- Computer-assisted_proof wikiPageWikiLink Proof_checking.
- Formalism_(mathematics) wikiPageWikiLink Proof_checking.
- Philosophy_of_mathematics wikiPageWikiLink Proof_checking.
- Rigour wikiPageWikiLink Proof_checking.
- Proof_checking primaryTopic Proof_checking.