{"id":"S99003622","label":"Formal methods (Computer science)","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh99003622","normalized_label":"formal methods (computer science)","broader":["http://id.loc.gov/authorities/subjects/sh85131736"],"aliases":[],"source_identifier":"http://id.loc.gov/authorities/subjects/sh99003622","provider":"lcsh","revision":"bdad543b91c51a27","taxonomy_revision":"f050b5d4780b1289","title":"Formal methods (Computer science)","url":"/topics/S99003622","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"13838647137191461478","address_version":"morton4x16-v1","coordinates":[0,23,39603,38912],"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}