Pages that link to "Item:Q5191102"
From MaRDI portal
The following pages link to Ground Interpolation for Combined Theories (Q5191102):
Displayed 11 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- SMT proof checking using a logical framework (Q2441776) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (Q5892495) (← links)
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) (← links)