Pages that link to "Item:Q2352502"
From MaRDI portal
The following pages link to On interpolation in automated theorem proving (Q2352502):
Displaying 5 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
