Pages that link to "Item:Q5222982"

The following pages link to The Triguarded Fragment of First-Order Logic (Q5222982):

Displaying 2 items.

• (Q5092374) (← links)
• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)