theorem-proving

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

中文释义

[数] 定理证明

单词分析

单词结构：

theorem-proving

字母数：15

记忆提示

🎯 重点记忆：

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

最近查询：

alwash benzofuran bilateral cantilever beam cardinal plane dmr double exposure device drawback collet chuck drop in delivery five-times fructuation garden spider Iophenoxic lethargy nAChR oxycontin-related process(ing) unit rambone response spectrum envelope snatter viritrate

更新时间：2026-02-03 16:23:10