{"work":{"id":"57a87050-990f-408e-b289-34acdb120103","openalex_id":null,"doi":"10.1109/sfcs.1977.32","arxiv_id":null,"raw_key":null,"title":"The temporal logic of programs","authors":null,"authors_text":"A","year":1977,"venue":null,"abstract":null,"external_url":"https://doi.org/10.1109/sfcs.1977.32","cited_by_count":null,"metadata_source":"doi_reference","metadata_fetched_at":"2026-07-01T07:55:30.269191+00:00","pith_arxiv_id":null,"created_at":"2026-05-08T17:23:40.773897+00:00","updated_at":"2026-07-01T07:55:30.269191+00:00","title_quality_ok":false,"display_title":"18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977 , pages =","render_title":"18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977 , pages ="},"hub":{"state":{"work_id":"57a87050-990f-408e-b289-34acdb120103","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":22,"external_cited_by_count":null,"distinct_field_count":9,"first_pith_cited_at":"2019-06-29T09:37:34+00:00","last_pith_cited_at":"2026-06-25T19:42:39+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-07-04T04:56:34.184228+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":3}],"polarity_counts":[{"context_polarity":"background","n":3}],"runs":{},"summary":{},"graph":{},"authors":[]}}