霸王龙 swMATH ID: 21344 软件作者： A.菲德勒。 描述： 菲德勒：P.rex：一个交互式的证明解释者。本文概述了交互式证明解释系统P.rex，该系统根据用户的需要调整其解释，允许用户随时提出问题或请求，并对其做出灵活的反应。作为一个通用系统，它可以连接到不同的定理证明器。可通过P.rex主页获取分发信息，网址为http://www.ags.uni-sb.de/前缀。 主页： https://link.springer.com/chapter/10.1007/3-540-5744-5_33链接 相关软件： 拦污栅;VAMPIRE公司;欧米茄;第三方交易协议;SPASS公司;蛤;水獭;牡蛎;狮子座;冠状病毒;E定理证明器;马亚;布利克塞姆;蛋白质;洛伊;欧米茄-ANTS;Lambda-Clam公司;香车叶草;数学网;MB基础 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 雷克斯：一个交互式的证明解释者。 Zbl 0988.68596号阿明·菲德勒 2001 全部的 前5名16位作者引用 三 Benzmüller、Christoph Ewald 2 阿明·菲德勒 2 谢克曼，Jörg H。 1 谢尔盖·奥特西尔 1 拉杰夫·普拉巴卡尔·戈尔 1 马蒂亚·贾姆尼克 1 塞萨里·卡利西克 1 曼弗雷德·科伯 1 亚历山大·莱奇 1 托比亚斯·尼普科 1 尤里·普齐斯 1 沃尔克·索尔格 1 杰夫·萨特克利夫 1 史蒂文·特拉克 1 约瑟夫·乌尔班 1 维斯科基尔 2篇连载文章中引用 1 应用逻辑杂志 1 计算机科学课堂讲稿 在2个字段中引用 8 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文