Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Cut-elimination> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Analytic_proof wikiPageWikiLink Cut-elimination.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Cut-elimination.
- Consistency wikiPageWikiLink Cut-elimination.
- Herbrands_theorem wikiPageWikiLink Cut-elimination.
- Kripke_semantics wikiPageWikiLink Cut-elimination.
- List_of_mathematical_logic_topics wikiPageWikiLink Cut-elimination.
- Proof-theoretic_semantics wikiPageWikiLink Cut-elimination.
- Proof_compression wikiPageWikiLink Cut-elimination.
- Sequent_calculus wikiPageWikiLink Cut-elimination.
- Cut-elimination primaryTopic Cut-elimination.