{"id":"S85029525","label":"Computer programs--Correctness","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh85029525","normalized_label":"computer programs--correctness","broader":["http://id.loc.gov/authorities/subjects/sh85036145","http://id.loc.gov/authorities/subjects/sh85078115"],"aliases":["Correctness of computer programs","Program correctness (Computer science)"],"source_identifier":"http://id.loc.gov/authorities/subjects/sh85029525","provider":"lcsh","revision":"af43a3bc9c4f5f45","taxonomy_revision":"f050b5d4780b1289","title":"Computer programs--Correctness","url":"/topics/S85029525","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"866956140729221696","address_version":"morton4x16-v1","coordinates":[0,20,17866,21504],"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}