@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/MAT0007379>
  skos:prefLabel "proof theory"@en, "نظریه برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007372>
  skos:prefLabel "a posteriori"@en, "پسینی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT000328>
  skos:prefLabel "linear inference"@en, "استنباط خطی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007217>
  skos:prefLabel "constructive mathematics"@en, "ریاضیات ساختی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007377>
  skos:prefLabel "نقیض"@fa, "negation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007248>
  skos:prefLabel "algebraic logic"@en, "منطق جبری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007210>
  skos:prefLabel "intuitionistic mathematics"@en, "ریاضیات شهودی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007375>
  skos:prefLabel "counterexample"@en, "مثال نقض"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007373>
  skos:prefLabel "تناقض"@fa, "contradiction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007378>
  skos:prefLabel "logical method"@en, "روش منطقی"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007248>, <http://www.irandoc.acir/onto/irandoc/MAT0007216>, <http://www.irandoc.acir/onto/irandoc/MAT0007244>, <http://www.irandoc.acir/onto/irandoc/MAT0007351>, <http://www.irandoc.acir/onto/irandoc/MAT000328>, <http://www.irandoc.acir/onto/irandoc/MAT0007217>, <http://www.irandoc.acir/onto/irandoc/MAT0007210> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007373>, <http://www.irandoc.acir/onto/irandoc/MAT0007371>, <http://www.irandoc.acir/onto/irandoc/MAT0007372>, <http://www.irandoc.acir/onto/irandoc/MAT0007377>, <http://www.irandoc.acir/onto/irandoc/MAT0007359>, <http://www.irandoc.acir/onto/irandoc/MAT0007360>, <http://www.irandoc.acir/onto/irandoc/MAT0007375> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007379> .

<http://www.irandoc.acir/onto/irandoc/MAT0007351>
  skos:prefLabel "complexity of proof"@en, "پیچیدگی برهان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007244>
  skos:prefLabel "cylindrical construction"@en, "ساختمان استوانه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007371>
  skos:prefLabel "logical derivation"@en, "اشتقاق منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007360>
  skos:prefLabel "استنتاج"@fa, "deduction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007216>
  skos:prefLabel "Kripke model"@en, "مدل کریپکی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007378> .

<http://www.irandoc.acir/onto/irandoc/MAT0007359>
  skos:prefLabel "mathematical induction"@en, "استقرای ریاضی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> .