An Existential Locality Theorem

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.

• Type: Conference
• Year: 2001
• Where: CSL
• Authors: Martin Grohe, Stefan Wöhrle
• Keywords: Automated Reasoning, CSL 2001, Existential Version, Existential first-order Sentences, Gaifman’s Locality Theorem