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
- Octopus: combining learning and parallel search
- Automatic proofs and counterexamples for some ortholattice identities
- The clause-diffusion theorem prover Peers-mcd (system description)
- 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
- Knowledge-based proof planning
- Lattice theory for rough sets -- a case study with Mizar
- Title not available (Why is that?)
- Citius altius fortius: lessons learned from the theorem prover Waldmeister
- Well-behaved search and the Robbins problem
This page was built for software: EQP
