caa a22 4500 463182731 CHVBK 20180406164843.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10817-006-9060-z doi (NATIONALLICENCE)springer-10.1007/s10817-006-9060-z The ILTP Problem Library for Intuitionistic Logic [Elektronische Daten] Release v1.1 [Thomas Raths, Jens Otten, Christoph Kreitz] The Intuitionistic Logic Theorem Proving (ILTP) library provides a platform for testing and benchmarking automated theorem proving (ATP) systems for intuitionistic propositional and first-order logic. It includes about 2,800 problems in a standardized syntax from 24 problem domains. For each problem an intuitionistic status and difficulty rating were obtained by running comprehensive tests of currently available intuitionistic ATP systems on all problems in the library. Thus, for the first time, the testing and evaluation of ATP systems for intuitionistic logic have been put on a firm basis. Springer Science+Business Media, Inc., 2007 ILTP nationallicence problem library nationallicence benchmarking nationallicence ATP nationallicence intuitionistic logic nationallicence Raths Thomas Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut Otten Jens Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut Kreitz Christoph Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 261-271 0168-7433 38:1-3<261 2007 38 10817 https://doi.org/10.1007/s10817-006-9060-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-006-9060-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Raths Thomas Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut NATIONALLICENCE 700 1- Otten Jens Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut NATIONALLICENCE 700 1- Kreitz Christoph Institut für Informatik, University of Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 261-271 0168-7433 38:1-3<261 2007 38 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer