Fingerprint Indexing for Paramodulation and Rewriting

DOI10.1007/978-3-642-31365-3_37zbMath1358.68263OpenAlexW1526060127MaRDI QIDQ2908518

Stephan Schulz

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_37

Mathematics Subject Classification ID

Related Items (9)

Fast and slow enigmas and parental guidance ⋮ ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) ⋮ Unnamed Item ⋮ A multi-clause dynamic deduction algorithm based on standard contradiction separation rule ⋮ Unnamed Item ⋮ Simple and Efficient Clause Subsumption with Feature Vector Indexing ⋮ Superposition with lambdas ⋮ Faster, higher, stronger: E 2.3 ⋮ An efficient subsumption test pipeline for BS(LRA) clauses

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover

This page was built for publication: Fingerprint Indexing for Paramodulation and Rewriting