Pages that link to "Item:Q2031420"

The following pages link to Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420):

Displaying 1 item.

• An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)