Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en computer program Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en rule Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en reason Source: English Wiktionary
en hoare triple (n)
― RelatedTo ⟶
Weight: 1.0
en hoare logic Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en correctness Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en formal Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en system Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en operation Source: English Wiktionary
en hoare logic (n)
― RelatedTo ⟶
Weight: 1.0
en hoare triple Source: English Wiktionary
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.