Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Германский Германский
  • Английский Английский
  • Русский Русский
  • Германский Германский
en

Skolemizations

ru

Перевод skolemizations на русский язык

skolemization
Существительное
skolemizations множ.
raiting
skolemization
skolemizations множ.
Skolemization is a process used in mathematical logic.
Сколемизация — это процесс, используемый в математической логике.

Опеределения

skolemization
Существительное
raiting
In mathematical logic, skolemization is the process of removing existential quantifiers by introducing Skolem functions, transforming a formula into an equisatisfiable one in prenex normal form.
The skolemization of the formula helped simplify the logical expression for further analysis.