Disambiguation evidence for Kripke–Kleene semantics in logic programming via surface form
"Kripke–Kleene semantics in logic programming"
Triples (1)
Triples where some other subject referred to this entity
as "Kripke–Kleene semantics in logic programming".
Melvin Fitting
→
knownFor
→
"Kripke–Kleene semantics in logic programming"
ⓘ
↳ resolves to Kripke–Kleene semantics in logic programming