Pages that link to "Item:Q1904397"
From MaRDI portal
The following pages link to Searching for circles of pure proofs (Q1904397):
Displaying 5 items.
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- CODE: A powerful prover for problems of condensed detachment (Q5234708) (← links)
