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

<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:scopeNote "modal logic"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/INSP0014054>, <http://www.irandoc.acir/onto/irandoc/INSP0014053>, <http://www.irandoc.acir/onto/irandoc/INSP0014058>, <http://www.irandoc.acir/onto/irandoc/INSP0014023>, <http://www.irandoc.acir/onto/irandoc/INSP0014068>, <http://www.irandoc.acir/onto/irandoc/INSP0014057>, <http://www.irandoc.acir/onto/irandoc/INSP0014067>, <http://www.irandoc.acir/onto/irandoc/INSP0014050>, <http://www.irandoc.acir/onto/irandoc/INSP0014066>, <http://www.irandoc.acir/onto/irandoc/INSP0014055>, <http://www.irandoc.acir/onto/irandoc/INSP0014065>, <http://www.irandoc.acir/onto/irandoc/INSP0014052>, <http://www.irandoc.acir/onto/irandoc/INSP0014049> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "formal logic"@en, "منطق صوری"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014045>, <http://www.irandoc.acir/onto/irandoc/INSP000925>, <http://www.irandoc.acir/onto/irandoc/INSP0009023>, <http://www.irandoc.acir/onto/irandoc/INSP0007255>, <http://www.irandoc.acir/onto/irandoc/INSP0001609>, <http://www.irandoc.acir/onto/irandoc/INSP0014044>, <http://www.irandoc.acir/onto/irandoc/INSP0012943>, <http://www.irandoc.acir/onto/irandoc/INSP0003485>, <http://www.irandoc.acir/onto/irandoc/INSP0007615> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/INSP0014072>, <http://www.irandoc.acir/onto/irandoc/INSP0008829>, <http://www.irandoc.acir/onto/irandoc/INSP0007691> ;
  skos:altLabel "modal logic"@en .

<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 "نظریه محاسبه"@fa, "computation theory"@en ;
  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/INSP000925>
  skos:prefLabel "اثبات قضیه"@fa, "theorem proving"@en ;
  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/INSP0014053>
  skos:prefLabel "منطق فازی"@fa, "fuzzy logic"@en ;
  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 "نظریه سودهی"@fa, "switching theory"@en ;
  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 "منطق آستانه‌ای"@fa, "threshold logic"@en ;
  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 "تصمیم‌پذیری"@fa, "decidability"@en ;
  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 "زبان صوری"@fa, "formal language"@en ;
  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 "منطق احتمالاتی"@fa, "probabilistic logic"@en ;
  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/INSP0014067>
  skos:prefLabel "منطق زمانی"@fa, "temporal logic"@en ;
  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 "محاسبه‌پذیری"@fa, "computability"@en ;
  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 "منطق چندارزشی"@fa, "multivalued logic"@en ;
  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 "منطق"@fa, "logic"@en ;
  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 "تابع برگشتی"@fa, "recursive functions"@en ;
  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 "هوش مصنوعی"@fa, "artificial intelligence"@en ;
  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 "منطق سلولی"@fa, "cellular logic"@en ;
  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 "جبر فرایند"@fa, "process algebra"@en ;
  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 "برنامه‌نویسی منطقی"@fa, "logic programming"@en ;
  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 "ریاضی"@fa, "mathematics"@en ;
  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 "منطق ارجحیت"@fa, "majority logic"@en ;
  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 "نظریه مجموعه فازی"@fa, "fuzzy set theory"@en ;
  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 "نظریه خودکارافزار"@fa, "automata theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/INSP0014069> .