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

<http://www.irandoc.acir/onto/irandoc/insp0014072>
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0013459>, <http://www.irandoc.acir/onto/irandoc/insp0001638>, <http://www.irandoc.acir/onto/irandoc/insp0001609>, <http://www.irandoc.acir/onto/irandoc/insp0014020>, <http://www.irandoc.acir/onto/irandoc/insp0014565>, <http://www.irandoc.acir/onto/irandoc/insp0003382> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0014071>, <http://www.irandoc.acir/onto/irandoc/insp0014048>, <http://www.irandoc.acir/onto/irandoc/insp0014047>, <http://www.irandoc.acir/onto/irandoc/insp0014045>, <http://www.irandoc.acir/onto/irandoc/insp0014031>, <http://www.irandoc.acir/onto/irandoc/insp0014069> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:altLabel "computer metatheory"@en ;
  skos:prefLabel "نظریه محاسبه"@fa, "Computation theory"@en .

<http://www.irandoc.acir/onto/irandoc/insp0001638>
  skos:prefLabel "Multiprocessor interconnection network"@en, "شبکه اتصالی داخلی چندپرداز"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0014069>
  skos:prefLabel "Formal logic"@en, "منطق صوری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0014047>
  skos:prefLabel "Computational linguistics"@en, "زبان‌شناسی رایانشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014072> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014020>
  skos:prefLabel "Computer"@en, "رایانه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0014045>
  skos:prefLabel "Automata theory"@en, "نظریه خودکارافزار"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014072> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014565>
  skos:prefLabel "Biocomputing"@en, "زیست‌رایانش"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0013459>
  skos:prefLabel "Computer science"@en, "علم رایانه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0003382>
  skos:prefLabel "Quantum computing"@en, "رایانش کوانتمی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0014048>
  skos:prefLabel "Concurrency theory"@en, "نظریه هم‌روی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014072> .

<http://www.irandoc.acir/onto/irandoc/insp0001609>
  skos:prefLabel "Switching theory"@en, "نظریه سودهی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014072> .