No label defined (Q4893140)
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 922620
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 922620 |
Statements
1 September 1996
0 references
uniform interpolation
0 references
bounded bisimulations
0 references
quantifier elimination for bisimulation extension quantifiers
0 references
0.8513546586036682
0 references
0.8378596901893616
0 references
0.8228455781936646
0 references
0.8138408660888672
0 references
0.7983514070510864
0 references
