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

<http://www.irandoc.acir/onto/irandoc/math0008153>
  skos:prefLabel "عامل‌گیری"@fa, "factorization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008181>
  skos:prefLabel "مانده درجه دوم"@fa, "quadratic residue"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0007359>
  skos:prefLabel "استقرای ریاضی"@fa, "mathematical induction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008190>
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008128>, <http://www.irandoc.acir/onto/irandoc/math0008153>, <http://www.irandoc.acir/onto/irandoc/math0008177>, <http://www.irandoc.acir/onto/irandoc/math0005412>, <http://www.irandoc.acir/onto/irandoc/math0008178>, <http://www.irandoc.acir/onto/irandoc/math0008181>, <http://www.irandoc.acir/onto/irandoc/math0008129>, <http://www.irandoc.acir/onto/irandoc/math0008141>, <http://www.irandoc.acir/onto/irandoc/math0008143>, <http://www.irandoc.acir/onto/irandoc/math0008142>, <http://www.irandoc.acir/onto/irandoc/math0008176>, <http://www.irandoc.acir/onto/irandoc/math0008127> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008124>, <http://www.irandoc.acir/onto/irandoc/math0007359> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1557> ;
  skos:prefLabel "نظریه مقدماتی اعداد"@fa, "elementary number theory"@en .

<http://www.irandoc.acir/onto/irandoc/math0005412>
  skos:prefLabel "کسر مسلسل"@fa, "continued fraction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008143>
  skos:prefLabel "حساب پیمانه‌ای"@fa, "modulo arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008177>
  skos:prefLabel "قضیه بنیادی حساب"@fa, "fundamental theorem of arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008124>
  skos:prefLabel "نظریه محاسباتی اعداد"@fa, "computational number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/mathpro1557>
  skos:prefLabel "نظریه اعداد"@fa, "number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008142>
  skos:prefLabel "تقسیم‌پذیری"@fa, "divisibility"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008176>
  skos:prefLabel "عدد صحیح خاص"@fa, "special integer"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008129>
  skos:prefLabel "الگوریتم تقسیم"@fa, "division algorithm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/mathpro1249> skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .
<http://www.irandoc.acir/onto/irandoc/math0008141>
  skos:prefLabel "تابع حسابی"@fa, "arithmetic function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008128>
  skos:prefLabel "الگوریتم اقلیدسی"@fa, "euclidean algorithm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/math0008127>
  skos:prefLabel "استخراج ریشه"@fa, "extraction root"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .

<http://www.irandoc.acir/onto/irandoc/mathpro2478> skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .
<http://www.irandoc.acir/onto/irandoc/mathpro1246> skos:related <http://www.irandoc.acir/onto/irandoc/math0008190> .
<http://www.irandoc.acir/onto/irandoc/math0008178>
  skos:prefLabel "قضیه فرما"@fa, "fermat theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0008190> .