Herbrand equivalence is weaker than semantic equivalence,it has much wider utility.

  • H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。
目录 查词历史