skolem function
تابع اسکولم
skolem hull
غلاف اسکولم
skolem theory
نظریه اسکولم
skolemisation of a model
اسکولمی‌کردن مدل
witness property
ویژگی شاهد