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

<http://www.irandoc.acir/onto/irandoc/MAT0007357>
  skos:prefLabel "strong induction"@en, "استقرا قوی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0002052>
  skos:prefLabel "Grotschel-Lovasz-Scherijver algorithm"@en, "الگوریتم گروچه-لواژ-شرایور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0002046>
  skos:prefLabel "Khachian ellipsoid algorithm"@en, "الگوریتم بیضی‌وار خاچیان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0008190>
  skos:prefLabel "نظریه مقدماتی اعداد"@fa, "elementary number theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007322>
  skos:prefLabel "inductive logic"@en, "منطق استقرایی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007390>
  skos:prefLabel "well-founded axiom"@en, "اصل موضوع خوش‌بنیانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0006247>
  skos:prefLabel "nuclear reaction"@en, "واکنش هسته‌ای"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007358>
  skos:prefLabel "استقرای پسرو"@fa, "backward induction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0002053>
  skos:prefLabel "Lenstra algorithm"@en, "الگوریتم لنسترا"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007213>
  skos:prefLabel "متناهی‌گرایی"@fa, "finitism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007378>
  skos:prefLabel "logical method"@en, "روش منطقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007356>
  skos:prefLabel "weak induction"@en, "استقرا ضعیف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007159>
  skos:prefLabel "definition by induction"@en, "تعریف به استقراء"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007382>
  skos:prefLabel "axiom of induction"@en, "اصل موضوع استقرا"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007359> .

<http://www.irandoc.acir/onto/irandoc/MAT0007359>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0007390>, <http://www.irandoc.acir/onto/irandoc/MAT0002053>, <http://www.irandoc.acir/onto/irandoc/MAT0006247>, <http://www.irandoc.acir/onto/irandoc/MAT0007382>, <http://www.irandoc.acir/onto/irandoc/MAT0007159>, <http://www.irandoc.acir/onto/irandoc/MAT0008190>, <http://www.irandoc.acir/onto/irandoc/MAT0002052>, <http://www.irandoc.acir/onto/irandoc/MAT0007322>, <http://www.irandoc.acir/onto/irandoc/MAT0007213>, <http://www.irandoc.acir/onto/irandoc/MAT0002046> ;
  skos:prefLabel "mathematical induction"@en, "استقرای ریاضی"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0007356>, <http://www.irandoc.acir/onto/irandoc/MAT0007358>, <http://www.irandoc.acir/onto/irandoc/MAT0007357> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0007378> ;
  skos:altLabel "روش نزول نامتناهی"@fa .