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

<http://www.irandoc.acir/onto/irandoc/insp0014044>
  skos:prefLabel "Turing machine"@en, "ماشین تورینگ"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014053>
  skos:prefLabel "Fuzzy logic"@en, "منطق فازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014068>
  skos:prefLabel "Threshold logic"@en, "منطق آستانه‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014049>
  skos:prefLabel "Boolean function"@en, "تابع بولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014052>
  skos:prefLabel "Decidability"@en, "تصمیم‌پذیری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0009023>
  skos:prefLabel "Formal language"@en, "زبان صوری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014058>
  skos:prefLabel "Probabilistic logic"@en, "منطق احتمالاتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp000925>
  skos:prefLabel "Theorem proving"@en, "اثبات قضیه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014067>
  skos:prefLabel "Temporal logic"@en, "منطق زمانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014057>
  skos:prefLabel "Multivalued logic"@en, "منطق چندارزشی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0008829>
  skos:prefLabel "Logic"@en, "منطق"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014066>
  skos:prefLabel "Recursive functions"@en, "تابع برگشتی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0012943>
  skos:prefLabel "Artificial intelligence"@en, "هوش مصنوعی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014065>
  skos:prefLabel "Process algebra"@en, "جبر فرایند"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

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

<http://www.irandoc.acir/onto/irandoc/insp0014055>
  skos:prefLabel "Majority logic"@en, "منطق ارجحیت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0007615>
  skos:prefLabel "Fuzzy set theory"@en, "نظریه مجموعه فازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

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

<http://www.irandoc.acir/onto/irandoc/insp0014054>
  skos:prefLabel "Horn clauses"@en, "شرط هورن"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0007255>
  skos:prefLabel "Boolean algebra"@en, "جبر بولی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0014069> .

<http://www.irandoc.acir/onto/irandoc/insp0014069>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0014067>, <http://www.irandoc.acir/onto/irandoc/insp0014058>, <http://www.irandoc.acir/onto/irandoc/insp0014053>, <http://www.irandoc.acir/onto/irandoc/insp0014066>, <http://www.irandoc.acir/onto/irandoc/insp0014049>, <http://www.irandoc.acir/onto/irandoc/insp0014057>, <http://www.irandoc.acir/onto/irandoc/insp0014065>, <http://www.irandoc.acir/onto/irandoc/insp0014050>, <http://www.irandoc.acir/onto/irandoc/insp0014055>, <http://www.irandoc.acir/onto/irandoc/insp0014023>, <http://www.irandoc.acir/onto/irandoc/insp0014052>, <http://www.irandoc.acir/onto/irandoc/insp0014068>, <http://www.irandoc.acir/onto/irandoc/insp0014054> ;
  skos:altLabel "modal logic"@en ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0003485>, <http://www.irandoc.acir/onto/irandoc/insp0007615>, <http://www.irandoc.acir/onto/irandoc/insp0001609>, <http://www.irandoc.acir/onto/irandoc/insp0014045>, <http://www.irandoc.acir/onto/irandoc/insp000925>, <http://www.irandoc.acir/onto/irandoc/insp0007255>, <http://www.irandoc.acir/onto/irandoc/insp0009023>, <http://www.irandoc.acir/onto/irandoc/insp0012943>, <http://www.irandoc.acir/onto/irandoc/insp0014044> ;
  skos:prefLabel "Formal logic"@en, "منطق صوری"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0007691>, <http://www.irandoc.acir/onto/irandoc/insp0008829>, <http://www.irandoc.acir/onto/irandoc/insp0014072> .