The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
应用推荐