Used together with:
decid
(1)
conjunct
(1)
entail
(1)
queri
(1)
status
(1)
Stem
qio$ (
all stems
)
1 papers:
KR-2010-GlimmR
#decidability
#query
Status QIO: Conjunctive Query Entailment Is Decidable (
BG
,
SR
).
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.