Citation notice #7778 · 2026-07-12 06:30:07.994216+00:00

Towards Quantifier-Free Interpolation in Array Languages with Unbounded Data Specifications

Correction Crossref Open

cites org/10.1007/978-3-031-55368-4, which carries a correction notice dated 2025-10-28. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 6

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

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/978-3-031-55368-4
Notice DOI: 10.1007/978-3-031-55368-4_17
Date: 2025-10-28
Title: Correction to: An Invitation to Mathematical Logic
Reasons: ['Correction']
Work: org/10.1007/978-3-031-55368-4 (2019) Graduate texts in mathematics

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.