Herbrand
基本解释
- n.海爾勃朗
英汉例句
- 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定理和範式定理是機器証明的理論基礎.