אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית רוסית שוודית +

Skolem function
.בינה	Skolem-Funktion f
.טכנול	Skolemsche Funktion; Entscheidungsfunktion f