Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Weakest precondition
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Weakest_precondition
http://dbpedia.org/ontology/wikiPageID 4979408
http://dbpedia.org/ontology/wikiPageLength 167
http://dbpedia.org/ontology/wikiPageRedirects http://dbpedia.org/resource/Predicate_transformer_semantics +
http://dbpedia.org/ontology/wikiPageRevisionID 386112236
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/Category:Theoretical_computer_science + , http://dbpedia.org/resource/Category:Logic_in_computer_science + , http://dbpedia.org/resource/Category:Formal_methods_terminology + , http://dbpedia.org/resource/Predicate_transformer_semantics +
http://purl.org/dc/terms/subject http://dbpedia.org/resource/Category:Theoretical_computer_science + , http://dbpedia.org/resource/Category:Formal_methods_terminology + , http://dbpedia.org/resource/Category:Logic_in_computer_science +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Weakest_precondition?oldid=386112236&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/Weakest_precondition +
owl:sameAs http://dbpedia.org/resource/Weakest_precondition +
rdfs:label Weakest precondition
hide properties that link here 
http://dbpedia.org/resource/WP + http://dbpedia.org/ontology/wikiPageDisambiguates
http://dbpedia.org/resource/WP + , http://dbpedia.org/resource/Static_program_analysis + , http://dbpedia.org/resource/KeY + http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Weakest_precondition + http://xmlns.com/foaf/0.1/primaryTopic
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fdbpedia.org-2Fresource-2FWeakest_precondition"