1) equality
[英][i'kwɔləti] [美][ɪ'kwɑlətɪ]
等词
1.
An Algorithm for Two Separate Tableau with Equality;
一种含等词的分阶段tableau算法
2.
The hyper tableau calculus is capable of solving first-order logic problems with equality by introducing superposition to it, which is competent in equality reasoning.
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试。
3.
This paper diseusses the connection method with equality in automatedtheorem proving.
该文讨论了带有等词的连接法，给出了形式化的定义，证明了带有等词的逻辑公式是ｅｑ有效的当且仅当它有互补复合例的规范矩阵的定理，并设计了带有等词的连接法的有关算法。
2) equivalent
[英][ɪ'kwɪvələnt] [美][ɪ'kwɪvələnt]
对等词
1.
The results show that,(1)CELD is used in mainland with a comparatively low frequency,(2)it is mainly applied in the learning tasks of Chinese-English translation and English writing,and(3)it is expected to improve in terms of meaning discrimination between equivalents,coverage and grammatical and cultural information about equiva.
调查结果显示:(1)大学生对于内向型汉英学习词典的使用频率并不高;(2)主要用于汉语-英语方向的翻译与英语写作的学习任务中;(3)大学生希望现有词典在对等词间的词义辨析、收词量、对等词的语法信息、对等词的文化信息等方面有所改进与提高。
3) equivalence predicate
等价谓词
1.
In this paper, we first discuss the methods of implementing a query rewrite module on the basis of rewrite technology and then put forward a set of simple rewrite rules based on equivalence predicate.
本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 。
6) synonym
[英]['sɪnənɪm] [美]['sɪnə'nɪm]
等义词
1.
A large number of new synonyms have appeared in the contemporary Chinese language.
当代汉语出现了大量的新等义词,其中绝大多数既无理据,也无必要,是对词汇发展规律的逆反,所以本文称之为“返祖”现象。
补充资料：长等短等
1.犹言左等右等。谓等待久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条