Pages that link to "Item:Q4635864"

The following pages link to Deciding First-Order Satisfiability when Universal and Existential Variables are Separated (Q4635864):

Displaying 3 items.

• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
• On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
• Data Centric Workflows for Crowdsourcing (Q5100748) (← links)