在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）

简述鲁滨逊归结原理基本思想？ 40条发明原理按照效能可以归结为：（）（）（）（）。 支持集策略是沃斯(Wos)等人在1995年提出的一种归结策略。 () 支持集策略对参加归结的子句提出了什么限制？ 软件故障产生的原因可归结为哪几种 软件故障产生的原因可归结为哪几种？ 把物质归结为某种或几种具体物质形态的观点是（） 可能造成智力障碍的原因总体归结为哪几种？（） 常见的城市道路网可归结为： 在中国开展地方政府原理研究的目的可以归结为（） 将物质归结为一种或几种具体的物质形态，这种观点是（） 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 反演归结(消解)证明定理时,若当前归结式是时,则定理得证 桥梁工程的基本体系可归结为()几种基本体系。 把世界的本原归结为某种或某几种具体物质形态的观点是 ( ) 把世界的本原归结为某种或某几种具体物质形态的观点是（） 反演归结（消解）证明定理时，若当前归结式是空子句时，则定理得证。 反演归结（消解）证明定理时，若当前归结式是永真式时，则定理得证。 把世界的本原归结为某种或几种具体物质形态的观点属于（） 用归结反演证明定理时，若当前归结式为（），则定理得证