Weakest precondition

http://dbpedia.org/resource/Weakest_precondition

rdfs:label

rdf:langString Weakest precondition

dbpedia-owl:wikiPageID

xsd:integer 4979408

dbpedia-owl:wikiPageRevisionID

xsd:integer 386112236

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 167

dcterms:subject

dbpedia:Category:Formal_methods_terminology

dbpedia:Category:Logic_in_computer_science

dbpedia:Category:Theoretical_computer_science

dbpedia-owl:wikiPageWikiLink

dbpedia:Predicate_transformer_semantics

dbpedia:Category:Formal_methods_terminology

dbpedia:Category:Logic_in_computer_science

dbpedia:Category:Theoretical_computer_science

dbpedia-owl:wikiPageRedirects

dbpedia:Predicate_transformer_semantics

prov:wasDerivedFrom

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

foaf:isPrimaryTopicOf

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

data from the linked data cloud