@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:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT000317>
  skos:prefLabel "measure and integral"@en, "اندازه و انتگرال"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007568>
  skos:prefLabel "نظریه مجموعه‌ها"@fa, "set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007209>
  skos:prefLabel "جبر رابطه‌ای"@fa, "relational algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT0010142>
  skos:prefLabel "ریاضیات"@fa, "mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT0001947>
  skos:prefLabel "Alan Turing"@en, "آلن تورینگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0002429>
  skos:prefLabel "نظریه دوگانی"@fa, "duality theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT0007207>
  skos:prefLabel "اصطلاحات عمومی"@fa, "general terminology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT0003901>
  skos:prefLabel "توپولوژی"@fa, "topology"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007242>
  skos:prefLabel "محاسبه‌پذیری"@fa, "computability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007725> .

<http://www.irandoc.acir/onto/irandoc/MAT0007725>
  skos:scopeNote "مطالعه نظریه های ریاضی از دیدگاه نظریه مدل‌ها، نظریه توابع بازگشتی، نظریه برهان، نظریه مجموعه‌ها."@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007379>, <http://www.irandoc.acir/onto/irandoc/MAT0007217>, <http://www.irandoc.acir/onto/irandoc/MAT0007248>, <http://www.irandoc.acir/onto/irandoc/MAT0007209>, <http://www.irandoc.acir/onto/irandoc/MAT0007242>, <http://www.irandoc.acir/onto/irandoc/MAT0007568>, <http://www.irandoc.acir/onto/irandoc/MAT0007207>, <http://www.irandoc.acir/onto/irandoc/MAT0007724>, <http://www.irandoc.acir/onto/irandoc/MAT0007343> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0002429>, <http://www.irandoc.acir/onto/irandoc/MAT0001947>, <http://www.irandoc.acir/onto/irandoc/MAT000317>, <http://www.irandoc.acir/onto/irandoc/MAT0003901> ;
  skos:prefLabel "mathematical logic"@en, "منطق ریاضی"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0010142> ;
  skos:altLabel "مبانی ریاضی"@fa .