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

<http://www.irandoc.acir/onto/irandoc/insp0003501>
  skos:prefLabel "Programming"@en, "برنامه‌نویسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0014072>
  skos:prefLabel "Computation theory"@en, "نظریه محاسبه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0007678>
  skos:prefLabel "Petri nets"@en, "مدل نمایش سامانههای همزمان یا موازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0014070>
  skos:prefLabel "Type theory"@en, "نظریه الگو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0009069>
  skos:prefLabel "Programming language"@en, "زبان برنامه‌نویسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0013458>
  skos:prefLabel "Computer software"@en, "نرم‌افزار رایانه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0014031>
  skos:prefLabel "Algorithm theory"@en, "نظریه الگوریتمی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0003485>
  skos:prefLabel "Logic programming"@en, "برنامه‌نویسی منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0014071>
  skos:prefLabel "Programming theory"@en, "نظریه برنامه‌نویسی"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0011050>, <http://www.irandoc.acir/onto/irandoc/insp0003485>, <http://www.irandoc.acir/onto/irandoc/insp0007467>, <http://www.irandoc.acir/onto/irandoc/insp0013458>, <http://www.irandoc.acir/onto/irandoc/insp0003501>, <http://www.irandoc.acir/onto/irandoc/insp0011049>, <http://www.irandoc.acir/onto/irandoc/insp0007678>, <http://www.irandoc.acir/onto/irandoc/insp0009069>, <http://www.irandoc.acir/onto/irandoc/insp0012857>, <http://www.irandoc.acir/onto/irandoc/insp0014031> ;
  skos:altLabel "", "اثبات صحت برنامه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014072> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0014070> .

<http://www.irandoc.acir/onto/irandoc/insp0011050>
  skos:prefLabel "Program verification"@en, "تصدیق برنامه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

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

<http://www.irandoc.acir/onto/irandoc/insp0011049>
  skos:prefLabel "Reasoning about program"@en, "استدلال در مورد برنامه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .

<http://www.irandoc.acir/onto/irandoc/insp0007467>
  skos:prefLabel "Computational geometry"@en, "هندسه تحلیلی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014071> .