Partially skolemise
Übersetzung von "partially skolemise" ins Russisch
partially skolemise
частично сколемизировать
Sometimes it is useful to partially skolemise a formula.
Иногда бывает полезно частично сколемизировать формулу.