The following pages link to (Q4414546):
Displayed 3 items.
- A theoretical framework for knowledge-based entity resolution (Q402127) (← links)
- Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons (Q506166) (← links)
- On the complexity of entailment in existential conjunctive first-order logic with atomic negation (Q714500) (← links)