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

<http://www.irandoc.acir/onto/irandoc/math0007567>
  skos:prefLabel "نظریه مدل نظریه مجموعه‌ها"@fa, "model theory of set theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007613>
  skos:prefLabel "ساختارهای مرتبه‌اول"@fa, "first order structures"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

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

<http://www.irandoc.acir/onto/irandoc/math0007576>
  skos:prefLabel "ساختارهای o-مینیمال"@fa, "o-minimal structers"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

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

<http://www.irandoc.acir/onto/irandoc/math0007650>
  skos:prefLabel "مدل اتمی"@fa, "atomic model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007656>
  skos:prefLabel "مدل غول‌پیکر"@fa, "monster model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007281>
  skos:prefLabel "گونه زبان"@fa, "sort of language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007640>
  skos:prefLabel "تایپ"@fa, "type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

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

<http://www.irandoc.acir/onto/irandoc/math0007630>
  skos:prefLabel "آزمون وات"@fa, "vaught test"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007565>
  skos:prefLabel "مجموعه تعریف‌پذیر"@fa, "definable set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007664>
  skos:prefLabel "مدل همگن"@fa, "homogeneous model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007280>
  skos:prefLabel "زبان چند-گونه‌ای"@fa, "many-sorted language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007645>
  skos:prefLabel "قضیه تارسکی-وات"@fa, "tarski-vaught theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/mathpro258>
  skos:prefLabel "ساختار"@fa, "structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007375>
  skos:prefLabel "مثال نقض"@fa, "counterexample"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007663>
  skos:prefLabel "مدل نااستاندارد"@fa, "non-standard model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007644>
  skos:prefLabel "ساختار هنکین"@fa, "henkin constuction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007625>
  skos:prefLabel "ابرضرب مدل‌ها"@fa, "ultraproducts of models"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007653>
  skos:prefLabel "مدل تصمیم‌"@fa, "decision model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007250>
  skos:prefLabel "زبان مرتبه اول"@fa, "first order language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007668>
  skos:prefLabel "نظریه مدل کامل"@fa, "model complete theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007649>
  skos:prefLabel "قضییه ریل- ناردوسکی"@fa, "ryll-nardzewski theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007671>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007652>, <http://www.irandoc.acir/onto/irandoc/math0007640>, <http://www.irandoc.acir/onto/irandoc/math0007653>, <http://www.irandoc.acir/onto/irandoc/math0007664>, <http://www.irandoc.acir/onto/irandoc/math0007650>, <http://www.irandoc.acir/onto/irandoc/math0007656>, <http://www.irandoc.acir/onto/irandoc/math0007648>, <http://www.irandoc.acir/onto/irandoc/math0007657>, <http://www.irandoc.acir/onto/irandoc/math0007655>, <http://www.irandoc.acir/onto/irandoc/math0007668>, <http://www.irandoc.acir/onto/irandoc/math0007630>, <http://www.irandoc.acir/onto/irandoc/math0007670>, <http://www.irandoc.acir/onto/irandoc/math0007629>, <http://www.irandoc.acir/onto/irandoc/math0007642>, <http://www.irandoc.acir/onto/irandoc/math0007625>, <http://www.irandoc.acir/onto/irandoc/math0007645>, <http://www.irandoc.acir/onto/irandoc/math0007644>, <http://www.irandoc.acir/onto/irandoc/math0007649>, <http://www.irandoc.acir/onto/irandoc/math0007663> ;
  skos:prefLabel "model"@en, "مدل"@fa ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007613>, <http://www.irandoc.acir/onto/irandoc/math0007565>, <http://www.irandoc.acir/onto/irandoc/math0007300>, <http://www.irandoc.acir/onto/irandoc/math0007281>, <http://www.irandoc.acir/onto/irandoc/math0007279>, <http://www.irandoc.acir/onto/irandoc/math0007576>, <http://www.irandoc.acir/onto/irandoc/math0007375>, <http://www.irandoc.acir/onto/irandoc/math0007250>, <http://www.irandoc.acir/onto/irandoc/math0007567>, <http://www.irandoc.acir/onto/irandoc/math0007216>, <http://www.irandoc.acir/onto/irandoc/math0007280>, <http://www.irandoc.acir/onto/irandoc/math0007590>, <http://www.irandoc.acir/onto/irandoc/math0007227> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro258> .

<http://www.irandoc.acir/onto/irandoc/math0007652>
  skos:prefLabel "مدل اشباع"@fa, "saturated model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007227>
  skos:prefLabel "مدل‌های حساب"@fa, "models of arithmetic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007590>
  skos:prefLabel "ساختار ارنفاست-موستوفسکی"@fa, "ehrenfeucht-mostowski structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007642>
  skos:prefLabel "زنجیر مدل‌ها"@fa, "chain of models"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<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:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007670>
  skos:prefLabel "نمودار اتمی"@fa, "atomic diagram"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007629>
  skos:prefLabel "اسکولمی‌کردن مدل"@fa, "skolemisation of a model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007657>
  skos:prefLabel "مدل متعارف"@fa, "canonical model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007671> .

<http://www.irandoc.acir/onto/irandoc/math0007279>
  skos:prefLabel "زبان تک-گونه‌ای"@fa, "one-sorted language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007671> .