Π<sup>1</sup><sub>2</sub> monotone inductive definitions (Q5219261)
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: Π12 monotone inductive definitions
scientific article; zbMATH DE number 7178176
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Π<sup>1</sup><sub>2</sub> monotone inductive definitions |
scientific article; zbMATH DE number 7178176 |
Statements
Π<sup>1</sup><sub>2</sub> monotone inductive definitions (English)
0 references
9 March 2020
0 references
