Shelah-Stupp's iteration and Muchnik's iteration (Q4643216)
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 6872355
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Shelah-Stupp's iteration and Muchnik's iteration |
scientific article; zbMATH DE number 6872355 |
Statements
Shelah-Stupp’s Iteration and Muchnik’s Iteration (English)
0 references
24 May 2018
0 references
infinite-state systems
0 references
structure-building operations
0 references
Shelah-Stupp's iteration
0 references
Muchnik's iteration
0 references
0.8976098299026489
0 references
0.7910752296447754
0 references
0.7906797528266907
0 references
0.7555387020111084
0 references
