complete theory
type: Concept
preferred label: نظریه کامل @fa
related: quantifier elimination

completeness of theory
type: Concept
preferred label: تمامیت نظریه @fa
related: quantifier elimination

quantifier elimination
type: Concept
broader: first order structures
preferred label: حذف سور @fa
related: complete theory
related: completeness of theory

first order structures
type: Concept
narrower: quantifier elimination
preferred label: ساختارهای مرتبه‌اول @fa