Safety and Liveness Properties

http://dbpedia.org/resource/Safety_and_Liveness_Properties

rdfs:label

rdf:langString Safety and Liveness Properties

dbpedia-owl:wikiPageID

xsd:integer 71871151

dbpedia-owl:wikiPageRevisionID

xsd:integer 1113029217

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 91

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Safety_and_liveness_properties>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Safety_and_liveness_properties>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_from_move>

<http://dbpedia.org/resource/Template:Redirect_category_shell>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Safety_and_Liveness_Properties?oldid=1113029217&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Safety_and_Liveness_Properties>

data from the linked data cloud