About: Z notation

Property	Value
rdf:type	skos:Concept
rdfs:label	Z notation
skos:broader	dbpedia:Category:Oxford_University_Computing_Laboratory dbpedia:Category:Formal_methods dbpedia:Category:Logic_in_computer_science dbpedia:Category:Formal_specification_languages dbpedia:Category:Mathematical_notation
skos:prefLabel	Z notation
is skos:subject of	dbpedia:Zermelo–Fraenkel_set_theory dbpedia:Z_notation dbpedia:CICS dbpedia:Jean-Raymond_Abrial dbpedia:General_set_theory dbpedia:Mondex dbpedia:Object-Z dbpedia:Z++ dbpedia:Z_User_Group