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

<http://www.irandoc.acir/onto/irandoc/math0010127>
  skos:prefLabel "قضیه لاکاس"@fa, "lucas theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0006051>
  skos:prefLabel "نظریه کدهای تصحیحگر خطا"@fa, "error-correcting codes theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002232>
  skos:prefLabel "مسئله چندبخشی"@fa, "multidivisional problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002294>
  skos:prefLabel "برنامه‌ریزی محدب"@fa, "convex programming"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010126>
  skos:prefLabel "قضیه کرچبرگر"@fa, "kirchberger theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0001153>
  skos:prefLabel "فضای برداری توپولوژیک"@fa, "topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3311>
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008201>, <http://www.irandoc.acir/onto/irandoc/math0001186>, <http://www.irandoc.acir/onto/irandoc/math0002294>, <http://www.irandoc.acir/onto/irandoc/math0001128>, <http://www.irandoc.acir/onto/irandoc/math0001076>, <http://www.irandoc.acir/onto/irandoc/math0003882>, <http://www.irandoc.acir/onto/irandoc/math0006051>, <http://www.irandoc.acir/onto/irandoc/math0006604>, <http://www.irandoc.acir/onto/irandoc/math0002232>, <http://www.irandoc.acir/onto/irandoc/math0004731>, <http://www.irandoc.acir/onto/irandoc/math0009214>, <http://www.irandoc.acir/onto/irandoc/math0002054>, <http://www.irandoc.acir/onto/irandoc/math0009211>, <http://www.irandoc.acir/onto/irandoc/math0009626>, <http://www.irandoc.acir/onto/irandoc/math0003874>, <http://www.irandoc.acir/onto/irandoc/math0001129>, <http://www.irandoc.acir/onto/irandoc/math0002234>, <http://www.irandoc.acir/onto/irandoc/math0002050>, <http://www.irandoc.acir/onto/irandoc/math0001099> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0010124>, <http://www.irandoc.acir/onto/irandoc/math0010126>, <http://www.irandoc.acir/onto/irandoc/math0010123>, <http://www.irandoc.acir/onto/irandoc/math0010129>, <http://www.irandoc.acir/onto/irandoc/math0010122>, <http://www.irandoc.acir/onto/irandoc/math0010128>, <http://www.irandoc.acir/onto/irandoc/math0010125>, <http://www.irandoc.acir/onto/irandoc/math0010127> ;
  skos:prefLabel "convex set"@en, "مجموعه محدب"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0010135>, <http://www.irandoc.acir/onto/irandoc/mathpro3281>, <http://www.irandoc.acir/onto/irandoc/math0001153> .

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

<http://www.irandoc.acir/onto/irandoc/math0009211>
  skos:prefLabel "فضای مشبکه‌ها"@fa, "space of lattices"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006604>
  skos:prefLabel "اولین قضیه نقطه ثابت شاودر"@fa, "schauder first fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010135>
  skos:prefLabel "هندسه محدب"@fa, "convex geometry"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010125>
  skos:prefLabel "تقریب با مجموعه محدب"@fa, "approximation by convex set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0001186>
  skos:prefLabel "قضیه کرین-میلمن"@fa, "krein-milman theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003882>
  skos:prefLabel "قضیه نقطه ثابت کاکوتانی"@fa, "kakutani fixed point theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001129>
  skos:prefLabel "مجموعه چلیکی"@fa, "barrelled set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002050>
  skos:prefLabel "پایه تحویل‌یافته تعمیم‌یافته"@fa, "generalized reduced basis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010124>
  skos:prefLabel "پهنای مینیمال"@fa, "minimal width"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0001076>
  skos:prefLabel "پایه موضعی محدب"@fa, "convex local base"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro3281>
  skos:prefLabel "تنظیم"@fa, "set"@en, "مجموعه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

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

<http://www.irandoc.acir/onto/irandoc/math0001128>
  skos:prefLabel "مجموعه جاذب"@fa, "absorbing set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0010123>
  skos:prefLabel "پهنای ماکسیمال"@fa, "maximal width"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0010129>
  skos:prefLabel "مجموعه محدب تصادفی"@fa, "random convex set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0009626>
  skos:prefLabel "قضیه هلی"@fa, "helly theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009214>
  skos:prefLabel "هندسه اعداد"@fa, "geometry of numbers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002234>
  skos:prefLabel "مسئله چنددوره‌ای"@fa, "multitime period problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0002054>
  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/math0010122>
  skos:prefLabel "ابرصفحه حامل"@fa, "supporting hyperplane"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0010128>
  skos:prefLabel "مجموعه کاملا محدب"@fa, "absolutely convex set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro3311> .

<http://www.irandoc.acir/onto/irandoc/math0004731>
  skos:prefLabel "ترکیب خطی"@fa, "linear combination"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001099>
  skos:prefLabel "فضای برداری توپولوژیک موضعا محدب"@fa, "locally convex topological vector space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .