Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Weakest_precondition_calculus> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Weakest_precondition_calculus wikiPageID "35980766".
- Weakest_precondition_calculus wikiPageLength "45".
- Weakest_precondition_calculus wikiPageOutDegree "1".
- Weakest_precondition_calculus wikiPageRedirects Predicate_transformer_semantics.
- Weakest_precondition_calculus wikiPageRevisionID "495085072".
- Weakest_precondition_calculus wikiPageWikiLink Predicate_transformer_semantics.
- Weakest_precondition_calculus wikiPageWikiLinkText "Weakest precondition calculus".
- Weakest_precondition_calculus wikiPageWikiLinkText "predicate calculus".
- Weakest_precondition_calculus wikiPageWikiLinkText "weakest precondition calculus".
- Weakest_precondition_calculus label "Weakest precondition calculus".
- Weakest_precondition_calculus wasDerivedFrom Weakest_precondition_calculus?oldid=495085072.
- Weakest_precondition_calculus isPrimaryTopicOf Weakest_precondition_calculus.