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