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

<http://www.irandoc.acir/onto/irandoc/math0007255>
  skos:prefLabel "فراحساب"@fa, "meta-arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007222>
  skos:prefLabel "حساب پئانو"@fa, "peano arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007227>
  skos:prefLabel "مدل‌های حساب"@fa, "models of arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .

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

<http://www.irandoc.acir/onto/irandoc/math0007220>
  skos:prefLabel "حساب پرسبرگر"@fa, "presburger arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007223>
  skos:prefLabel "حساب رابینسون"@fa, "robinson arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007228>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007242> ;
  skos:prefLabel "arithmetic (logic)"@en, "حساب (منطق)"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007220>, <http://www.irandoc.acir/onto/irandoc/math0007224>, <http://www.irandoc.acir/onto/irandoc/math0007227>, <http://www.irandoc.acir/onto/irandoc/math0007223>, <http://www.irandoc.acir/onto/irandoc/math0007222>, <http://www.irandoc.acir/onto/irandoc/math0007226> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007662>, <http://www.irandoc.acir/onto/irandoc/math0007408>, <http://www.irandoc.acir/onto/irandoc/math0007255>, <http://www.irandoc.acir/onto/irandoc/math0007252>, <http://www.irandoc.acir/onto/irandoc/math0007568> .

<http://www.irandoc.acir/onto/irandoc/math0007408>
  skos:prefLabel "حساب اعداد اصلی"@fa, "cardinal arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007228> .

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

<http://www.irandoc.acir/onto/irandoc/math0007226>
  skos:prefLabel "حساب مرتبه بالاتر"@fa, "higher order arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007662>
  skos:prefLabel "مدل‌های نااستاندارد حساب"@fa, "non-standard arthmetic models"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007252>
  skos:prefLabel "سور کراندار"@fa, "bounded quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007228> .

<http://www.irandoc.acir/onto/irandoc/math0007224>
  skos:prefLabel "حساب مرتبه اول"@fa, "first order arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007228> .