-
English
-
Russian
-
German
-
English
-
Russian
-
German
Partially skolemise
Translation of "partially skolemise" into Russian
partially skolemise
частично сколемизировать
Sometimes it is useful to partially skolemise a formula.
Иногда бывает полезно частично сколемизировать формулу.