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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007360>
  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/math0007378> .

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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007377>
  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/math0007378> .

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

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

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

<http://www.irandoc.acir/onto/irandoc/math0007373>
  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/math0007378> .

<http://www.irandoc.acir/onto/irandoc/math0007378>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007372>, <http://www.irandoc.acir/onto/irandoc/math0007359>, <http://www.irandoc.acir/onto/irandoc/math0007377>, <http://www.irandoc.acir/onto/irandoc/math0007371>, <http://www.irandoc.acir/onto/irandoc/math0007360>, <http://www.irandoc.acir/onto/irandoc/math0007373>, <http://www.irandoc.acir/onto/irandoc/math0007375> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007210>, <http://www.irandoc.acir/onto/irandoc/math000328>, <http://www.irandoc.acir/onto/irandoc/math0007351>, <http://www.irandoc.acir/onto/irandoc/math0007217>, <http://www.irandoc.acir/onto/irandoc/math0007248>, <http://www.irandoc.acir/onto/irandoc/math0007244>, <http://www.irandoc.acir/onto/irandoc/math0007216> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "روش منطقی"@fa, "logical method"@en ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007379> .

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