Unresolvable Identifier
critical
doi_compliance
unresolvable_identifier
Identifier '10.5555/271101.271124' 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
H. Zhang, Specifying Latin square problems in propositional logic, in: Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, Cambridge, MA, USA, 1997, p. 115–146. URL: https://dl.acm.org/doi/10.5555/271101.271124
Evidence payload
{
"arxiv_id": null,
"checked_sources": [
"crossref_by_doi",
"openalex_by_doi",
"doi_org_head"
],
"doi": "10.5555/271101.271124",
"raw_excerpt": "H. Zhang, Specifying Latin square problems in propositional logic, in: Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, Cambridge, MA, USA, 1997, p. 115\u2013146. URL: https://dl.acm.org/doi/10.5555/271101.271124",
"ref_index": 53,
"verdict_class": "cross_source"
}