推论程序
基于1个网页-相关网页
procedure of inference
推理程序
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
youdao
应用推荐
模块上移
模块下移
不移动