Skolem normal form
- 斯科伦范式（一阶逻辑公式的Skolem化消除存在量词生成等价可满足公式，与二阶逻辑等价）
Skolem normal form
-
abstract:
In mathematical logic, reduction to Skolem normal form (SNF) is a method for removing existential quantifiers from formal logic statements, often performed as the first step in an automated theorem prover.
以上来源于:
WordNet