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

Craig interpolation theorem
broader: first order structures
preferred label: قضیه درون‌یابی کرایگ @fa
type: Concept