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

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

PrefixNamespace IRI
n8http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n11http://dbkwik.webdatacommons.org/resource/vpo8U_6mZY926pTAZBWjYg==
n9http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://dbkwik.webdatacommons.org/resource/mvcYsyoH811M24vJ-ZRHrw==
owlhttp://www.w3.org/2002/07/owl#
n13http://dbkwik.webdatacommons.org/resource/IOl3kzusq12Xl_cdOX-4IQ==
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n2http://dbkwik.webdatacommons.org/resource/1zy5lfCG-PH-hHni_Ggzig==
n12http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
n7http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==
Subject Item
n2:
rdfs:label
Formal Methods Europe
rdfs:comment
Formal Methods Europe (FME) is the leading international organization concerned with formal methods. It organizes the FM conference (formerly the FME conference), approximately every 18 months.
owl:sameAs
dbr:Formal_Methods_Europe
dcterms:subject
n7: n13:
n9:wikiPageUsesTemplate
n10: n11: n12:
n8:abstract
Formal Methods Europe (FME) is the leading international organization concerned with formal methods. It organizes the FM conference (formerly the FME conference), approximately every 18 months.