The following pages link to (Q3037400):
Displayed 7 items.
- Finite axiomatizations for existentially closed posets and semilattices (Q1087537) (← links)
- Model-complete theories of bounded unars (Q1102942) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Model complete theories of trees (Q2277448) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)