网站首页  词典首页

请输入您要查询的英文单词:

 

单词 Skolemization
释义

Skolemization

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

例句

随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/8 13:33:04