{"schema":"pith.reference-change-event.v1","doi":"10.1007/978-3-031-55368-4","canonical_url":"https://pith.science/event/10.1007/978-3-031-55368-4","json_url":"https://pith.science/event/10.1007/978-3-031-55368-4.json","not_a_judgment":"This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.","primary":{"event_id":324190,"doi":"10.1007/978-3-031-55368-4","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2025-10-28","title":"Correction to: An Invitation to Mathematical Logic","work_title":"org/10.1007/978-3-031-55368-4","work_doi":"10.1007/978-3-031-55368-4","work_arxiv_id":null,"notice_doi":"10.1007/978-3-031-55368-4_17","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/978-3-031-55368-4","json_href":"/event/10.1007/978-3-031-55368-4.json"},"events":[{"event_id":324190,"doi":"10.1007/978-3-031-55368-4","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2025-10-28","title":"Correction to: An Invitation to Mathematical Logic","work_title":"org/10.1007/978-3-031-55368-4","work_doi":"10.1007/978-3-031-55368-4","work_arxiv_id":null,"notice_doi":"10.1007/978-3-031-55368-4_17","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/978-3-031-55368-4","json_href":"/event/10.1007/978-3-031-55368-4.json"}],"flags":[{"id":7778,"status":"open","status_label":"Open","citing_arxiv_id":"2607.05126","citing_title":"Towards Quantifier-Free Interpolation in Array Languages with Unbounded Data Specifications","ref_index":6,"evidence_raw":"URL: https://doi. org/10.1007/978-3-031-55368-4. [DDMW19] Andrei Damian, Cezara Dr˘ agoi, Alexandru Militaru, and Josef Widder. Communication- Closed Asynchronous Protocols. InCAV 2019, pages 344–363, July","evidence_cleaned":null,"evidence_source_label":"bibliography line","event_type":"correction","event_type_label":"Correction","source_label":"Crossref","event_date":"2025-10-28","work_title":"org/10.1007/978-3-031-55368-4","work_doi":"10.1007/978-3-031-55368-4","event_doi":"10.1007/978-3-031-55368-4","flag_href":"/flags/7778","event_href":"/event/10.1007/978-3-031-55368-4","paper_href":"/paper/2607.05126","created_at":"2026-07-12T06:30:07.994216Z","dispute_note":null,"disputed_at":null,"disputed_by":null}],"flag_count":1,"flags_open":1,"flags_disputed":0,"desk_url":"https://pith.science/flags"}