No label defined (Q3778726)
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 4039864
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4039864 |
Statements
1987
0 references
propositional dynamic logic
0 references
L-equivalence of structures
0 references
MML
0 references
finitely branching structures
0 references
0.7588332891464233
0 references
0.7379855513572693
0 references
0.7300702929496765
0 references
0.7087098360061646
0 references
0.7058337926864624
0 references