Dafny (programming language)

http://dbpedia.org/resource/Dafny_(programming_language)

rdfs:label

rdf:langString Dafny (programming language)

dbpedia-owl:wikiPageID

xsd:integer 57798059

dbpedia-owl:wikiPageRevisionID

xsd:integer 848201694

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 103

dbpedia-owl:wikiPageWikiLink

dbpedia-owl:wikiPageRedirects

dbpprop:wikiPageUsesTemplate

dbpedia:Template:R_from_move

dbpedia:Template:R_from_unnecessary_disambiguation

dbpedia:Template:Redirect_category_shell

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Dafny_(programming_language)?oldid=848201694&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Dafny_(programming_language)>

data from the linked data cloud