{"id":"S2005007311","label":"Hoare logic","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh2005007311","normalized_label":"hoare logic","broader":["http://id.loc.gov/authorities/subjects/sh85078115"],"aliases":["Hoare's logic"],"source_identifier":"http://id.loc.gov/authorities/subjects/sh2005007311","provider":"lcsh","revision":"090c78023a66e023","taxonomy_revision":"f050b5d4780b1289","title":"Hoare logic","url":"/topics/S2005007311","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"38434830823876196","address_version":"morton4x16-v1","coordinates":[0,478,2031,15360],"answer_status":"Directory metadata; local answer requires separate source review","truth_status":"Subject descriptor, not a factual answer or a demonstrated knowledge gap","reviewed_answer":null}