Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structural_proof_theory> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Structural_proof_theory abstract "In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.".
- Structural_proof_theory wikiPageID "929998".
- Structural_proof_theory wikiPageLength "3289".
- Structural_proof_theory wikiPageOutDegree "16".
- Structural_proof_theory wikiPageRevisionID "492152266".
- Structural_proof_theory wikiPageWikiLink Analytic_proof.
- Structural_proof_theory wikiPageWikiLink Category:Proof_theory.
- Structural_proof_theory wikiPageWikiLink Cut-elimination_theorem.
- Structural_proof_theory wikiPageWikiLink Dag_Prawitz.
- Structural_proof_theory wikiPageWikiLink Deep_inference.
- Structural_proof_theory wikiPageWikiLink Gerhard_Gentzen.
- Structural_proof_theory wikiPageWikiLink Logical_connective.
- Structural_proof_theory wikiPageWikiLink Mathematical_logic.
- Structural_proof_theory wikiPageWikiLink Natural_deduction.
- Structural_proof_theory wikiPageWikiLink Normal_form_(abstract_rewriting).
- Structural_proof_theory wikiPageWikiLink Proof_calculus.
- Structural_proof_theory wikiPageWikiLink Proof_theory.
- Structural_proof_theory wikiPageWikiLink Rewriting.
- Structural_proof_theory wikiPageWikiLink Sequent_calculus.
- Structural_proof_theory wikiPageWikiLink Turnstile_(symbol).
- Structural_proof_theory wikiPageWikiLinkText "Structural proof theory".
- Structural_proof_theory wikiPageWikiLinkText "structural proof theory".
- Structural_proof_theory wikiPageUsesTemplate Template:Cite_book.
- Structural_proof_theory wikiPageUsesTemplate Template:Expand_section.
- Structural_proof_theory wikiPageUsesTemplate Template:Main.
- Structural_proof_theory subject Category:Proof_theory.
- Structural_proof_theory type Proof.
- Structural_proof_theory comment "In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof.".
- Structural_proof_theory label "Structural proof theory".
- Structural_proof_theory sameAs Q7625047.
- Structural_proof_theory sameAs Teoria_da_prova_estrutural.
- Structural_proof_theory sameAs m.03q_3y.
- Structural_proof_theory sameAs Q7625047.
- Structural_proof_theory wasDerivedFrom Structural_proof_theory?oldid=492152266.
- Structural_proof_theory isPrimaryTopicOf Structural_proof_theory.