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

<http://www.irandoc.acir/onto/irandoc/insp0004031>
  skos:prefLabel "Backward chaining"@en, "زنجیره‌ای به عقب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0004034> .

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

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

<http://www.irandoc.acir/onto/irandoc/insp0004034>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0004032>, <http://www.irandoc.acir/onto/irandoc/insp0004031>, <http://www.irandoc.acir/onto/irandoc/insp0004033> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "Problem solving"@en, "حل مسئله"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012943>, <http://www.irandoc.acir/onto/irandoc/insp000925>, <http://www.irandoc.acir/onto/irandoc/insp0002708> .

<http://www.irandoc.acir/onto/irandoc/insp0004032>
  skos:prefLabel "Divide and conquer method"@en, "روش تقسیم و تسخیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0004034> .

<http://www.irandoc.acir/onto/irandoc/insp0002708>
  skos:prefLabel "Backtracking"@en, "فن عقب‌گرد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0004034> .

<http://www.irandoc.acir/onto/irandoc/insp0004033>
  skos:prefLabel "Forward chaining"@en, "زنجیری شدن رو به جلو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0004034> .