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

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/EIT0009525>
  skos:prefLabel "مجموعه فازی"@fa, "fuzzy set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/EIT0012638> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/EIT0012638>
  skos:related <http://www.irandoc.acir/onto/irandoc/EIT0006888>, <http://www.irandoc.acir/onto/irandoc/EIT0012640>, <http://www.irandoc.acir/onto/irandoc/EIT0012623>, <http://www.irandoc.acir/onto/irandoc/EIT0009525>, <http://www.irandoc.acir/onto/irandoc/EIT0009418>, <http://www.irandoc.acir/onto/irandoc/EIT0012619>, <http://www.irandoc.acir/onto/irandoc/EIT0012624>, <http://www.irandoc.acir/onto/irandoc/EIT0012501> ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:prefLabel "formal logic"@en, "منطق صوری"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/EIT0012632>, <http://www.irandoc.acir/onto/irandoc/EIT0012633>, <http://www.irandoc.acir/onto/irandoc/EIT0009475>, <http://www.irandoc.acir/onto/irandoc/EIT0012634>, <http://www.irandoc.acir/onto/irandoc/EIT0012635>, <http://www.irandoc.acir/onto/irandoc/EIT0012637>, <http://www.irandoc.acir/onto/irandoc/EIT0009463> ;
  skos:altLabel "منطق ریاضی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/EIT0012641> .

<http://www.irandoc.acir/onto/irandoc/EIT0009475>
  skos:prefLabel "تابع بازگشتی"@fa, "recursive function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/EIT0012638> .

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

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

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

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

<http://www.irandoc.acir/onto/irandoc/EIT0012632>
  skos:prefLabel "محاسبه‌پذیری و تصمیم‌پذیری"@fa, "computability and decidability"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/EIT0012638> .

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