theorem proving by resolution refutation

英 [theorem proving by resolution refutation]
美 [theorem proving by resolution refutation]

中文释义

按分解律反演的定理証明

单词分析

单词结构：

theorem proving by resolution refutation

字母数：40

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving by resolution refutation
  • 核心含义：按分解律反演的定理証明

最近查询：

afran calcium cinnamylate direct-fired rotary drier disdainfuls erosive aneurysm Hinduists in poor fig keratoconiosis ltrb nonaffiliates pomponius re-show redramatizes regularly connected complex reshampooing resonoscope thermogenic methane u.w victimary zachaires

更新时间：2026-03-19 05:16:24