A Machine-Oriented Logic Based on the Resolution Principle

The work

AuthorsJohn A. Robinson
Editors
Typearticle
Year1965
Citekeyrobinson1965machineoriented

Where it appeared

Published inJournal of the ACM
PublisherAssociation for Computing Machinery
Volume12
Issue1
Pages23--41

Identifiers

DOI10.1145/321250.321253
OpenAlexW2100738443

Access

Landing pagehttps://doi.org/10.1145/321250.321253
Free full texthttps://dl.acm.org/doi/pdf/10.1145/321250.321253

Empty on purpose

abstract

A copy is held

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

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-08 04:04 UTC

Filed under

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

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},
  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.