About: Object-Z

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	http://czt.sourceforge.net/ https://web.archive.org/web/20040701113340/http:/czt.sourceforge.net/ http://staff.itee.uq.edu.au/smith/objectz/objectz.html
dbo:wikiPageWikiLink	dbr:Polymorphism_(computer_science) dbr:Z_notation dbr:Formal_methods dbc:University_of_Queensland dbr:University_of_Queensland dbr:Australia dbc:Z_notation dbr:Inheritance_(object-oriented_programming) dbc:Formal_specification_languages dbc:Specification_languages dbr:Class_(computer_science) dbc:Object-oriented_programming dbr:Community_Z_Tools dbr:Language_construct dbr:Refinement_calculus dbr:Object-oriented dbr:Z++
dbp:date	2004-07-01 (xsd:date)
dbp:url	https://web.archive.org/web/20040701113340/http:/czt.sourceforge.net/
dbp:wikiPageUsesTemplate	dbt:Compu-lang-stub dbt:Authority_control dbt:Reflist dbt:Spoken_Wikipedia dbt:Use_dmy_dates dbt:Use_Australian_English dbt:Webarchive
dct:subject	dbc:University_of_Queensland dbc:Z_notation dbc:Formal_specification_languages dbc:Specification_languages dbc:Object-oriented_programming
gold:hypernym	dbr:Extension
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	Object-Z (en) Object-Z (es)
owl:sameAs	freebase:Object-Z http://d-nb.info/gnd/4640268-8 yago-res:Object-Z wikidata:Object-Z dbpedia-es:Object-Z dbpedia-global:Object-Z dbr:Object-Z
prov:wasDerivedFrom	wikipedia-en:Object-Z?oldid=1293973202&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Object-Z
is dbo:wikiPageRedirects of	dbr:Object_Z
is dbo:wikiPageWikiLink of	dbr:Z_notation dbr:Metaclass dbr:Community_Z_Tools dbr:Z++ dbr:Object_Z
is foaf:primaryTopic of	wikipedia-en:Object-Z