bn:00291640n
Noun Named Entity
ES
sld resolución
EN
SLD resolution is the basic inference rule used in logic programming. Wikipedia
Relations
Sources
Wikipedia Translations