The following pages link to Satallax (Q18920):
Displayed 12 items.
- Hammering towards QED (Q5195271) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021) (← links)
- (Q5219925) (← links)
- (Q5282959) (← links)
- (Q5369491) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
- (Q5875415) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Superposition with lambdas (Q5919500) (← links)