EQP
From MaRDI portal
Software:27508
No author found.
Related Items (13)
Automatic proofs and counterexamples for some ortholattice identities ⋮ Logic for Programming, Artificial Intelligence, and Reasoning ⋮ Octopus: combining learning and parallel search ⋮ Lattice Theory for Rough Sets – A Case Study with Mizar ⋮ Well-behaved search and the Robbins problem ⋮ Knowledge-based proof planning ⋮ Simple and Efficient Clause Subsumption with Feature Vector Indexing ⋮ Citius altius fortius ⋮ Unnamed Item ⋮ Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem ⋮ On the modelling of search in theorem proving -- towards a theory of strategy analysis ⋮ The Clause-Diffusion theorem prover Peers-mcd (system description) ⋮ Larry Wos: visions of automated reasoning
This page was built for software: EQP
