Recoverable Identifier

arXiv:2604.26364 · detector doi_compliance · incontrovertible · 2026-05-19 20:13:15.428352+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3−540−12896−4) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

[VW84] M.Y. Vardi and P. Wolper. Yet Another Process Logic. InLP’83, LNCS 164, pages 501–512. Springer, 1984.path(doi: 10.1007/3−540−12896−4 383). [Wil01] Thomas Wilke. Alternating tree automata, parity games, and modal µ-calculus.Bulletin of the Belgian Mathematical Society-Simon Stevin, 8(2):359–391,

Evidence payload

{
  "printed_excerpt": "[VW84] M.Y. Vardi and P. Wolper. Yet Another Process Logic. InLP\u201983, LNCS 164, pages 501\u2013512. Springer, 1984.path(doi: 10.1007/3\u2212540\u221212896\u22124 383). [Wil01] Thomas Wilke. Alternating tree automata, parity games, and modal \u00b5-calculus.Bulletin ",
  "reconstructed_doi": "10.1007/3\u2212540\u221212896\u22124",
  "ref_index": 25,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}