A Machine-Oriented Logic Based on the Resolution Principle

Authors	John A. Robinson
Editors
Type	article
Year	1965
Citekey	`robinson1965machineoriented`

Published in	Journal of the ACM
Publisher	Association for Computing Machinery
Volume	12
Issue	1
Pages	23--41

DOI	10.1145/321250.321253
OpenAlex	W2100738443

Landing page	https://doi.org/10.1145/321250.321253
Free full text	https://dl.acm.org/doi/pdf/10.1145/321250.321253

Abstract	Empty on purpose for a third reason, which an earlier note on this record established and could not file. The abstract is printed. Leaf 1 carries a labelled "Abstract." of two paragraphs. So this is not a record where the venue printed none, and settling it as though it were would be false. But the copy cannot support a faithful transcription. The scan's OCR is poor and its right-hand edge is worse; read as an image, words at the ends of lines cannot be settled by eye. One phrase renders as "a discussion of several search principles (called search principles)", which is plainly a lost word rather than what Robinson wrote. Transcribing under those conditions would put a guess in a field that reads as a quotation. The earlier note recorded this and observed that the state "is neither of the two the corpus can express" -- since `abstract_absent` asserts the page printed none. That was true of the older flag; a settle reason is free text and can say what is actually the case, which is what this one does. So the field is empty deliberately, and it should not be filled from this copy. What would fill it is a better scan or the printed Journal of the ACM 12(1) page, not more effort against this file. Recorded so the queue stops asking and so nobody transcribes the damaged text in good faith.

Abstract

Empty on purpose for a third reason, which an earlier note on this record established and could not file. **The abstract is printed.** Leaf 1 carries a labelled "Abstract." of two paragraphs. So this is not a record where the venue printed none, and settling it as though it were would be false. **But the copy cannot support a faithful transcription.** The scan's OCR is poor and its right-hand edge is worse; read as an image, words at the ends of lines cannot be settled by eye. One phrase renders as "a discussion of several search principles (called search principles)", which is plainly a lost word rather than what Robinson wrote. Transcribing under those conditions would put a guess in a field that reads as a quotation. The earlier note recorded this and observed that the state "is neither of the two the corpus can express" -- since `abstract_absent` asserts the page printed none. That was true of the older flag; a settle reason is free text and can say what is actually the case, which is what this one does. **So the field is empty deliberately, and it should not be filled from this copy.** What would fill it is a better scan or the printed *Journal of the ACM* 12(1) page, not more effort against this file. Recorded so the queue stops asking and so nobody transcribes the damaged text in good faith.

pdf, 1.1 MB. Not published — it may be under copyright. The facts and links here are.

How it got here	agent via openalex
Added	2026-08-04 00:00 UTC
Approved by	a person 2026-08-08 04:04 UTC

jacm who-is-the-logic-for who-paid-for-the-foundations

@article{robinson1965machineoriented,
  title        = {A Machine-Oriented Logic Based on the Resolution Principle},
  author       = {John A. Robinson},
  year         = {1965},
  journal      = {Journal of the ACM},
  publisher    = {Association for Computing Machinery},
  volume       = {12},
  number       = {1},
  pages        = {23--41},
  doi          = {10.1145/321250.321253},
}

This record lives at https://refs.drheap.org/robinson1965machineoriented/ and will keep doing so.

A Machine-Oriented Logic Based on the Resolution Principle

The work

Where it appeared

Identifiers

Access

Settled

A copy is held

How it got here

Filed under

Cite it as