The following pages link to Labelled splitting (Q1037396):
Displaying 8 items.
- Case splitting in an automatic theorem prover for real-valued special functions (Q352970) (← links)
- A unifying splitting framework (Q2055869) (← links)
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- Unifying splitting (Q6103590) (← links)
