A Machine-Oriented Logic Based on the Resolution Principle

Robinson, J. A. (1965). A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, 23-41.

Type

Journal article

Intellectual base

Primary research

Year

1965

DOI

10.1145/321250.321253

Link

https://doi.org/10.1145/321250.321253

Cited by

1 citation across 1 artifact.

Domain-specific

• Literal (Mathematical Logic)
  • Robinson's resolution principle exploits complementary literals as the cancellation interface for mechanized deduction.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:528e0f4315c3 · see in the full table