Pages that link to "Item:Q3172887"
From MaRDI portal
The following pages link to Superposition Modulo Non-linear Arithmetic (Q3172887):
Displaying 5 items.
- Superposition decides the first-order logic fragment over ground theories (Q1949088) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
