Skolem normal form的意思|示意
美 / /
英 / /
Skolem标准形式
Skolem normal form的网络常见释义
范式 ... 裘国永 86 斯柯林范式 定义2.16 若B是A的前束范式且每个存在量词均在 全称量词之前，则称B是A的斯柯林范式(Skolem normal form)。