Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.

语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。

youdao

Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.

语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。

youdao