Pages that link to "Item:Q2666959"
From MaRDI portal
The following pages link to Extensional higher-order paramodulation in Leo-III (Q2666959):
Displaying 5 items.
- 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)
- Making higher-order superposition work (Q5918575) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)
