The following pages link to (Q3709919):
Displaying 6 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- Set theory in first-order logic: Clauses for Gödel's axioms (Q1097252) (← links)
- A structure-preserving clause form translation (Q1098330) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Topological syllogistic with continuous and closed functions (Q3033355) (← links)
- Automatic discovery of irrationality proofs and irrationality measures (Q4991708) (← links)