An Existential Locality Theorem

Abstract We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures.

Authors

• Martin Grohe
• Stefan Wöhrle

Keywords

No keywords are indexed for this paper.