Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Cut-elimination_theorem> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Cut-elimination_theorem wikiPageExternalLink ?IDDOC=17178.
- Cut-elimination_theorem wikiPageExternalLink ?IDDOC=17188.
- Cut-elimination_theorem wikiPageID "910234".
- Cut-elimination_theorem wikiPageLength "7077".
- Cut-elimination_theorem wikiPageOutDegree "28".
- Cut-elimination_theorem wikiPageRevisionID "612476377".
- Cut-elimination_theorem wikiPageWikiLink Admissible_rule.
- Cut-elimination_theorem wikiPageWikiLink Analytic_proof.
- Cut-elimination_theorem wikiPageWikiLink Category:Proof_theory.
- Cut-elimination_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Cut-elimination_theorem wikiPageWikiLink Classical_logic.
- Cut-elimination_theorem wikiPageWikiLink Consistency.
- Cut-elimination_theorem wikiPageWikiLink Consistency_proof.
- Cut-elimination_theorem wikiPageWikiLink Contradiction.
- Cut-elimination_theorem wikiPageWikiLink Craig_interpolation.
- Cut-elimination_theorem wikiPageWikiLink Curry–Howard_correspondence.
- Cut-elimination_theorem wikiPageWikiLink Curry–Howard_isomorphism.
- Cut-elimination_theorem wikiPageWikiLink First-order_resolution.
- Cut-elimination_theorem wikiPageWikiLink Gentzens_consistency_proof.
- Cut-elimination_theorem wikiPageWikiLink George_Boolos.
- Cut-elimination_theorem wikiPageWikiLink Gerhard_Gentzen.
- Cut-elimination_theorem wikiPageWikiLink Higher-order_typed_lambda_calculus.
- Cut-elimination_theorem wikiPageWikiLink Intuitionistic_logic.
- Cut-elimination_theorem wikiPageWikiLink Jean-Yves_Girard.
- Cut-elimination_theorem wikiPageWikiLink Law_of_excluded_middle.
- Cut-elimination_theorem wikiPageWikiLink Law_of_the_excluded_middle.
- Cut-elimination_theorem wikiPageWikiLink Lemma_(mathematics).
- Cut-elimination_theorem wikiPageWikiLink Normal_form_(abstract_rewriting).
- Cut-elimination_theorem wikiPageWikiLink Normal_form_(term_rewriting).
- Cut-elimination_theorem wikiPageWikiLink Peano_axioms.
- Cut-elimination_theorem wikiPageWikiLink Peanos_axioms.
- Cut-elimination_theorem wikiPageWikiLink Prolog.
- Cut-elimination_theorem wikiPageWikiLink Proof-theoretic_semantics.
- Cut-elimination_theorem wikiPageWikiLink Proof_theory.
- Cut-elimination_theorem wikiPageWikiLink Resolution_(logic).
- Cut-elimination_theorem wikiPageWikiLink Sequent.
- Cut-elimination_theorem wikiPageWikiLink Sequent_calculus.
- Cut-elimination_theorem wikiPageWikiLink Subformula_property.
- Cut-elimination_theorem wikiPageWikiLink Tautology_(logic).
- Cut-elimination_theorem wikiPageWikiLinkText "Cut-elimination theorem".
- Cut-elimination_theorem wikiPageWikiLinkText "cut elimination".
- Cut-elimination_theorem wikiPageWikiLinkText "cut-elimination theorem".
- Cut-elimination_theorem wikiPageWikiLinkText "cut-elimination".
- Cut-elimination_theorem wikiPageWikiLinkText "cut-free".
- Cut-elimination_theorem author "Alex Sakharov".
- Cut-elimination_theorem hasPhotoCollection Cut-elimination_theorem.
- Cut-elimination_theorem title "Cut Elimination Theorem".
- Cut-elimination_theorem urlname "CutEliminationTheorem".
- Cut-elimination_theorem wikiPageUsesTemplate Template:Cite_book.
- Cut-elimination_theorem wikiPageUsesTemplate Template:Cite_journal.
- Cut-elimination_theorem wikiPageUsesTemplate Template:MathWorld.
- Cut-elimination_theorem wikiPageUsesTemplate Template:Reflist.
- Cut-elimination_theorem subject Category:Proof_theory.
- Cut-elimination_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Cut-elimination_theorem type Proof.
- Cut-elimination_theorem type Theorem.
- Cut-elimination_theorem label "Cut-elimination theorem".
- Cut-elimination_theorem sameAs Gentzenscher_Hauptsatz.
- Cut-elimination_theorem sameAs カット除去定理.
- Cut-elimination_theorem sameAs Teorema_da_eliminação_do_corte.
- Cut-elimination_theorem sameAs m.03p1l3.
- Cut-elimination_theorem sameAs Устранимость_сечений.
- Cut-elimination_theorem sameAs Q376166.
- Cut-elimination_theorem sameAs Q376166.
- Cut-elimination_theorem sameAs 切消定理.
- Cut-elimination_theorem wasDerivedFrom Cut-elimination_theorem?oldid=612476377.
- Cut-elimination_theorem isPrimaryTopicOf Cut-elimination_theorem.