EQP
From MaRDI portal
swMATH15620MaRDI QIDQ27508FDOQ27508
Author name not available (Why is that?)
Official website: https://www.cs.unm.edu/~mccune/eqp/
Cited In (24)
- 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
- AURA
- Knowledge-based proof planning
- Octopus
- Roo
- Lattice theory for rough sets -- a case study with Mizar
- Title not available (Why is that?)
- SNARK
- HERBY
- SPTHEO
- Peers-mcd
- PARTHENON
- METEOR
- Aquarius
- Omega-MKRP
- Citius altius fortius: lessons learned from the theorem prover Waldmeister
- Well-behaved search and the Robbins problem
This page was built for software: EQP
