Unresolvable Identifier

arXiv:2605.07373 · detector doi_compliance · cross_source · 2026-05-19 11:53:05.291165+00:00

critical doi_compliance unresolvable_identifier

Identifier '10.1145/343369.3433785' 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

D. Kozen. On Hoare logic and Kleene algebra with tests. ACM Trans. Comput. Log. 2000. doi:10.1145/343369.3433785

Evidence payload

{
  "arxiv_id": null,
  "checked_sources": [
    "crossref_by_doi",
    "openalex_by_doi",
    "doi_org_head"
  ],
  "doi": "10.1145/343369.3433785",
  "raw_excerpt": "D. Kozen. On Hoare logic and Kleene algebra with tests. ACM Trans. Comput. Log. 2000. doi:10.1145/343369.3433785",
  "ref_index": 79,
  "verdict_class": "cross_source"
}