Metric temporal graph logic over typed attributed graphs (Q6091323)
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 7770533
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Metric temporal graph logic over typed attributed graphs |
scientific article; zbMATH DE number 7770533 |
Statements
Metric temporal graph logic over typed attributed graphs (English)
0 references
24 November 2023
0 references
nested graph conditions
0 references
metric temporal logic
0 references
sequence properties
0 references
typed attributed graphs
0 references
symbolic graphs
0 references
0.8222918510437012
0 references
0.7648036479949951
0 references
0.7636223435401917
0 references
0.7393136024475098
0 references
