Pages that link to "Item:Q420824"

The following pages link to Ordered completion for first-order logic programs on finite structures (Q420824):

Displaying 2 items.

• Ordered completion for logic programs with aggregates (Q892233) (← links)
• A progression semantics for first-order logic programs (Q1680677) (← links)