%0 Journal Article
%T COMPLETENESS OF INPUT PARAMODULATION AND UNIT PARAMODULATION ON HORN SET<br>输入调解法和单元调解法在Horn集上的完备性
%A Ouyang Dantong
%A Sun Jigui
%A Liu Xuhua
%A <br>欧阳丹彤
%A 孙吉贵
%A 刘叙华
%J 软件学报
%D 1993
%I 
%X Here we have proved the lifting lemma of paramodulation and the completeness of input paramodulation on Horn set, and then we have also proved the completeness of unit paramodulation on Horn set.
%K 调解法
%K 单元调解法
%K 完备性
%K Horn集
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5A4563FB89F271DAFA1CF33FAB4122A2&yid=D418FDC97F7C2EBA&vid=E158A972A605785F&iid=CA4FD0336C81A37A&sid=B31275AF3241DB2D&eid=708DD6B15D2464E8&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=5