en

Skolemization

ru

Translation of "skolemization" into Russian

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

Definitions

skolemization
Noun
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.

Idioms and phrases

Skolemization process
The Skolemization process is essential in automated theorem proving.
процесс сколемизации
Процесс сколемизации важен в автоматическом доказательстве теорем.
Skolemization step
During the Skolemization step, existential quantifiers are removed.
шаг сколемизации
На шаге сколемизации удаляются кванторы существования.
apply Skolemization
We need to apply Skolemization to the formula before resolution.
применять сколемизацию
Нам нужно применить сколемизацию к формуле до разрешения.
result of Skolemization
The result of Skolemization is a formula without existential quantifiers.
результат сколемизации
Результатом сколемизации является формула без кванторов существования.
benefit of Skolemization
One benefit of Skolemization is simplifying first-order logic expressions.
преимущество сколемизации
Одно из преимуществ сколемизации — упрощение выражений в логике первого порядка.