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

<http://www.irandoc.acir/onto/irandoc/math0007201>
  skos:prefLabel "قانون"@fa, "law"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007688>
  skos:prefLabel "حذف فراموهومات"@fa, "elimination of hyperimaginaries"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007189>
  skos:prefLabel "فرض"@fa, "hypothesis"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007600>
  skos:prefLabel "ساختارهای متناهی‌مولد"@fa, "finitely-generated structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<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/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007626>
  skos:prefLabel "تابع اسکولم"@fa, "skolem function"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007196>
  skos:prefLabel "عملیات منطقی"@fa, "logical operations"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<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/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007213>
  skos:prefLabel "متناهی‌گرایی"@fa, "finitism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007282>
  skos:prefLabel "نشاندن (منطق)"@fa, "embedding (logic)"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007254>
  skos:prefLabel "سور"@fa, "quantifier"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007587>
  skos:prefLabel "توسیع ساختار"@fa, "extension of structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007295>
  skos:prefLabel "قضیه ناتمامیت گودل"@fa, "godel incompleteness theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007320>
  skos:prefLabel "معنا شناسی منطق مرتبه دوم"@fa, "semantic of second order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007581>
  skos:prefLabel "بسط ساختار"@fa, "expansion of structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007318>
  skos:prefLabel "معنا شناسی منطق مرتبه اول"@fa, "semantic of first order logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007594>
  skos:prefLabel "ساختار موضعا متناهی"@fa, "locally finite structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007233>
  skos:prefLabel "شماره‌گذاری گودل"@fa, "godel numbering"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007340>
  skos:prefLabel "منطق نمادی"@fa, "symbolic logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007604>
  skos:prefLabel "عبارت) جمله)"@fa, "term"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007673>
  skos:prefLabel "رسته‌ای ناشمارا"@fa, "uncountably categorical"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007504>
  skos:prefLabel "مجموعه مرتب"@fa, "ordered set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007212>
  skos:prefLabel "ساخت‌گرایی روسی"@fa, "russian constactivism"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007573>
  skos:prefLabel "substructure"@en, "زیرساخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007699>
  skos:prefLabel "تایپ تعریف‌پذیر"@fa, "definable type"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007294>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007163>, <http://www.irandoc.acir/onto/irandoc/math0007688>, <http://www.irandoc.acir/onto/irandoc/math0007201>, <http://www.irandoc.acir/onto/irandoc/math0007690>, <http://www.irandoc.acir/onto/irandoc/math0007570>, <http://www.irandoc.acir/onto/irandoc/math0007629>, <http://www.irandoc.acir/onto/irandoc/math0007699>, <http://www.irandoc.acir/onto/irandoc/math0007189>, <http://www.irandoc.acir/onto/irandoc/math0007373>, <http://www.irandoc.acir/onto/irandoc/math0007576>, <http://www.irandoc.acir/onto/irandoc/math0007227>, <http://www.irandoc.acir/onto/irandoc/math0007209>, <http://www.irandoc.acir/onto/irandoc/math0007642>, <http://www.irandoc.acir/onto/irandoc/math0007320>, <http://www.irandoc.acir/onto/irandoc/math0007669>, <http://www.irandoc.acir/onto/irandoc/math0007233>, <http://www.irandoc.acir/onto/irandoc/math0007723>, <http://www.irandoc.acir/onto/irandoc/math0007192>, <http://www.irandoc.acir/onto/irandoc/math0007203>, <http://www.irandoc.acir/onto/irandoc/math0007670>, <http://www.irandoc.acir/onto/irandoc/math0007196>, <http://www.irandoc.acir/onto/irandoc/math0007604>, <http://www.irandoc.acir/onto/irandoc/math0007504>, <http://www.irandoc.acir/onto/irandoc/math0007310>, <http://www.irandoc.acir/onto/irandoc/math0007645>, <http://www.irandoc.acir/onto/irandoc/math0007351>, <http://www.irandoc.acir/onto/irandoc/math0007213>, <http://www.irandoc.acir/onto/irandoc/math0007315>, <http://www.irandoc.acir/onto/irandoc/math0007551>, <http://www.irandoc.acir/onto/irandoc/math0007178>, <http://www.irandoc.acir/onto/irandoc/math0007673>, <http://www.irandoc.acir/onto/irandoc/math0007685>, <http://www.irandoc.acir/onto/irandoc/math0007628>, <http://www.irandoc.acir/onto/irandoc/math0007665>, <http://www.irandoc.acir/onto/irandoc/math0007340>, <http://www.irandoc.acir/onto/irandoc/math0007375>, <http://www.irandoc.acir/onto/irandoc/math0002228>, <http://www.irandoc.acir/onto/irandoc/math0007600>, <http://www.irandoc.acir/onto/irandoc/math0007179>, <http://www.irandoc.acir/onto/irandoc/math0007571>, <http://www.irandoc.acir/onto/irandoc/math0007295>, <http://www.irandoc.acir/onto/irandoc/math0007204>, <http://www.irandoc.acir/onto/irandoc/math0007318>, <http://www.irandoc.acir/onto/irandoc/math0007217>, <http://www.irandoc.acir/onto/irandoc/math0007663>, <http://www.irandoc.acir/onto/irandoc/math0007360>, <http://www.irandoc.acir/onto/irandoc/math0007668>, <http://www.irandoc.acir/onto/irandoc/math0007399>, <http://www.irandoc.acir/onto/irandoc/math0007722>, <http://www.irandoc.acir/onto/irandoc/math0007621>, <http://www.irandoc.acir/onto/irandoc/math0007594>, <http://www.irandoc.acir/onto/irandoc/math0007626>, <http://www.irandoc.acir/onto/irandoc/math0007212>, <http://www.irandoc.acir/onto/irandoc/math0007363>, <http://www.irandoc.acir/onto/irandoc/math0007171>, <http://www.irandoc.acir/onto/irandoc/math0007177>, <http://www.irandoc.acir/onto/irandoc/math0007581>, <http://www.irandoc.acir/onto/irandoc/math0007194>, <http://www.irandoc.acir/onto/irandoc/math0007664>, <http://www.irandoc.acir/onto/irandoc/math0007377>, <http://www.irandoc.acir/onto/irandoc/math0007573>, <http://www.irandoc.acir/onto/irandoc/math0007697>, <http://www.irandoc.acir/onto/irandoc/math0007643>, <http://www.irandoc.acir/onto/irandoc/math0007157>, <http://www.irandoc.acir/onto/irandoc/math0007587> ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007278>, <http://www.irandoc.acir/onto/irandoc/math0007281>, <http://www.irandoc.acir/onto/irandoc/math0007293>, <http://www.irandoc.acir/onto/irandoc/math0007257>, <http://www.irandoc.acir/onto/irandoc/math0007282>, <http://www.irandoc.acir/onto/irandoc/math0007250>, <http://www.irandoc.acir/onto/irandoc/math0007254> ;
  skos:prefLabel "زبان"@fa, "language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007343> .

