تایپ منظم
preferred label: regular type @en
type: Concept
related: ارضا شدن

درستی
preferred label: validity @en
type: Concept
related: ارضا شدن

ارضا شدن
related: درستی
related: درست
related: ارزش درستی
related: تایپ منظم
related: ارزش در مدل
related: مدل اشباع
type: Concept
preferred label: satisfaction @en
broader: ساختارهای مرتبه‌اول

درست
preferred label: valid @en
type: Concept
related: ارضا شدن

ارزش درستی
preferred label: truth value @en
type: Concept
related: ارضا شدن

ارزش در مدل
preferred label: truth in model @en
type: Concept
related: ارضا شدن

مدل اشباع
preferred label: saturated model @en
type: Concept
related: ارضا شدن

ساختارهای مرتبه‌اول
preferred label: first order structures @en
type: Concept
narrower: ارضا شدن