Efficient instance retrieval with standard and relational path indexing

DOI10.1016/J.IC.2004.10.012MaRDI QIDQ2486586zbMATH OpenOpenAlexFDO

Authors Alexandre Riazanov, Andrei Voronkov

Publication date 5 August 2005

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2004.10.012

zbMATH Keywords

Backward demodulationInstance retrievalPath indexing

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Recommendations

• Extended path-indexing
• Path indexing for AC-theories
• Substitution tree indexing
• Fingerprint indexing for paramodulation and rewriting
• scientific article; zbMATH DE number 1552512

Cites work

• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• scientific article; zbMATH DE number 1809863 (Why is no real title available?)
• scientific article; zbMATH DE number 4049047 (Why is no real title available?)
• scientific article; zbMATH DE number 1552512 (Why is no real title available?)
• scientific article; zbMATH DE number 1759379 (Why is no real title available?)
• scientific article; zbMATH DE number 1765673 (Why is no real title available?)
• scientific article; zbMATH DE number 1765674 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Automata-driven indexing of prolog clauses
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• Handbook of automated reasoning. In 2 vols
• Paramodulation-based theorem proving
• Substitution tree indexing
• Term indexing
• The anatomy of vampire. Implementing bottom-up procedures with code trees

Cited in

(2)

• Simple and Efficient Clause Subsumption with Feature Vector Indexing
• An efficient subsumption test pipeline for BS(LRA) clauses

Describes a project that uses

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover
• Waldmeister

This page was built for publication: Efficient instance retrieval with standard and relational path indexing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486586)