Anh
Skolem function
Đức
Entscheidungsfunktion
Skolemsche Funktion
Pháp
fonction de Skolem
fonction de Skolem /IT-TECH/
[DE] Entscheidungsfunktion; Skolemsche Funktion
[EN] Skolem function
[FR] fonction de Skolem