Recoverable Identifier

arXiv:2604.26400 · detector doi_compliance · incontrovertible · 2026-05-19 20:11:48.589342+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-7091-9459-1_20.21) 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

Volker Weispfenning. A new approach to quantifier elimination for real algebra. In B. F. Caviness and J. R. Johnson, editors,Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pages 376–392. Springer, 1998. doi:10.1007/978-3-7091-9459- 1_20. 21

Evidence payload

{
  "printed_excerpt": "Volker Weispfenning. A new approach to quantifier elimination for real algebra. In B. F. Caviness and J. R. Johnson, editors,Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pages",
  "reconstructed_doi": "10.1007/978-3-7091-9459-1_20.21",
  "ref_index": 42,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}