英语词汇Skolemization怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	Skolemization
释义	Skolemization 简明释义 n.斯科勒姆化：数理逻辑和计算机科学中的一种技术，用于消除存在量词，将逻辑公式转换为等价的斯科勒姆标准形。这个技术是由挪威数学家阿克塞尔·斯科勒姆（Axel Skolem）提出的。网络释义 1 ?斯科林化 ...表达和解释并详释第二章已经介绍过的变数、量词和辖域等概念，由此引入逻辑依存 (logical dependency)、斯科林化(Skolemization)、分枝量词(branching quantifiers) 等概念。
随便看	high torgue throw-out shear pin high torque high-torque high torque AC motor high torque and low speed motor high-torque hydraulic motor high torque low inertia motor high torque motor high torque rotary drill high toss service high touch high-touch high touch high toughness hightower Hightower cotton Hightown high toxic material high tracer high tracheoscopy high tracheotomy high traffic high traffic high traffic area high traffic ship

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