skolem hull
preferred label: غلاف اسکولم @fa
type: Concept
broader: skolemisation of a model

language
preferred label: زبان @fa
type: Concept
related: skolemisation of a model

skolem theory
preferred label: نظریه اسکولم @fa
type: Concept
broader: skolemisation of a model

model
preferred label: مدل @fa
type: Concept
narrower: skolemisation of a model

skolem function
preferred label: تابع اسکولم @fa
type: Concept
broader: skolemisation of a model

skolemisation of a model
narrower: skolem theory
narrower: skolem hull
narrower: skolem function
related: language
broader: model
preferred label: اسکولمی‌کردن مدل @fa
type: Concept