scientific article
From MaRDI portal
Publication:3150302
zbMath1021.68083MaRDI QIDQ3150302
Th. Hillenbrand, Bernd Löchner
Publication date: 30 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
AC simplifications and closure redundancies in the superposition calculus ⋮ Knuth-Bendix completion of theories of commuting group endomorphisms ⋮ Things to know when implementing KBO ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Simple and Efficient Clause Subsumption with Feature Vector Indexing ⋮ Efficient instance retrieval with standard and relational path indexing ⋮ Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving ⋮ Twee: an equational theorem prover ⋮ Waldmeister
This page was built for publication:
