scientific article; zbMATH DE number 1348483
From MaRDI portal
zbMath0925.68402MaRDI QIDQ4264737
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Conditional term rewriting and first-order theorem proving, Towards finding longer proofs, Searching for circles of pure proofs, The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0, MGTP: A model generation theorem prover — Its advanced features and applications —, Experiments in the heuristic use of past proof experience, Building Theorem Provers, Solving the \$100 modal logic challenge, The TPTP problem library, Learning from Łukasiewicz and Meredith: investigations into proof structures, Automatic verification of cryptographic protocols with SETHEO, CODE: A powerful prover for problems of condensed detachment, Uniform strategies: The CADE-11 theorem proving contest
Uses Software
