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

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

<http://www.irandoc.acir/onto/irandoc/math0002054>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002048>, <http://www.irandoc.acir/onto/irandoc/math0002055>, <http://www.irandoc.acir/onto/irandoc/math0002707>, <http://www.irandoc.acir/onto/irandoc/math0007382> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0002059> ;
  skos:prefLabel "الگوریتم لواژ و اسکارف"@fa, "lovasz and scarf algorithm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002059>
  skos:prefLabel "الگوریتم تحویل پایه"@fa, "basis reduction algorithm"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002054> .

<http://www.irandoc.acir/onto/irandoc/math0002048>
  skos:prefLabel "کوتاهترین بردار ناصفر مشبکه"@fa, "non-zero shortest vector of lattice"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002054> .

<http://www.irandoc.acir/onto/irandoc/mathpro3311> skos:related <http://www.irandoc.acir/onto/irandoc/math0002054> .
<http://www.irandoc.acir/onto/irandoc/math0002055>
  skos:prefLabel "پایه تحویل‌یافته لواژ"@fa, "lovasz reduced basis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002054> .

<http://www.irandoc.acir/onto/irandoc/math0002707>
  skos:prefLabel "مجموعه تفاضلی ساده"@fa, "simple difference set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002054> .