Disambiguation evidence for Hoare logic via surface form
"Hoare logic for C in Isabelle"
Triples (1)
Triples where some other subject referred to this entity
as "Hoare logic for C in Isabelle".
semantics of C in Isabelle/HOL
→
relatedTo
→
"Hoare logic for C in Isabelle"
ⓘ
↳ resolves to Hoare logic