Sequentially composable rational proofs (Q3455899)
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 6520131
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sequentially composable rational proofs |
scientific article; zbMATH DE number 6520131 |
Statements
Sequentially Composable Rational Proofs (English)
0 references
11 December 2015
0 references
0.8434896469116211
0 references
0.8431104421615601
0 references
0.8220525979995728
0 references
0.8131101131439209
0 references
