Pages that link to "Item:Q1041587"
From MaRDI portal
The following pages link to Decidable fragments of many-sorted logic (Q1041587):
Displaying 6 items.
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
- Modular instantiation schemes (Q1944184) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
