Pages that link to "Item:Q1165832"
From MaRDI portal
The following pages link to Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains (Q1165832):
Displaying 6 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- The two-property and condensed detachment (Q799664) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
