Pages that link to "Item:Q2305434"
From MaRDI portal
The following pages link to Induction in saturation-based proof search (Q2305434):
Displayed 6 items.
- Integer induction in saturation (Q2055871) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Inductive benchmarks for automated reasoning (Q2128807) (← links)
- Getting saturated with induction (Q6113982) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)