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

<http://www.irandoc.acir/onto/irandoc/math0007286>
  skos:prefLabel "قضیه درستی"@fa, "soundness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007321> .

<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/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007343>
  skos:prefLabel "منطق عمومی"@fa, "general logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007321>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007286>, <http://www.irandoc.acir/onto/irandoc/math0007299>, <http://www.irandoc.acir/onto/irandoc/math0007216>, <http://www.irandoc.acir/onto/irandoc/math0007379>, <http://www.irandoc.acir/onto/irandoc/math0008359>, <http://www.irandoc.acir/onto/irandoc/math0007724> ;
  skos:prefLabel "معنا شناسی"@fa, "semantic"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007316>, <http://www.irandoc.acir/onto/irandoc/math0007320>, <http://www.irandoc.acir/onto/irandoc/math0007318> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007343> .

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

<http://www.irandoc.acir/onto/irandoc/math0007318>
  skos:prefLabel "معنا شناسی منطق مرتبه اول"@fa, "semantic of first order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0008359>
  skos:prefLabel "نظریه بازی"@fa, "game theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007316>
  skos:prefLabel "تابع ارزش"@fa, "truth funtion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007320>
  skos:prefLabel "معنا شناسی منطق مرتبه دوم"@fa, "semantic of second order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007724>
  skos:prefLabel "نظریه مدل"@fa, "model theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007321> .

<http://www.irandoc.acir/onto/irandoc/math0007299>
  skos:prefLabel "consistency"@en, "سازگاری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007321> .