Skolemization

网络释义

1.	林化 ...存 (logical dependency)、斯科林化(Skolemization)、分枝量词(branching quantifiers) 等概念。 www.docin.com
2.	斯柯伦化斯柯伦化（skolemization）方法把每个存在量化变量用一个函数来替换，这个函数是关于语句中某个或所有其他变量的函数， … book.51cto.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。