{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"description":"establishment of a theorem using inference from the axioms","works_count":9000,"cited_by_count":24796,"summary_stats":null,"ids":{"openalex":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","mag":null,"wikipedia":"https://en.wikipedia.org/wiki/formal_proof","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:94461902","updated_date":"2026-08-07T04:03:13","created_date":"2016-06-24T00:00:00"}