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