scientific article; zbMATH DE number 1552512
From MaRDI portal
Publication:4524770
zbMath0970.68152MaRDI QIDQ4524770
No author found.
Publication date: 15 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Implementing Superposition in iProver (System Description) ⋮ Multi-completion with termination tools ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Limited resource strategy in resolution theorem proving ⋮ On using ground joinable equations in equational theorem proving ⋮ Simple and Efficient Clause Subsumption with Feature Vector Indexing ⋮ Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ Efficient instance retrieval with standard and relational path indexing ⋮ On the Saturation of YAGO ⋮ Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method ⋮ Building Theorem Provers ⋮ Experimenting with Deduction Modulo ⋮ CODE: A powerful prover for problems of condensed detachment ⋮ Efficient model generation through compilation. ⋮ An efficient subsumption test pipeline for BS(LRA) clauses
This page was built for publication:
