Pages that link to "Item:Q3066112"
From MaRDI portal
The following pages link to Automated Proof Compression by Invention of New Definitions (Q3066112):
Displaying 6 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- ATP and presentation service for Mizar formalizations (Q1945905) (← links)
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (Q3454106) (← links)
- Propositional proof skeletons (Q6535365) (← links)
- Machine learning and information theory concepts towards an AI mathematician (Q6554714) (← links)