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.1093/logcom/exv05960) 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

Eberhard, S., Hetzl, S., Weller, D.: Boolean unification with predicates. Journal of Logic and Computation27(1), 109–128 (2017) https://doi.org/10.1093/logcom/ exv059 60

Evidence payload

{
  "printed_excerpt": "Eberhard, S., Hetzl, S., Weller, D.: Boolean unification with predicates. Journal of Logic and Computation27(1), 109\u2013128 (2017) https://doi.org/10.1093/logcom/ exv059 60",
  "reconstructed_doi": "10.1093/logcom/exv05960",
  "ref_index": 41,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}