%0 Journal Article
%T 使用归结和调解的输入反驳与单元反驳不等价
%A 孙吉贵
%J 科学通报
%D 1992
%I 
%X Chang和Lee在文献1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。
%K 调解
%K 对称调解
%K 单元反驳
%K 输入反驳
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=B0D9D4229271B3C971FBDAFAF432B1B7&yid=F53A2717BDB04D52&vid=42425781F0B1C26E&iid=38B194292C032A66&sid=02DC3A182A5530DF&eid=02DC3A182A5530DF&journal_id=0023-074X&journal_name=科学通报&referenced_num=3&reference_num=3