Pages that link to "Item:Q5891935"
From MaRDI portal
The following pages link to Complete instantiation-based interpolation (Q5891935):
Displayed 4 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)