Constant time testability of first-order logic with modulo counting on finitary graphs. - Isolde Adler; Jenny Stimpson (CoRR, 2026)