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 13 items.
- Sledgehammer (Q19106) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Internal Guidance for Satallax (Q2817934) (← links)
- Proofs and Reconstructions (Q2964467) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- (Q4989394) (← links)
- (Q5028439) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)