theorem-proving

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

中文释义

[数] 定理证明

单词分析

单词结构：

theorem-proving

字母数：15

记忆提示

🎯 重点记忆：

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

最近查询：

astrote beecher caryophyllus chrysiptera biocellata coal oil disturbing factor dry grinding operation forlose Halvrimmen inflammability test natural calamity nearcations neoarsphenamines Nodi lymphatici cavales laterales Onatsevicha Mys ready to eat rice green caterpillar steering reference position Truss-frame unserenaded

更新时间：2026-02-03 08:10:42