Recoverable Identifier

arXiv:2604.27939 · detector doi_compliance · incontrovertible · 2026-05-19 18:45:27.563858+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-24771-513) 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

Goranko, V., Hustadt, U., Schmidt, R.A., Vakarelov, D.: SCAN is complete for all Sahlqvist formulae. In: Berghammer, R., M¨ oller, B., Struth, G. (eds.) Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7). Lecture Notes in Computer Science, vol. 3051, pp. 149–162. Springer, Berlin, Heidelberg (2003). https://doi.org/10.1007/978-3-540-24771-5 13

Evidence payload

{
  "printed_excerpt": "Goranko, V., Hustadt, U., Schmidt, R.A., Vakarelov, D.: SCAN is complete for all Sahlqvist formulae. In: Berghammer, R., M\u00a8 oller, B., Struth, G. (eds.) Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7). Lecture Notes ",
  "reconstructed_doi": "10.1007/978-3-540-24771-513",
  "ref_index": 4,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}