短語詞組短語resolution refutation strategy 翻譯completeness of resolution refutation strategy [計(jì)]歸結(jié)反演策略的完整性 返回 refutation strategy