theorem proving use

查询英语单词中文释义、音标、发音和例句。

theorem proving use of resolution
英 [theorem proving use of resolution]
美 [theorem proving use of resolution]

中文释义

使用分解律的定理証明

单词分析

单词结构：

theorem proving use of resolution

字母数：33

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving use of resolution
  • 核心含义：使用分解律的定理証明

最近查询：

call-and-responses combination folder concrete equivalence cytheroma eximius dual mastercylinder electric signal transmission exocervical high low speed change induction furnace line-freqency blanking pulse Mornington mowrageninic acid on year preseeing semen phaseoli spontaneous generations test box tiracola plagiata urethritis glandularis Yevpatoriys'kyy Mys

更新时间：2026-09-01 01:09:36