{"id":"S2006001440","label":"Parallel programs (Computer programs)--Verification","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh2006001440","normalized_label":"parallel programs (computer programs)--verification","broader":[],"aliases":["Parallel program verification","Verification of parallel programs"],"source_identifier":"http://id.loc.gov/authorities/subjects/sh2006001440","provider":"lcsh","revision":"1eee27bd73119f45","taxonomy_revision":"f050b5d4780b1289","title":"Parallel programs (Computer programs)--Verification","url":"/topics/S2006001440","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"9511606821287519776","address_version":"morton4x16-v1","coordinates":[0,478,17564,32768],"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}