{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"description":"subfield of automated reasoning dealing with proving theorems by computer programs","works_count":20514,"cited_by_count":181300,"summary_stats":null,"ids":{"openalex":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","mag":null,"wikipedia":"https://en.wikipedia.org/wiki/automated_theorem_proving","umls_aui":null,"umls_cui":null},"image_url":null,"image_thumbnail_url":null,"international":{},"ancestors":null,"related_concepts":null,"counts_by_year":null,"works_api_url":"https://api.openalex.org/works?filter=concepts.id:206880738","updated_date":"2026-04-05T04:03:33","created_date":"2016-06-24T00:00:00"}