This HTML5 document contains 10 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n10http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n5http://dbkwik.webdatacommons.org/resource/vpo8U_6mZY926pTAZBWjYg==
n2http://dbkwik.webdatacommons.org/resource/glVym8nFT3423uNdDpp_bA==
n3http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://dbkwik.webdatacommons.org/resource/mvcYsyoH811M24vJ-ZRHrw==
n9http://dbkwik.webdatacommons.org/resource/zsxcBnWaPQb17Bai2KZTbg==
owlhttp://www.w3.org/2002/07/owl#
n14http://dbkwik.webdatacommons.org/resource/O1ott6HoJFVeN_8BeffG_A==
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://dbkwik.webdatacommons.org/resource/qc-caBl5jXqnkpf9Wytzdw==
dbrhttp://dbpedia.org/resource/
n12http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
CZT
rdfs:comment
The CZT (Community Z Tools) project is developing tools for the Z notation using SourceForge↑.
owl:sameAs
dbr:Community_Z_Tools
dcterms:subject
n9: n11: n14:
n3:wikiPageUsesTemplate
n4: n5: n12:
n10:abstract
The CZT (Community Z Tools) project is developing tools for the Z notation using SourceForge↑.