Pages that link to "Item:Q4916087"

The following pages link to On Combinations of Local Theory Extensions (Q4916087):

Displaying 2 items.

• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
• (Q5079756) (← links)