Disambiguation evidence for SLD-resolution via surface form

"SLD-resolution"

Triples (1)

Triples where some other subject referred to this entity as "SLD-resolution".

Robinson unification algorithm → relatedTo →
"SLD-resolution"
↳ resolves to SLD-resolution
ⓘ