Semantisches Browsen
| VERICOMP: Comparing and Recommending Verified IVP Solvers (Vortrag) |
| Autor | Ekaterina Auer + , Andreas Rauh + , Lorenz Gillner + |
|---|---|
| Erscheinungsjahr | 2018 + |
| Review | editorial + |
| Tagung | SWIM 2018 + |
| Tagungsort | Rostock + |
| Kategorien | Vortrag |
| Zuletzt geändert „Zuletzt geändert“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite enthält und von Semantic MediaWiki zur Verfügung gestellt wird.
|
13:41:02, 10 Mai 2019 + |
| Datum „Datum“ ist ein Datentyp für Datumswerte. Er wird Attributen mit Hilfe eines von Semantic MediaWiki bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.
|
Juli 25, 2018 + , Juli 27, 2018 + |
| verstecke Attribute die hierhin verlinken |
| Keine Attribute verlinken auf diese Seite. |
