horn clause prover

英 [horn clause prover]
美 [horn clause prover]

中文释义

Horn子句证明器

单词分析

单词结构：

horn clause prover

字母数：18

记忆提示

🎯 重点记忆：

  • 单词拼写：horn clause prover
  • 核心含义：Horn子句证明器

最近查询：

african monkey tree fibre B lymphocyte batch communication bathing block organized storage Buber Martin bused compensate coils diacaustic frehling Hooper jib ignition circuit kill breakpoint command Max Miller pseudocavitation rhizochilus antipathum secondary service simple ASCII terminal St-Honoré subaxialis

更新时间：2026-02-02 13:27:39