<http://www.irandoc.acir/onto/irandoc/math0002228>
  skos:prefLabel "مسئله تصمیم"@fa, "decision problem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007360>
  skos:prefLabel "استنتاج"@fa, "deduction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007194>
  skos:prefLabel "نادرست"@fa, "false"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007665>
  skos:prefLabel "مدل تکمیل‌شده نظریه"@fa, "model completion of theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007373>
  skos:prefLabel "تناقض"@fa, "contradiction"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007179>
  skos:prefLabel "تصدیق"@fa, "assertion"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007204>
  skos:prefLabel "نتیجه"@fa, "sequent"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007399>
  skos:prefLabel "رده تعریف‌پذیر"@fa, "definable class"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007217>
  skos:prefLabel "ریاضیات ساختی"@fa, "constructive mathematics"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007685>
  skos:prefLabel "قضیه جازمیت"@fa, "categoricity theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007723>
  skos:prefLabel "نظریه رده‌بندی"@fa, "classification theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007293>
  skos:prefLabel "نظریه"@fa, "theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007209>
  skos:prefLabel "جبر رابطه‌ای"@fa, "relational algebra"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007278>
  skos:prefLabel "قوت زبان"@fa, "cardinality of language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007551>
  skos:prefLabel "زبان اظهار"@fa, "forcing language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/mathpro1099> skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .
<http://www.irandoc.acir/onto/irandoc/math0007178>
  skos:prefLabel "تالی"@fa, "consequent"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007203>
  skos:prefLabel "لم"@fa, "lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007257>
  skos:prefLabel "فرازبان"@fa, "meta-language"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007310>
  skos:prefLabel "ارزش در مدل"@fa, "truth in model"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007643>
  skos:prefLabel "ویژگی شاهد"@fa, "witness property"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007351>
  skos:prefLabel "پیچیدگی برهان"@fa, "complexity of proof"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007157>
  skos:prefLabel "تساوی"@fa, "equality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007628>
  skos:prefLabel "نظریه اسکولم"@fa, "skolem theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007571>
  skos:prefLabel "زیرساخت مقدماتی"@fa, "elementary substructure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007697>
  skos:prefLabel "فورکینگ"@fa, "forking"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007669>
  skos:prefLabel "نمودار مقدماتی"@fa, "elementary diagram"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007722>
  skos:prefLabel "رده‌بندی ساختارهای مرتبه‌اول"@fa, "classification of first order strucuters"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007377>
  skos:prefLabel "نقیض"@fa, "negation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007192>
  skos:prefLabel "مبهم"@fa, "ambiguous"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007343>
  skos:prefLabel "منطق عمومی"@fa, "general logic"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007315>
  skos:prefLabel "نتیجه توتولوژیک"@fa, "tautological implication"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007177>
  skos:prefLabel "پارادکس"@fa, "paradox"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<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/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/math0007171>
  skos:prefLabel "گزاره دو شرطی"@fa, "biconditional statement"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

<http://www.irandoc.acir/onto/irandoc/mathpro2568> skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .
<http://www.irandoc.acir/onto/irandoc/math0007363>
  skos:prefLabel "دستگاه اصل موضوعی"@fa, "axiomatic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007570>
  skos:prefLabel "زیرساخت بسته"@fa, "closed substructure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

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

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

<http://www.irandoc.acir/onto/irandoc/math0007621>
  skos:prefLabel "گونه ساختار"@fa, "sort of structure"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/mathpro1043> skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .
<http://www.irandoc.acir/onto/irandoc/mathpro228> skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .
<http://www.irandoc.acir/onto/irandoc/math0007690>
  skos:prefLabel "حذف موهومات"@fa, "elimination of imaginaries"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .

<http://www.irandoc.acir/onto/irandoc/math0007163>
  skos:prefLabel "تعمیم"@fa, "generalization"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0007294> .