Pages that link to "Item:Q2051565"

The following pages link to Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565):

Displaying 2 items.

• Combination of uniform interpolants via Beth definability (Q2090132) (← links)
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)