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/s00224−014−9595−z) 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

path(doi: 10.1007/s00224−014−9595−z). [BLS22] Udi Boker, Karoliina Lehtinen, and Salomon Sickert. On the translation of automata to lin- ear temporal logic. InInternational Conference on Foundations of Software Science and Computation Structures, pages 140–160. Springer International Publishing Cham,

Evidence payload

{
  "printed_excerpt": "path(doi: 10.1007/s00224\u2212014\u22129595\u2212z). [BLS22] Udi Boker, Karoliina Lehtinen, and Salomon Sickert. On the translation of automata to lin- ear temporal logic. InInternational Conference on Foundations of Software Science and Computation Struc",
  "reconstructed_doi": "10.1007/s00224\u2212014\u22129595\u2212z",
  "ref_index": 5,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}