Полный русско-английский словарь
сколемизация
Skolemising
Полный русско-английский словарь
сколачивать состояние
сколемовская константа