Hypermap specification and certified linked implementation using orbits (Q2879255)
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: Hypermap specification and certified linked implementation using orbits |
scientific article; zbMATH DE number 6341485
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hypermap specification and certified linked implementation using orbits |
scientific article; zbMATH DE number 6341485 |
Statements
Hypermap Specification and Certified Linked Implementation Using Orbits (English)
0 references
8 September 2014
0 references
0.7397189736366272
0 references
0.7313768863677979
0 references
0.7269593477249146
0 references
0.7170518040657043
0 references
0.7129839658737183
0 references