Herbrand equivalence is weaker than semantic equivalence,it has much wider utility.
英
美
H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。
目录
查词历史
英 汉