-
English
-
Russian
-
English
-
Russian
Skolemizations
Translation skolemizations into russian
skolemization
Noun
Skolemization is a process used in mathematical logic.
Сколемизация — это процесс, используемый в математической логике.
Definitions
skolemization
Noun
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.