Disambiguation evidence for Hoare logic via surface form

"Hoare triple"

Triples (3)

Triples where some other subject referred to this entity as "Hoare triple".

Tony Hoare → notableIdea →
"Hoare triple"
↳ resolves to Hoare logic
ⓘ
An Axiomatic Basis for Computer Programming → usesNotation →
"Hoare triple"
↳ resolves to Hoare logic
ⓘ
An Axiomatic Basis for Computer Programming → defines →
"Hoare triple"
↳ resolves to Hoare logic
ⓘ