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

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

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

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