Pages that link to "Item:Q1219798"
From MaRDI portal
The following pages link to Shortest single axioms for the classical equivalential calculus (Q1219798):
Displaying 4 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142) (← links)
- Towards finding longer proofs (Q2142073) (← links)
