归结定理翻译的英文

汉语拼音：

【拼音】 guī jié dìng lǐ

英语翻译：

【计】 resolution theorem

分词翻译：

归结的英语翻译：

end; sum up

定理的英语翻译：

theorem
【化】 theorem
【医】 theorem