skolem function
type: Concept
preferred label: تابع اسکولم @fa
related: skolem hull

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

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

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

witness property
type: Concept
preferred label: ویژگی شاهد @fa
related: skolem hull