Pages that link to "Item:Q3457789"
From MaRDI portal
The following pages link to Extensional Crisis and Proving Identity (Q3457789):
Displaying 8 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- On the indestructibility aspects of identity crisis (Q834713) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- (Q4989394) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)