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

<http://www.irandoc.acir/onto/irandoc/math0003446>
  skos:prefLabel "قضیه منگر"@fa, "menger theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002585>
  skos:prefLabel "پرمننت"@fa, "permanent"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002726>
  skos:prefLabel "حدس اوانز"@fa, "evans conjecture"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/mathpro779>
  skos:prefLabel "ریاضیات گسسته"@fa, "discrete mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002620>
  skos:prefLabel "قضیه کونیگ"@fa, "konig theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002583>
  skos:prefLabel "ماتریس تصادفی دوگانه"@fa, "double stochastic matrix"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002619>
  skos:prefLabel "قضیه برکوف"@fa, "birkhoff theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0003330>
  skos:prefLabel "قضیه ازدواج هال"@fa, "hall marriage theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

<http://www.irandoc.acir/onto/irandoc/math0002538>
  skos:prefLabel "قضیه دیلورث"@fa, "dilworth theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .

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

<http://www.irandoc.acir/onto/irandoc/math0002621>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0002620>, <http://www.irandoc.acir/onto/irandoc/math0002619> ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002585>, <http://www.irandoc.acir/onto/irandoc/math0003446>, <http://www.irandoc.acir/onto/irandoc/math0002538>, <http://www.irandoc.acir/onto/irandoc/math0003330>, <http://www.irandoc.acir/onto/irandoc/math0002726>, <http://www.irandoc.acir/onto/irandoc/math0003322>, <http://www.irandoc.acir/onto/irandoc/math0003335>, <http://www.irandoc.acir/onto/irandoc/math0002583> ;
  skos:prefLabel "system distinct representatives"@en, "دستگاه نمایندگی متمایز"@fa ;
  skos:altLabel "سیستم نمایندگی متمایز"@fa, "" ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro779> ;
  skos:scopeNote "خانواده ای از زیر مجموعه های s از یک مجموعه متناهی s، بطوری که این خانواده همان تعداد عضو داشته باشد که s دارد و بتوان هر عضو s را به زیر مجموعه متمایز s که شامل آن عضو است، نسبت داد."@fa .

<http://www.irandoc.acir/onto/irandoc/math0003322>
  skos:prefLabel "تطابق کامل"@fa, "complete matching"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0002621> .