There is no best \(\beta \)-normalization strategy for higher-order reasoners (Q3460064)
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 6528791
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | There is no best \(\beta \)-normalization strategy for higher-order reasoners |
scientific article; zbMATH DE number 6528791 |
Statements
There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners (English)
0 references
12 January 2016
0 references
0.7188733816146851
0 references
0.6889380216598511
0 references
0.6688284277915955
0 references
0.665278971195221
0 references
