Pages that link to "Item:Q1948289"
From MaRDI portal
The following pages link to LEO-II and Satallax on the Sledgehammer test bench (Q1948289):
Displaying 9 items.
- Sledgehammer (Q19106) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Proofs and Reconstructions (Q2964467) (← links)
- (Q4989394) (← links)
- (Q5028439) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
