Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Weakest_precondition> ?p ?o }
Showing triples 1 to 21 of
21
with 100 triples per page.
- Weakest_precondition wikiPageID "4979408".
- Weakest_precondition wikiPageLength "167".
- Weakest_precondition wikiPageOutDegree "4".
- Weakest_precondition wikiPageRedirects Predicate_transformer_semantics.
- Weakest_precondition wikiPageRevisionID "386112236".
- Weakest_precondition wikiPageWikiLink Category:Formal_methods_terminology.
- Weakest_precondition wikiPageWikiLink Category:Logic_in_computer_science.
- Weakest_precondition wikiPageWikiLink Category:Theoretical_computer_science.
- Weakest_precondition wikiPageWikiLink Predicate_transformer_semantics.
- Weakest_precondition wikiPageWikiLinkText "Weakest precondition".
- Weakest_precondition wikiPageWikiLinkText "weakest precondition".
- Weakest_precondition subject Category:Formal_methods_terminology.
- Weakest_precondition subject Category:Logic_in_computer_science.
- Weakest_precondition subject Category:Theoretical_computer_science.
- Weakest_precondition type Area.
- Weakest_precondition type Area.
- Weakest_precondition type Method.
- Weakest_precondition label "Weakest precondition".
- Weakest_precondition sameAs m.052trm.
- Weakest_precondition wasDerivedFrom Weakest_precondition?oldid=386112236.
- Weakest_precondition isPrimaryTopicOf Weakest_precondition.