归结定理证明

归的英语翻译：

go back to; return; turn over to

结的英语翻译：

congeal; form; knot; settle; vinculum; weave
【医】 knob; knot; node; nodule; noduli; nodulus; nodus; noeud

定理证明的英语翻译：

【计】 theorem proving; theoremproving