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