Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Weakest_precondition> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Weakest_precondition wikiPageID "4979408".
- Weakest_precondition wikiPageRedirects Predicate_transformer_semantics.
- Weakest_precondition wikiPageRevisionID "386112236".
- Weakest_precondition subject Category:Formal_methods_terminology.
- Weakest_precondition subject Category:Logic_in_computer_science.
- Weakest_precondition subject Category:Theoretical_computer_science.
- Weakest_precondition label "Weakest precondition".
- Weakest_precondition sameAs m.052trm.
- Weakest_precondition wasDerivedFrom Weakest_precondition?oldid=386112236.
- Weakest_precondition isPrimaryTopicOf Weakest_precondition.