Unresolvable Identifier

arXiv:2605.16820 · detector doi_compliance · cross_source · 2026-05-20 20:02:42.851599+00:00

critical doi_compliance unresolvable_identifier

Identifier '10.5555/165446.165450' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.

Paper page Integrity report arXiv Try DOI

Evidence text

Manzano, M.: Introduction to many-sorted logic. In: Many-sorted logic and its applications, pp. 3–86. John Wiley & Sons, Inc., New York, NY, USA (1993), https://dl.acm.org/doi/10.5555/165446.165450, ISBN 0-471-93485-2

Evidence payload

{
  "arxiv_id": null,
  "checked_sources": [
    "crossref_by_doi",
    "openalex_by_doi",
    "doi_org_head"
  ],
  "doi": "10.5555/165446.165450",
  "raw_excerpt": "Manzano, M.: Introduction to many-sorted logic. In: Many-sorted logic and its applications, pp. 3\u201386. John Wiley & Sons, Inc., New York, NY, USA (1993), https://dl.acm.org/doi/10.5555/165446.165450, ISBN 0-471-93485-2",
  "ref_index": 22,
  "verdict_class": "cross_source"
}