Pages that link to "Item:Q3012933"
From MaRDI portal
The following pages link to Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933):
Displaying 3 items.
The following pages link to Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933):
Displaying 3 items.