{"id":"S85010111","label":"Automatic theorem proving","description":"","source_url":"https://id.loc.gov/authorities/subjects/sh85010111","normalized_label":"automatic theorem proving","broader":["http://id.loc.gov/authorities/subjects/sh85008180","http://id.loc.gov/authorities/subjects/sh85107437"],"aliases":["Automated theorem proving","Theorem proving, Automated","Theorem proving, Automatic"],"source_identifier":"http://id.loc.gov/authorities/subjects/sh85010111","provider":"lcsh","revision":"02e276d7e3cd6d9e","taxonomy_revision":"f050b5d4780b1289","title":"Automatic theorem proving","url":"/topics/S85010111","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"10126497694844600896","address_version":"morton4x16-v1","coordinates":[0,20,17562,64512],"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}