No label defined (Q4945203)
From MaRDI portal
scientific article; zbMATH DE number 1424014
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1424014 |
Statements
23 August 2000
0 references
datatypes
0 references
polytypic constructions
0 references
polytypic theorems
0 references
polytypic proof objects
0 references
