Partial models and weak equivalence (Q2938153)
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 6385965
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Partial models and weak equivalence |
scientific article; zbMATH DE number 6385965 |
Statements
Partial Models and Weak Equivalence (English)
0 references
13 January 2015
0 references
test-suite completeness
0 references
partial models
0 references
weak equivalence
0 references
confirmed sets
0 references
0.6979770660400391
0 references
0.696761429309845
0 references
0.6796800494194031
0 references
0.6787781119346619
0 references
0.6748679876327515
0 references
