短语词组短语resolution refutation strategy 翻译completeness of resolution refutation strategy [计]归结反演策略的完整性 返回 refutation strategy