拉链位置 swMATH ID: 32251 软件作者： 西蒙·克鲁安斯 描述： zippers position：OCaml中的一个自动定理证明器，用于具有等式、数据类型和算术的类型化高阶逻辑，基于叠加+重写；用于操作术语、公式、子句等的支持库（包括Logtk）。 主页： http://sneeuwballen.github.io/zippers位置/ 源代码： https://github.com/sneeuwballen/zippers位置/ 依赖项： OCaml公司 相关软件： E定理证明器;TPTP公司;萨塔拉克;VAMPIRE公司;StarExec公司;大锤;折扣;HOLyHammer公司;CoqHammer公司;阿凡达;Why3号机组;伊莎贝尔/HOL;Coq公司;SPASS公司;水獭;CVC4型;LEO-II型;HOT（热）;HOL公司;测试程序集 引用于： 11文件 全部的 前5名7位作者引用 10 亚历山大·本特坎普 7 贾斯敏·克里斯蒂安·布兰切特 7 佩塔·武克米罗维奇 6 索菲·托雷特 5 西蒙·克鲁内斯 4 Nummelin，维萨卡 4 乌韦·沃尔德曼 3篇连载文章中引用 2 自动推理杂志 2 计算机科学中的逻辑方法 1 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 在2个字段中引用 11 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 按年份列出的引文