Skolemisation

名词 n.
中文释义

英文释义

名词 n.
  1. Alternative form of Skolemization. alt-of,alternative,uncountable

词源

From Norwegian Skolem + -isation.
4 次浏览 数据来源: Wiktionary