Home ยป Finite entailment of Positive Horn logic

Solved.

On June 15th, 2020 Anonymous says:

Solved in LICS 2017 "Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries"

Reply

Comments are limited to a maximum of 1000 characters.
More information about formatting options