Pages that link to "Item:Q2055873"
From MaRDI portal
The following pages link to Superposition with first-class booleans and inprocessing clausification (Q2055873):
Displayed 5 items.
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)