Pages that link to "Item:Q4645726"
From MaRDI portal
The following pages link to First-Order Interpolation and Interpolating Proof Systems (Q4645726):
Displaying 10 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- First-order interpolation of non-classical logics derived from propositional interpolation (Q1687562) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Interpolant Strength Revisited (Q2843336) (← links)
- On Interpolation and Automatization for Frege Systems (Q4507332) (← links)
- (Q5556404) (← links)
- (Q5702666) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)