Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Gentzen> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Curry–Howard_correspondence wikiPageWikiLink Gentzen.
- Epsilon_numbers_(mathematics) wikiPageWikiLink Gentzen.
- Evert_Willem_Beth wikiPageWikiLink Gentzen.
- Foundations_of_mathematics wikiPageWikiLink Gentzen.
- Halting_problem wikiPageWikiLink Gentzen.
- Herbrands_theorem wikiPageWikiLink Gentzen.
- LJ wikiPageWikiLink Gentzen.
- Logical_quality wikiPageWikiLink Gentzen.
- Ludics wikiPageWikiLink Gentzen.
- Ordinal_analysis wikiPageWikiLink Gentzen.
- Proof_procedure wikiPageWikiLink Gentzen.
- Quantifier_(logic) wikiPageWikiLink Gentzen.
- Quantum_information wikiPageWikiLink Gentzen.
- Relevance_logic wikiPageWikiLink Gentzen.
- Takeutis_conjecture wikiPageWikiLink Gentzen.
- Gentzen primaryTopic Gentzen.