Extensional crisis and proving identity
From MaRDI portal
Publication:3457789
Recommendations
Cited in
(8)- Improving automation for higher-order proof steps
- On the indestructibility aspects of identity crisis
- Superposition with lambdas
- scientific article; zbMATH DE number 7350767 (Why is no real title available?)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP
- Layered clause selection for theory reasoning (short paper)
- Superposition with lambdas
- Induction in saturation-based proof search
This page was built for publication: Extensional crisis and proving identity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457789)