发生检查

简介在计算机科学中，发生检查是句法统一算法的一部分。如果S包含V，它将导致一个变量V和一个结构S的统一失败。在定理证明中的应用在定理证明中，没有发生检...