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

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

PrefixNamespace IRI
n6http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n8http://dbkwik.webdatacommons.org/resource/KsJnD8AvD7sa_TMELGc_dQ==
n7http://dbkwik.webdatacommons.org/resource/Cl_PIbdHb7-qXjAmFqrHMA==
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n2http://dbkwik.webdatacommons.org/resource/dydpxqP84UZjlQOzUh-hhQ==
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==
Subject Item
n7:
n6:wikiPageDisambiguates
n2:
Subject Item
n2:
rdfs:label
FM conference
rdfs:comment
The FM conference (formerly known as FME), the International Symposium on Formal Methods, is the leading international conference on formal methods, organized by Formal Methods Europe and held approximately every 18 months.
dcterms:subject
n4: n8:
n6:abstract
The FM conference (formerly known as FME), the International Symposium on Formal Methods, is the leading international conference on formal methods, organized by Formal Methods Europe and held approximately every 18 months.