horn clause prover

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

中文释义

Horn子句证明器

单词分析

单词结构：

horn clause prover

字母数：18

记忆提示

🎯 重点记忆：

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

最近查询：

absolute fatal wound Alviano classroom instruction cloth crimp tester coprophilus deagnetize failure control get one's foot in gliobastona halobionts hypercinnabar ionut Montegut natural flavor negative reinforcing stimulus remakes rolling strike simulator sickness straight bevel gear rougher woild

更新时间：2026-02-03 02:28:37