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

<http://www.irandoc.acir/onto/irandoc/math0007648>
  skos:prefLabel "قضیه لوون هایم-اسکولم"@fa, "lowenheim-skolem theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007562>
  skos:prefLabel "قضیه فشردگی ضعیف"@fa, "weak compactness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007301>
  skos:prefLabel "منطق کلاسیک مرتبه اول"@fa, "classical first order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007661>
  skos:prefLabel "آنالیز نااستاندارد"@fa, "non-standard analysis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007453>
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007638>
  skos:prefLabel "فضای استون"@fa, "stone space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<http://www.irandoc.acir/onto/irandoc/math0007300>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007648>, <http://www.irandoc.acir/onto/irandoc/math0007661>, <http://www.irandoc.acir/onto/irandoc/math0007671>, <http://www.irandoc.acir/onto/irandoc/math0007638>, <http://www.irandoc.acir/onto/irandoc/math0007453>, <http://www.irandoc.acir/onto/irandoc/math0007562>, <http://www.irandoc.acir/onto/irandoc/math0009626> ;
  skos:scopeNote "اگر s مجموعه ای از گزاره ها باشد در زبان مرتبه اول l مدل دارد اگر و تنها اگر هر زیرمجموعه متناهی از آن مدل داشته باشد."@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "compactness theorem"@en, "قضیه فشردگی"@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007301> .

<http://www.irandoc.acir/onto/irandoc/math0007671>
  skos:prefLabel "مدل"@fa, "model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .

<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 ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007300> .