{"work":{"id":"f009afaf-7a34-4f40-ad17-58b6816abd92","openalex_id":"https://openalex.org/W1480909796","doi":"10.1007/978-3-540-78800-3_24","arxiv_id":null,"raw_key":null,"title":"Tools and","authors":null,"authors_text":"Z3:","year":2008,"venue":"Lecture notes in computer science","abstract":null,"external_url":"https://doi.org/10.1007/978-3-540-78800-3_24","cited_by_count":6309,"metadata_source":"openalex","metadata_fetched_at":"2026-08-05T02:28:24.338817+00:00","pith_arxiv_id":null,"created_at":"2026-05-08T22:19:17.905288+00:00","updated_at":"2026-08-05T02:28:24.338817+00:00","title_quality_ok":false,"display_title":"Z3: An Efficient SMT Solver","render_title":"Z3: An Efficient SMT Solver"},"hub":{"state":{"work_id":"f009afaf-7a34-4f40-ad17-58b6816abd92","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":25,"external_cited_by_count":6309,"distinct_field_count":7,"first_pith_cited_at":"2019-07-09T06:02:42+00:00","last_pith_cited_at":"2026-07-02T05:44:10+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-08-23T12:59:33.418652+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"method","n":2},{"context_role":"dataset","n":1}],"polarity_counts":[{"context_polarity":"use_method","n":2},{"context_polarity":"use_dataset","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}