The following pages link to EQP (Q27508):
Displaying 13 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- Octopus: combining learning and parallel search (Q861370) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- (Q4539630) (← links)
- Lattice Theory for Rough Sets – A Case Study with Mizar (Q4589200) (← links)
- Well-behaved search and the Robbins problem (Q4594214) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- Citius altius fortius (Q4916218) (← links)
- The Clause-Diffusion theorem prover Peers-mcd (system description) (Q5234687) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705918) (← links)