Raths，托马斯;延斯·奥滕;克里斯托夫·克里茨 ILTP库：为直觉逻辑的自动定理证明器建立基准。 （英语） Zbl 1142.68502号 Beckert，Bernhard（编辑），用分析表和相关方法进行自动推理。2005年9月14日至17日在德国科布伦茨举行的2005年TABLEAUX国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28931-3/pbk）。计算机科学3702课堂讲稿。人工智能课堂讲稿，333-337（2005）。 摘要：直觉逻辑定理证明（ILTP）库为一阶直觉逻辑的定理证明器的测试和基准测试提供了一个平台。它包括一组标准化语法中的基准问题，以及通过对当前可用直觉主义定理证明系统的综合测试获得的性能结果。这些结果用于提供有关基准问题的状态和难度评级的信息。关于整个系列，请参见[Zbl 1089.68001号]. 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：Nuprl公司;带;第三方交易协议;ILTP公司;伊朗CoP PDF格式BibTeX公司 XML格式引用 \textit{T.Raths}等人，Lect。注释计算。科学。3702333-337（2005年；Zbl 1142.68502） 全文： 内政部