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.1016/0022−0000(79) 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

[FL79] M.J. Fischer and R.E. Ladner. Propositional Dynamic Logic of Regular Programs.JCSS, 18(2):194–211, 1979.path(doi: 10.1016/0022−0000(79)90046−1). [Flu85] J. Flum. Characterizing Logics. InModel-Theoretic Logics, pages 77–120. Springer,

Evidence payload

{
  "printed_excerpt": "[FL79] M.J. Fischer and R.E. Ladner. Propositional Dynamic Logic of Regular Programs.JCSS, 18(2):194\u2013211, 1979.path(doi: 10.1016/0022\u22120000(79)90046\u22121). [Flu85] J. Flum. Characterizing Logics. InModel-Theoretic Logics, pages 77\u2013120. Springer",
  "reconstructed_doi": "10.1016/0022\u22120000(79",
  "ref_index": 12,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}