Pages that link to "Item:Q2365126"
From MaRDI portal
The following pages link to Recording and analysing knowledge-based distributed deduction processes (Q2365126):
Displayed 5 items.
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Twee: an equational theorem prover (Q2055894) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)