Recoverable Identifier

arXiv:2605.15827 · detector doi_compliance · incontrovertible · 2026-05-19 18:21:41.980183+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/1016969) 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

Beothy-Elo, E.: Effective quantifier-based reasoning for quantitative deductive ver- ification. MA thesis, RWTH Aachen University, Aachen (2025).https://doi.org/ 10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/ 1016969

Evidence payload

{
  "printed_excerpt": "Beothy-Elo, E.: Effective quantifier-based reasoning for quantitative deductive ver- ification. MA thesis, RWTH Aachen University, Aachen (2025).https://doi.org/ 10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/ 1016969",
  "reconstructed_doi": "10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/1016969",
  "ref_index": 22,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}