%0 Journal Article
%T 广义线性半锁归结
%A 孙吉贵
%J 科学通报
%P 1812-1812
%D 1992
%X 文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并
%K 广义归结
%K 广义线性半锁归结
%U http://csb.scichina.com:8080/CN/abstract/abstract361440.shtml