Pages that link to "Item:Q1092679"

The following pages link to Domain-independent formulas and databases (Q1092679):

Displaying 4 items.

• Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
• Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
• Domain-independent queries on databases with external functions (Q1389449) (← links)
• (Q5079729) (← links)