Analytic cut trees (Q4521282)
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: Analytic cut trees |
scientific article; zbMATH DE number 1545317
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic cut trees |
scientific article; zbMATH DE number 1545317 |
Statements
Analytic cut trees (English)
0 references
6 January 2002
0 references
analytic cut
0 references
subformula property
0 references
resolution
0 references
0.85365367
0 references
0 references
0.8244393
0 references
0 references
