Herbrand

常见例句

A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。
Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*.
作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility.
H-等价的判定条件相对来说更容易得到满足，具有更广泛的可用性。
Herbrand equivalence is weaker than semantic equivalence,it has much wider utility.
H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。
The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem.
Herbrand定理和范式定理是机器证明的理论基础.
Several applications of simple algorithms were presented, through which we see clearly the advantages and limitations of Herbrand equivalence .
结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。