A Machine-Oriented Logic Based on the Resolution Principle
The work
| Title | A Machine-Oriented Logic Based on the Resolution Principle |
|---|---|
| Authors | John A. Robinson |
| Type | article |
| Year | 1965 |
| Citekey | robinson1965machineoriented |
Where it appeared
| Published in | Journal of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 12 |
| Issue | 1 |
| Pages | 23--41 |
Identifiers
| DOI | 10.1145/321250.321253 |
|---|---|
| OpenAlex | W2100738443 |
Access
| Landing page | https://doi.org/10.1145/321250.321253 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/321250.321253 |
Copy held
| Kind | PDF, 1.1 MB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
| Where it came from | https://dl.acm.org/doi/pdf/10.1145/321250.321253 |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@article{robinson1965machineoriented,
title = {A Machine-Oriented Logic Based on the Resolution Principle},
author = {John A. Robinson},
year = {1965},
journal = {Journal of the ACM},
volume = {12},
number = {1},
pages = {23--41},
publisher = {Association for Computing Machinery},
doi = {10.1145/321250.321253},
url = {https://dl.acm.org/doi/pdf/10.1145/321250.321253},
}
This record lives at https://refs.drheap.org/robinson1965machineoriented/ and will keep doing so.