@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.irandoc.acir/onto/irandoc/mathpro2667>
  skos:prefLabel "شیء دانش ریاضی"@fa, "mathematical knowledge object"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro2505> .

<http://www.irandoc.acir/onto/irandoc/math0007297>
  skos:prefLabel "مسئله سازگاری"@fa, "consistency problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1>
  skos:prefLabel "رشته ریاضیات"@fa, "field of mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007216>
  skos:prefLabel "مدل کریپکی"@fa, "kripke model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0007354>
  skos:prefLabel "ساختار برهان"@fa, "structure of proof"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro2505> .

<http://www.irandoc.acir/onto/irandoc/mathpro2505>
  skos:prefLabel "اثبات"@fa, "برهان"@fa, "proof"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007354> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007212>, <http://www.irandoc.acir/onto/irandoc/math0007363>, <http://www.irandoc.acir/onto/irandoc/math0007297>, <http://www.irandoc.acir/onto/irandoc/math0007242>, <http://www.irandoc.acir/onto/irandoc/math0007217>, <http://www.irandoc.acir/onto/irandoc/math0007236>, <http://www.irandoc.acir/onto/irandoc/math0007216>, <http://www.irandoc.acir/onto/irandoc/math0007219>, <http://www.irandoc.acir/onto/irandoc/math0007210>, <http://www.irandoc.acir/onto/irandoc/math0007370> ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro2505> ;
  skos:scopeNote "استنتاج قیاسی یک گزاره ریاضی."@fa ;
  ns0:is_defined_by <http://www.irandoc.acir/onto/irandoc/mathpro1> ;
  skos:altLabel "", "اثبات"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007379>, <http://www.irandoc.acir/onto/irandoc/mathpro2667> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0007236>
  skos:prefLabel "ماشین تورینگ"@fa, "turing machine"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0007379>
  skos:prefLabel "نظریه برهان"@fa, "proof theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007363>
  skos:prefLabel "دستگاه اصل موضوعی"@fa, "axiomatic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

ns0:is_defined_by rdfs:label "تعریف شده توسط"@fa, "is defined by"@en .
<http://www.irandoc.acir/onto/irandoc/math0007212>
  skos:prefLabel "ساخت‌گرایی روسی"@fa, "russian constactivism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007217>
  skos:prefLabel "ریاضیات ساختی"@fa, "constructive mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007370>
  skos:prefLabel "دستگاه اشتقاق"@fa, "derivation system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0007210>
  skos:prefLabel "ریاضیات شهودی"@fa, "intuitionistic mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .