@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-FG3QCS7L-N
  skos:prefLabel "déduction naturelle"@fr, "natural deduction"@en ;
  a skos:Concept ;
  skos:broader psr:-F8V1QJJ3-3 .

psr:-BLJN8T0M-6
  skos:prefLabel "calcul des séquents"@fr, "sequent calculus"@en ;
  a skos:Concept ;
  skos:broader psr:-F8V1QJJ3-3 .

psr: a skos:ConceptScheme .
psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-F8V1QJJ3-3 .

psr:-F8V1QJJ3-3
  skos:definition """La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du XXe siècle. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration">https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration</a>)"""@fr, """Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Proof_theory">https://en.wikipedia.org/wiki/Proof_theory</a>)"""@en ;
  skos:prefLabel "théorie de la démonstration"@fr, "proof theory"@en ;
  skos:narrower psr:-BLJN8T0M-6, psr:-FG3QCS7L-N ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Proof_theory>, <https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration> ;
  skos:altLabel "théorie de la preuve"@fr ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-NRJSM1FG-4 .