Recoverable Identifier

arXiv:2605.02113 · detector doi_compliance · incontrovertible · 2026-05-19 16:39:51.109909+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.tcs.2005.06.002appliedSemantics) 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

Michael Abbott, Thorsten Altenkirch, and Neil Ghani. 2005. Contain- ers: Constructing strictly positive types.Theoretical Computer Science 342, 1 (2005), 3 – 27. doi:10.1016/j.tcs.2005.06.002Applied Semantics: Selected Topics

Evidence payload

{
  "printed_excerpt": "Michael Abbott, Thorsten Altenkirch, and Neil Ghani. 2005. Contain- ers: Constructing strictly positive types.Theoretical Computer Science 342, 1 (2005), 3 \u2013 27. doi:10.1016/j.tcs.2005.06.002Applied Semantics: Selected Topics",
  "reconstructed_doi": "10.1016/j.tcs.2005.06.002appliedSemantics",
  "ref_index": 1,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}