{"id":"S85139126","label":"Type theory","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh85139126","normalized_label":"type theory","broader":["http://id.loc.gov/authorities/subjects/sh85078115"],"aliases":[],"source_identifier":"http://id.loc.gov/authorities/subjects/sh85139126","provider":"lcsh","revision":"af04f1f59b34a94a","taxonomy_revision":"f050b5d4780b1289","title":"Type theory","url":"/topics/S85139126","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"10090530469474353728","address_version":"morton4x16-v1","coordinates":[0,20,19578,55296],"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}