Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3/Turtle
JSON
XML
CSV
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
About:
dbkwik:
resource/F_nbrKcGmlp-nv9XDPYtPA==
Property
Value
rdfs:
label
Abstract State Machines
owl:
sameAs
dbr:
Abstract_state_machines
dcterms:
subject
Abstract State Machines
Formal methods
dbkwik:
formalmethods/property/wikiPageUsesTemplate
dbkwik:
resource/6rtchO8QZOwb0xqq7pHkwQ==
dbkwik:
resource/I_IkjENMATCbxhVAh8jBGA==
dbkwik:
resource/xDD7XcahjnSN5RPpUwbyVw==
dbkwik:
resource/vpo8U_6mZY926pTAZBWjYg==