Status QIO: Conjunctive Query Entailment Is Decidable

Published: 01 Jan 2010, Last Modified: 14 Aug 2024KR 2010EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading