| dbo:description
|
- langage de programmation (fr)
- programming language (en)
- yezh programmiñ (br)
- hauptsächlich von Amazon entwickelte Programmiersprache zur formalen Spezifikation (de)
|
| dbo:developer
| |
| dbo:latestReleaseDate
| |
| dbo:latestReleaseVersion
| |
| dbo:license
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:designers
| |
| dbp:developer
| |
| dbp:fileExt
| |
| dbp:latestReleaseDate
| |
| dbp:latestReleaseVersion
| |
| dbp:license
| |
| dbp:logo
| |
| dbp:logoSize
| |
| dbp:name
| |
| dbp:paradigm
| |
| dbp:typing
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:label
|
- Dafny (en)
- Dafny (eu)
- Dafny (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:influencedBy
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influencedBy
of | |
| is foaf:primaryTopic
of | |
