The following pages link to Superposition for fixed domains (Q2946615):
Displayed 5 items.
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- Predicate Completion for non-Horn Clause Sets (Q5200033) (← links)
- System Description: SPASS-FD (Q5200034) (← links)