English

English Français Italiano Português فارسی

EntityQ3459697· pop 5· linked from 23 articles

SLD resolution

Sign in to save

the basic inference rule used in logic programming

Wikidata facts

Instance of: rule of inference
Subclass of: resolution

via Wikidata · CC0

Available in 5 languages

via Wikidata sitelinks · CC0