MKRP公司 swMATH ID: 19606 软件作者： 艾辛格，N.，Ohlbach，H.J 描述： Markgraph Karl Refutation Procedure，一个用Common Lisp编写的基于图形的分辨率定理证明程序。 主页： https://github.com/theoremprover-museum/MKRP 源代码： https://github.com/theoremprover-museum/MKRP 相关软件： 欧米茄;KEIM公司;狮子座;ETPS公司;牡蛎;蛤;液化石油气;Nuprl公司 引用于： 3文件 4位作者引用 2 曼弗雷德·科伯 1 迪特尔·赫特 1 阿克塞尔·普雷克林 1 沃纳斯蒂芬 2篇连载文章中引用 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 在3个字段中引用 三 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文