{"work":{"id":"220b3208-915f-404a-bfb7-043b00d376f3","openalex_id":"https://openalex.org/W2129538349","doi":"10.1007/978-3-540-24730-2_15","arxiv_id":null,"raw_key":null,"title":"Springer Berlin Heidelberg, Berlin, 2004","authors":null,"authors_text":"Edmund Clarke, Daniel Kroening, and Flavio Lerda","year":2004,"venue":"Lecture notes in computer science","abstract":null,"external_url":"https://doi.org/10.1007/978-3-540-24730-2_15","cited_by_count":1389,"metadata_source":"openalex","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-16T19:58:22.233696+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":true,"display_title":"A Tool for Checking ANSI-C Pro- grams","render_title":"A Tool for Checking ANSI-C Pro- grams"},"hub":{"state":{"tier_text":"hub","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":5,"external_cited_by_count":1389},"tier":"hub","role_counts":[],"polarity_counts":[],"runs":{},"summary":{},"graph":{},"authors":[]}}