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

<http://www.irandoc.acir/onto/irandoc/mathpro973>
  skos:prefLabel "قضیه سوبولف"@fa, "sobolev theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro982>
  skos:prefLabel "قضیه تابع ضمنی"@fa, "implicit function theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro963>
  skos:prefLabel "قضیه کوشی"@fa, "cauchy theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro972>
  skos:prefLabel "قضیه پوانکاره هوپف"@fa, "poincar hopf theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro981>
  skos:prefLabel "قضیه تقسیم"@fa, "theorem of division"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro987>
  skos:prefLabel "تعمیم قضیه هلی"@fa, "helly theorem generalization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro962>
  skos:prefLabel "قضیه کوهن-ووسن"@fa, "cohn-vossen theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro958>
  skos:prefLabel "قضیه آسکولی آرزلا"@fa, "ascoli arzela theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro980>
  skos:prefLabel "حدس یامابه"@fa, "yamabe conjecture"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro986>
  skos:prefLabel "قضیه وجود منحصر به فرد"@fa, "theorem of unique existence"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro961>
  skos:prefLabel "قضیه سیگیسموند"@fa, "zygmund theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro976>
  skos:prefLabel "قضیه هیله یوسیدا"@fa, "hille yosida theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro985>
  skos:prefLabel "قضیه وجود"@fa, "existence theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro1876>
  skos:prefLabel "عنصر معادلات دیفرانسیل"@fa, "element of differential equations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro975>
  skos:prefLabel "قضیه هاردی لیتل‌وود"@fa, "hardy littlewood theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .

<http://www.irandoc.acir/onto/irandoc/mathpro956>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro978>, <http://www.irandoc.acir/onto/irandoc/mathpro972>, <http://www.irandoc.acir/onto/irandoc/mathpro963>, <http://www.irandoc.acir/onto/irandoc/mathpro958>, <http://www.irandoc.acir/onto/irandoc/mathpro985>, <http://www.irandoc.acir/onto/irandoc/mathpro982>, <http://www.irandoc.acir/onto/irandoc/mathpro980>, <http://www.irandoc.acir/onto/irandoc/mathpro976>, <http://www.irandoc.acir/onto/irandoc/mathpro973>, <http://www.irandoc.acir/onto/irandoc/0>, <http://www.irandoc.acir/onto/irandoc/mathpro961>, <http://www.irandoc.acir/onto/irandoc/mathpro986>, <http://www.irandoc.acir/onto/irandoc/mathpro983>, <http://www.irandoc.acir/onto/irandoc/mathpro981>, <http://www.irandoc.acir/onto/irandoc/mathpro962>, <http://www.irandoc.acir/onto/irandoc/mathpro987>, <http://www.irandoc.acir/onto/irandoc/mathpro975> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "theorem theory of differential equations"@en, "نظریه قضیه معادلات دیفرانسیل"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro826>, <http://www.irandoc.acir/onto/irandoc/mathpro1876> .

<http://www.irandoc.acir/onto/irandoc/mathpro983>
  skos:prefLabel "قضیه تابع وارون"@fa, "قضیه تابع معکوس"@fa, "inverse function theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro956> .