什么是法律责任的归结？试述公正归结原则的含义和要求。
鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 A.谓词逻辑B.限制逻辑C.删除逻辑D.线性输入
归结策略中,()是完备的。 A.线性输入策略,支持集策略B.线性输入策略,单文字策略C.支持集策略,祖先过滤策略D.单文字策略,祖先过滤策略
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略A、Ⅰ，ⅡB、Ⅰ，ⅢC、Ⅱ，ⅣD、Ⅲ，Ⅳ
什么是归结控制策略？什么样的归结控制策略是完备的？
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
论文的结论就是论文的归结，是高度概括、具有说服力、科学性、严密性的结尾。
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
填空题在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
单选题归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略AⅠ，ⅡBⅠ，ⅢCⅡ，ⅣDⅢ，Ⅳ
填空题利用归结原理证明定理时，若得到的归结式为（），则结论成立。
问答题什么是归结控制策略？什么样的归结控制策略是完备的？
填空题几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
填空题用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）