摘要
本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.
The present paper covers a mistake in the completeness proof about generalized paramodulation, and presents another method of proving the completeness.
出处
《吉林大学自然科学学报》
CAS
CSCD
1993年第3期59-60,共2页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
国家自然科学基金
博士点基金
863计划
国家攀登计划
关键词
广义归结
广义调解
NC调解
generalized resolution, generalized paramodulation, NC-paramodulation
