<http://dbpedia.org/resource/Weakest_precondition>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Weakest_precondition> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Weakest_precondition?oldid=386112236&ns=0> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"386112236"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Theoretical_computer_science> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageRedirects>	<http://dbpedia.org/resource/Predicate_transformer_semantics> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Formal_methods_terminology> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Logic_in_computer_science> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Predicate_transformer_semantics> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageID>	"4979408"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://dbpedia.org/ontology/wikiPageLength>	"167"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Theoretical_computer_science> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Formal_methods_terminology> .
<http://dbpedia.org/resource/Weakest_precondition>	<http://www.w3.org/2000/01/rdf-schema#label>	"Weakest precondition"@en .