论文部分内容阅读
在这篇论文，下列结果被证明：(1 ) 使用删除策略和锁策略，分辨率为有一样的谓语的文字或提议标志有一样的索引的一个子句集合是完全的。(2 ) 使用删除策略，积极联合起来的锁分辨率和输入锁分辨率为积极文字的索引比否定文字的那些大的一个角集合是完全的。(3 ) 使用删除策略，输入一半锁分辨率为一个角集合是完全的。关键词分辨率 - 索引策略 - 删除策略 - 单位分辨率 - 输入分辨率 Xiaochun Cheng 在 1996 有他的博士。他在自从 2000，读的大学作为一个讲师一直在工作。他是在诺思东方师范