The following pages link to (Q3150302):
Displaying 9 items.
- Waldmeister (Q31394) (← links)
- Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- Twee: an equational theorem prover (Q2055894) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)