1965 ⟶ Resolution Method for Theorem Proving

J. Alan Robinson invented a mechanical proof procedure, the ...
Timelines Logo
Year
1965

➕ Resolution Method for Theorem Proving

J. Alan Robinson invented a mechanical proof procedure, the Resolution Method, which allowed programs to work efficiently with formal logic as a representation language.⟶
Resolution Method for Theorem Proving (1965)
Theorem ProvingResolution MethodJ. Alan RobinsonFormal LogicLogic ProgrammingRepresentation
United StatesUnited States
Resolution Method for Theorem Proving (1965)