The following pages link to (Q3797157):
Displaying 9 items.
- Nice implicational axioms (Q1844202) (← links)
- Learning from Łukasiewicz and Meredith: investigations into proof structures (Q2055843) (← links)
- Simplified Axiom Schemes for Implication and Iterated Implication (Q3220560) (← links)
- (Q3433180) (← links)
- (Q4025005) (← links)
- (Q4489081) (← links)
- Partheo: A high-performance parallel theorem prover (Q6488521) (← links)
- Automated reasoning contributes to mathematics and logic (Q6488553) (← links)
- Investigations into proof structures (Q6653096) (← links)