Strong jump-traceability (Q4580033)
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 6916705
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strong jump-traceability |
scientific article; zbMATH DE number 6916705 |
Statements
STRONG JUMP-TRACEABILITY (English)
0 references
13 August 2018
0 references
strong jump-traceability
0 references
\(K\)-trivial
0 references
0.852347195148468
0 references
0.843355655670166
0 references
0.8381426334381104
0 references
0.8342024087905884
0 references
0.8245593905448914
0 references
