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