Constant time testability of first-order logic with modulo counting on finitary graphs

Isolde Adler, Jenny Stimpson

This paper studies algorithmic meta theorems for property testing with \emph{constant running time} in the bounded degree model. In (Adler, Harwath 2018) it was shown that on graph…