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

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

PrefixNamespace IRI
n11http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n7http://dbkwik.webdatacommons.org/resource/vpo8U_6mZY926pTAZBWjYg==
n5http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://dbkwik.webdatacommons.org/resource/8iisIipJf0yPpJAkBfgtIw==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://dbkwik.webdatacommons.org/resource/mvcYsyoH811M24vJ-ZRHrw==
owlhttp://www.w3.org/2002/07/owl#
n10http://dbkwik.webdatacommons.org/resource/siC9-AZHG_3U1OXJPAE4NA==
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n2http://dbkwik.webdatacommons.org/resource/hDXt3lic6B_GApoBQkuF5w==
Subject Item
n2:
rdfs:label
Formal Aspects of Computing
rdfs:comment
Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group.
owl:sameAs
dbr:Formal_Aspects_of_Computing
dcterms:subject
n10: n12:
n5:wikiPageUsesTemplate
n6: n7:
n11:abstract
Formal Aspects of Computing is a leading journal on formal methods. It is associated with the BCS-FACS Specialist Group.