The following pages link to Leo-III (Q30355):
Displaying 19 items.
- Superposition for \(\lambda\)-free higher-order logic (Q1799065) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Effective Normalization Techniques for HOL (Q2817937) (← links)
- Agent-Based HOL Reasoning (Q2819202) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)
- (Q4557854) (← links)
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Q4978553) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- Theorema 2.0: Computer-Assisted Natural-Style Mathematics (Q5195272) (← links)
- Functions-as-constructors Higher-order Unification (Q5369491) (← links)
- Superposition with lambdas (Q5919500) (← links)
