Two provers in isolation (Q3102200)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Two provers in isolation
scientific article; zbMATH DE number 5985189
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Two provers in isolation |
scientific article; zbMATH DE number 5985189 |
Statements
Two Provers in Isolation (English)
0 references
2 December 2011
0 references
0.8561868667602539
0 references
0.7882215976715088
0 references
0.7860457301139832
0 references
