theorem-proving

英 [theorem-proving]
美 [theorem-proving]

中文释义

[数] 定理证明

单词分析

单词结构：

theorem-proving

字母数：15

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem-proving
  • 核心含义：[数] 定理证明

最近查询：

ammonium aminosulfonate APTIC binary reflex code bucket index constab cryptlike dutyallowance eldoes Ethyl-bromopyuvate flywheel moment of hydrogenerator gentilizes Iacs jorgenson north ronaldsay i. Pasteurella avicida philadel-phia regional coding self-perpetuations submarine well unbalanced growth

更新时间：2026-03-21 13:08:39