scientific article; zbMATH DE number 1552512
From MaRDI portal
Publication:4524770
Recommendations
Cited in
(24)- Limited resource strategy in resolution theorem proving
- On using ground joinable equations in equational theorem proving
- Efficient model generation through compilation.
- Fast term indexing with coded context trees
- An efficient subsumption test pipeline for BS(LRA) clauses
- Efficient instance retrieval with standard and relational path indexing
- Term indexing
- Fingerprint indexing for paramodulation and rewriting
- Higher-order term indexing using substitution trees
- Multi-completion with termination tools
- Simple and Efficient Clause Subsumption with Feature Vector Indexing
- Inst-Gen -- a modular approach to instantiation-based automated reasoning
- Implementing Superposition in iProver (System Description)
- Substitution tree indexing
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- Building Theorem Provers
- Experimenting with deduction modulo
- Extended path-indexing
- CODE: A powerful prover for problems of condensed detachment
- Attributed Data for CHR Indexing
- Perfect discrimination graphs: indexing terms with integer exponents
- On the saturation of YAGO
- Experiments with discrimination-tree indexing and path indexing for term retrieval
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4524770)
