resolution-refutation graph分解: resolve; decompose; disinteg ...反驳: refute; confute; retort; reb ...图: picture; chart; drawing; map反驳图: refutation graph归结反演, 分解反驳: resolution refutation下载手机词典可随时随地查词查翻译