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

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

PrefixNamespace IRI
n7http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n6http://dbkwik.webdatacommons.org/resource/HnkQrWdWwkJSEBBlMxt4DA==
n8http://dbkwik.webdatacommons.org/resource/yLgR34dUXlMUcpOvRtBREw==
n14http://dbkwik.webdatacommons.org/resource/GTbqo3zYEiY3LF-60GLOOg==
n12http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://dbkwik.webdatacommons.org/resource/R47S_mgMYRokLs0pjU-9Xg==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://dbkwik.webdatacommons.org/resource/mvcYsyoH811M24vJ-ZRHrw==
owlhttp://www.w3.org/2002/07/owl#
n15http://dbkwik.webdatacommons.org/resource/siC9-AZHG_3U1OXJPAE4NA==
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n11http://dbkwik.webdatacommons.org/resource/Cv5IiUWAjuvPDqsMjpB1jA==
n2http://dbkwik.webdatacommons.org/resource/hARfbfzL8VYrycF8uqrXCg==
n16http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
Jonathan Bowen
rdfs:comment
Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community. Jonathan Bowen is the Chair of BCS-FACS. He was formerly the Treasurer. Bowen is deputy head of the Centre for Software Engineering at Birmingham City University↑.
owl:sameAs
dbr:Jonathan_Bowen
dcterms:subject
n6: n8: n10: n11: n14: n15:
n12:wikiPageUsesTemplate
n13: n16:
n7:abstract
Prof. Jonathan P. Bowen set up this wiki↑ for use by the formal methods community. Jonathan Bowen is the Chair of BCS-FACS. He was formerly the Treasurer. Bowen is deputy head of the Centre for Software Engineering at Birmingham City University↑.