resolution refutation strategy 📖 中文释义 [计] 归结反演策略 ← resolution refutation R 字母词表 resolution refutation system →