Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Structural_proof_theory> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items 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 wikiPageRevisionID "492152266".
- Structural_proof_theory hasPhotoCollection Structural_proof_theory.
- Structural_proof_theory subject Category:Proof_theory.
- 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 m.03q_3y.
- Structural_proof_theory sameAs Q7625047.
- Structural_proof_theory sameAs Q7625047.
- Structural_proof_theory wasDerivedFrom Structural_proof_theory?oldid=492152266.
- Structural_proof_theory isPrimaryTopicOf Structural_proof_theory.