Automated proof compression by invention of new definitions (Q3066112)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5834053
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated proof compression by invention of new definitions |
scientific article; zbMATH DE number 5834053 |
Statements
Automated Proof Compression by Invention of New Definitions (English)
0 references
7 January 2011
0 references
0.7343751788139343
0 references
0.7326188683509827
0 references
0.7321434020996094
0 references
0.7234140634536743
0 references
