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