Pages that link to "Item:Q1904397"
From MaRDI portal
The following pages link to Searching for circles of pure proofs (Q1904397):
Displaying 8 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Shortest single axioms for the equivalential calculus with CD and RCD (Q1383993) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- OTTER and the Moufang identity problem (Q1815858) (← 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)