Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Английский Английский
  • Русский Русский
en

Skolemization

ru

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

skolemization
Существительное
raiting
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.