skolem meaning in English
期柯伦
Examples
- In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。 - Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队）中引进量词和谓词，建立格值模态一阶逻辑系统lmf （广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的skolem标准型和体解释；在此基础上，对基于系统lmf （ ）的a一归结原理进行了初步探讨