Pages that link to "Item:Q1949088"
From MaRDI portal
The following pages link to Superposition decides the first-order logic fragment over ground theories (Q1949088):
Displaying 4 items.
- 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)
- Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories (Q2234101) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)