Cut <i>Might</i> Cautiously (Q4842272)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cut Might Cautiously |
scientific article; zbMATH DE number 780060
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Cut <i>Might</i> Cautiously |
scientific article; zbMATH DE number 780060 |
Statements
Cut <i>Might</i> Cautiously (English)
0 references
7 September 1995
0 references
cautious cut elimination
0 references
might logic
0 references
0.7825096845626831
0 references
0.7508153915405273
0 references
0.7501598000526428
0 references
0.749092698097229
0 references
0.7384172081947327
0 references
