@misc{indiciae4d96546eb69d, title = {Constant time testability of first-order logic with modulo counting on finitary graphs}, author = {Isolde Adler and Jenny Stimpson}, year = {2026}, url = {https://arxiv.org/abs/2605.10841}, note = {Source identifier: 2605.10841} }