TY  - RPRT
TI  - Constant time testability of first-order logic with modulo counting on finitary graphs
AU  - Isolde Adler
AU  - Jenny Stimpson
PY  - 2026
UR  - https://arxiv.org/abs/2605.10841
ID  - 2605.10841
ER  -