Pages that link to "Item:Q2636527"

The following pages link to Modularity results for interpolation, amalgamation and superamalgamation (Q2636527):

Displayed 8 items.

• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) ‎ (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) ‎ (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) ‎ (← links)
• Combined covers and Beth definability (Q2096445) ‎ (← links)
• First-order interpolation derived from propositional interpolation (Q2193292) ‎ (← links)
• Interpolation and amalgamation for arrays with MaxDiff (Q2233410) ‎ (← links)
• Model completeness, covers and superposition (Q2305411) ‎ (← links)
• SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) ‎ (← links)