Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Proof_mining> }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Unwinding_(proof_theory) wikiPageRedirects Proof_mining.
- Georg_Kreisel wikiPageWikiLink Proof_mining.
- History_of_logic wikiPageWikiLink Proof_mining.
- Mathematical_logic wikiPageWikiLink Proof_mining.
- Realizability wikiPageWikiLink Proof_mining.
- Ulrich_Kohlenbach wikiPageWikiLink Proof_mining.
- Unwinding_(proof_theory) wikiPageWikiLink Proof_mining.
- Proof_mining primaryTopic Proof_mining.