اصلی
preferred label: cardinal @en
type: Concept
related: نظریه اسکولم

نظریه
preferred label: theory @en
type: Concept
related: نظریه اسکولم

غلاف اسکولم
preferred label: skolem hull @en
type: Concept
related: نظریه اسکولم

زبان
preferred label: language @en
type: Concept
related: نظریه اسکولم

نظریه اسکولم
preferred label: skolem theory @en
related: اصلی
related: تابع اسکولم
related: زبان
related: غلاف اسکولم
related: نظریه
type: Concept
broader: اسکولمی‌کردن مدل

تابع اسکولم
preferred label: skolem function @en
type: Concept
related: نظریه اسکولم

اسکولمی‌کردن مدل
preferred label: skolemisation of a model @en
type: Concept
narrower: نظریه اسکولم