theorem-proving

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

中文释义

[数] 定理证明

单词分析

单词结构：

theorem-proving

字母数：15

记忆提示

🎯 重点记忆：

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

最近查询：

beauty itself Chāh-e-Rig comcars condoling with console monitor typewriter database field diesinking eminelntia vagi eukanubas final sum fovea costalis gas-content factor geometric ratio katarin nettlerash quarreling with Ramsay L. sappare stevens transplant survival percent

更新时间：2025-12-19 15:32:32