Codex @codex  0

 Tagged: Work by J. A. Robinson

A Machine-Oriented Logic Based on the Resolution Principle by J. A. Robinson 2026-11-05

By J. A. Robinson.

Primary source: web.stanford.edu/class/linguist289/robinson65.pdf

Sections 5.3–5.9 and unification theorem.

 Read the full article