A Machine-Oriented Logic Based on the Resolution Principle

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:academic_journal
gptkbp:author gptkb:John_Alan_Robinson
gptkbp:citation highly cited
gptkbp:contribution introduction of the resolution principle
gptkbp:doi 10.1145/321250.321253
gptkbp:field gptkb:artificial_intelligence
gptkb:logic
automated theorem proving
https://www.w3.org/2000/01/rdf-schema#label A Machine-Oriented Logic Based on the Resolution Principle
gptkbp:impact foundational work in automated reasoning
gptkbp:language English
gptkbp:publicationYear 1965
gptkbp:publishedIn gptkb:Journal_of_the_ACM
gptkbp:bfsParent gptkb:John_Alan_Robinson
gptkbp:bfsLayer 7