On the Jordan-Hölder decomposition of proof nets (Q1386676)
From MaRDI portal
!
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 1156510
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the Jordan-Hölder decomposition of proof nets |
scientific article; zbMATH DE number 1156510 |
Statements
On the Jordan-Hölder decomposition of proof nets (English)
0 references
7 September 1998
0 references
homological correctness
0 references
proof nets
0 references
Jordan-Hölder decomposition
0 references
0.8118079900741577
0 references
0.7060520648956299
0 references
0.6956791877746582
0 references
0.6924793124198914
0 references
