David A.Plaisted。；朱，云山 有序语义超链接。 （英文） Zbl 0959.68115号 J.汽车。推理 25，第3期，167-217（2000）. 摘要：有序语义超链接策略对于一阶逻辑来说是完整的，并接受用户特定的自然语义来指导对证据的搜索。可以使用任何可以根据基本术语计算函数和谓词符号含义的语义。这种基于实例的策略对近命题问题有效，对目标敏感，并扩展到等式和术语重写。然而，它有时很难生成大型术语。我们将此策略与其他使用语义信息的策略进行了比较，并提供了正确性和完整性的证明。我们还对该策略的搜索效率给出了一些理论结果。一些示例说明了该策略的性能。 引用于22文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03B35型 证明和逻辑操作的机械化 关键词：有序语义超链接 软件：萨奇莫 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted}和\textit{Y.Zhu}，J.Autom。推理25，No.3，167--217（2000；Zbl 0959.68115） 全文： 内政部