Pages that link to "Item:Q714500"

The following pages link to On the complexity of entailment in existential conjunctive first-order logic with atomic negation (Q714500):

Displaying 4 items.

• The complexity of equivalence, entailment, and minimization in existential positive logic (Q473196) (← links)
• The \(\exists\forall^2\) fragment of the first-order theory of atomic set constraints is \(\Pi_1^0\)-hard (Q1607043) (← links)
• Complexity of existential positive first-order logic (Q2843995) (← links)
• How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)