Pages that link to "Item:Q688554"
From MaRDI portal
The following pages link to Experiments with discrimination-tree indexing and path indexing for term retrieval (Q688554):
Displayed 26 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Multi-completion with termination tools (Q352956) (← links)
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- FDR explorer (Q1019020) (← links)
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures (Q1340966) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- Advanced indexing operations on substitution trees (Q4647547) (← links)
- Path indexing for AC-theories (Q4647560) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- Citius altius fortius (Q4916218) (← links)
- (Q5020994) (← links)
- (Q5028442) (← links)
- Substitution tree indexing (Q5055823) (← links)
- Extended path-indexing (Q5210794) (← links)
- Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses (Q5234686) (← links)
- An algorithm for the retrieval of unifiers from discrimination trees (Q5235251) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)