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 15 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)
- 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)
- 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)
- 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)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)