Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1375924> ?p ?o }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Q1375924 subject Q8156089.
- Q1375924 subject Q8795311.
- Q1375924 subject Q8816919.
- Q1375924 abstract "Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.".
- Q1375924 wikiPageExternalLink index.php?language=en.
- Q1375924 wikiPageExternalLink specsoft.
- Q1375924 wikiPageExternalLink hoare.
- Q1375924 wikiPageWikiLink Q1068763.
- Q1375924 wikiPageWikiLink Q1120460.
- Q1375924 wikiPageWikiLink Q1166618.
- Q1375924 wikiPageWikiLink Q118155.
- Q1375924 wikiPageWikiLink Q1189746.
- Q1375924 wikiPageWikiLink Q1200691.
- Q1375924 wikiPageWikiLink Q12503.
- Q1375924 wikiPageWikiLink Q127046.
- Q1375924 wikiPageWikiLink Q1329550.
- Q1375924 wikiPageWikiLink Q1413450.
- Q1375924 wikiPageWikiLink Q1414548.
- Q1375924 wikiPageWikiLink Q1475294.
- Q1375924 wikiPageWikiLink Q1522579.
- Q1375924 wikiPageWikiLink Q173326.
- Q1375924 wikiPageWikiLink Q1771121.
- Q1375924 wikiPageWikiLink Q17736.
- Q1375924 wikiPageWikiLink Q1791410.
- Q1375924 wikiPageWikiLink Q185092.
- Q1375924 wikiPageWikiLink Q190686.
- Q1375924 wikiPageWikiLink Q2238838.
- Q1375924 wikiPageWikiLink Q275596.
- Q1375924 wikiPageWikiLink Q291929.
- Q1375924 wikiPageWikiLink Q3257964.
- Q1375924 wikiPageWikiLink Q338021.
- Q1375924 wikiPageWikiLink Q35148.
- Q1375924 wikiPageWikiLink Q360690.
- Q1375924 wikiPageWikiLink Q360812.
- Q1375924 wikiPageWikiLink Q369377.
- Q1375924 wikiPageWikiLink Q3836453.
- Q1375924 wikiPageWikiLink Q6382043.
- Q1375924 wikiPageWikiLink Q649732.
- Q1375924 wikiPageWikiLink Q6675865.
- Q1375924 wikiPageWikiLink Q7307205.
- Q1375924 wikiPageWikiLink Q741248.
- Q1375924 wikiPageWikiLink Q7702793.
- Q1375924 wikiPageWikiLink Q813911.
- Q1375924 wikiPageWikiLink Q8156089.
- Q1375924 wikiPageWikiLink Q8556.
- Q1375924 wikiPageWikiLink Q8795311.
- Q1375924 wikiPageWikiLink Q8816919.
- Q1375924 wikiPageWikiLink Q92602.
- Q1375924 wikiPageWikiLink Q92641.
- Q1375924 wikiPageWikiLink Q935944.
- Q1375924 type Thing.
- Q1375924 comment "Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.".
- Q1375924 label "Hoare logic".