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
dctermshttp://purl.org/dc/terms/
n3http://dbkwik.webdatacommons.org/ontology/
n10http://dbkwik.webdatacommons.org/resource/r4R2vqrNmMgMU9A4PIgQFg==
n5http://dbkwik.webdatacommons.org/formalmethods/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://dbkwik.webdatacommons.org/resource/str0bhXpJrjCCC7j3SCCwQ==
n6http://dbkwik.webdatacommons.org/resource/I_IkjENMATCbxhVAh8jBGA==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://dbkwik.webdatacommons.org/resource/1xdzYtN5mj2ivMx2MtaSnA==
xsdhhttp://www.w3.org/2001/XMLSchema#
n9http://dbkwik.webdatacommons.org/greatc/property/
n8http://dbkwik.webdatacommons.org/resource/QzzjnlMn_M-T6G1oPNqkgw==
dbrhttp://dbpedia.org/resource/
n13http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==
Subject Item
n2:
rdfs:label
Operational semantics Operational Semantics
rdfs:comment
Operational semantics is a style of formal semantics↑ originally championed by Gordon Plotkin↑. The effect of the execution of the language is described directly rather than by translation.
owl:sameAs
dbr:Operational_semantics
dcterms:subject
n8: n14:
n5:wikiPageUsesTemplate
n6: n13:
n9:wikiPageUsesTemplate
n10:
n3:abstract
Operational semantics is a style of formal semantics↑ originally championed by Gordon Plotkin↑. The effect of the execution of the language is described directly rather than by translation.