Towards a constructive formalization of perfect graph theorems (Q2284192)
From MaRDI portal
!
WARNING
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 7150819
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards a constructive formalization of perfect graph theorems |
scientific article; zbMATH DE number 7150819 |
Statements
Towards a constructive formalization of perfect graph theorems (English)
0 references
14 January 2020
0 references
0.7895733714103699
0 references
0.778285026550293
0 references
0.7701293230056763
0 references
