Pages that link to "Item:Q6488550"

The following pages link to Simultaneous paramodulation (Q6488550):

Displaying 5 items.

• Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
• Superposition for full higher-order logic (Q2055874) (← links)
• Implementing Superposition in iProver (System Description) (Q5049017) (← links)
• A comprehensive framework for saturation theorem proving (Q5970776) (← links)
• Superposition for higher-order logic (Q6156638) (← links)