|
|
|
|
|
|
|
|
|
Skoläst
|
|
Обувная колодка, русский
|
Skola, шведский
Skola (v.), шведский
Skolem function, английский
In formal inference, resolution proofs require that existential quantifiers be eliminated. a skolem function allows a system to replace an existentially qualified phrase such as exists(y)[a(x, y)&b(y)] with the phrase a(x, c(x))&b(c(x)), where c(x) is understood to stand for a function of x that returns a value of y satisfying the first clause. see also: resolution.
Skolioosi, финский
Skolioosi-, финский
Skolite, английский
Skolka, шведский
Skollies – skoh-lie, английский
Criminals, unsavoury characters.
Skolsköterska, шведский
Skolt sami, английский
|
Обувная колодка, русский
Прогуливать (занятия), русский
|
|
|
|
|
|
|