Pages that link to "Item:Q2942878"
From MaRDI portal
The following pages link to Playing in the grey area of proofs (Q2942878):
Displaying 8 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- (Q5094130) (← links)
