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

<http://www.irandoc.acir/onto/irandoc/MAT0007212>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007355>, <http://www.irandoc.acir/onto/irandoc/MAT0007294>, <http://www.irandoc.acir/onto/irandoc/MAT0005866>, <http://www.irandoc.acir/onto/irandoc/MAT0001223>, <http://www.irandoc.acir/onto/irandoc/MAT0007460>, <http://www.irandoc.acir/onto/irandoc/MAT0007216>, <http://www.irandoc.acir/onto/irandoc/MAT0005386>, <http://www.irandoc.acir/onto/irandoc/MAT0007211> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "russian constactivism"@en, "ساخت‌گرایی روسی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007217> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0007355>
  skos:prefLabel "برهان"@fa, "proof"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0005866>
  skos:prefLabel "algorithm"@en, "الگوریتم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0007460>
  skos:prefLabel "finite set"@en, "مجموعه متناهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0005386>
  skos:prefLabel "عدد حقیقی"@fa, "real number"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0007294>
  skos:prefLabel "language"@en, "زبان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0001223>
  skos:prefLabel "آنالیز ریاضی"@fa, "mathematical analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

<http://www.irandoc.acir/onto/irandoc/MAT0007211>
  skos:prefLabel "Bishop constactivism"@en, "ساخت‌گرایی بیشاپ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007212> .

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