@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Weakest_liberal_precondition	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Weakest_liberal_precondition	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000048228dd> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Weakest_liberal_precondition	foaf:page	ns5:Weakest_liberal_precondition .
@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix ns7:	<http://dx.doi.org/10.1007/> .
dbpedia:Weakest_liberal_precondition	dbpprop:reference	ns7:BF01213603 .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Weakest_liberal_precondition	rdfs:label	"Weakest liberal precondition"@en ,
		"Precondici\u00F3n libre m\u00E1s d\u00E9bil"@es ;
	dbpprop:abstract	"La Precondici\u00F3n libre m\u00E1s d\u00E9bil (en ingl\u00E9s, \"weakest liberal precondition\", wlp) es una extensi\u00F3n del concepto de la precondici\u00F3n m\u00E1s d\u00E9bil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp garantiza que la terminaci\u00F3n, wlp no lo hace."@es ,
		"A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not."@en ;
	rdfs:comment	"A weakest liberal precondition (wlp) is an extension of the concept of weakest precondition by E. W. Dijkstra for proofs about computer programs. While wp guarantees termination wlp does not."@en ,
		"La Precondici\u00F3n libre m\u00E1s d\u00E9bil (en ingl\u00E9s, \"weakest liberal precondition\", wlp) es una extensi\u00F3n del concepto de la precondici\u00F3n m\u00E1s d\u00E9bil de E. W. Dijkstra para probar en programas de ordenador. Mientras wp garantiza que la terminaci\u00F3n, wlp no lo hace."@es .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:Weakest_liberal_precondition	skos:subject	ns10:Logic_in_computer_science ,
		ns10:Theoretical_computer_science ,
		ns10:Formal_methods .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Weakest_liberal_precondition	dbpprop:hasPhotoCollection	ns11:Weakest_liberal_precondition .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Weakest_liberal_precondition	owl:sameAs	dbpedia:Weakest_liberal_precondition .