@misc{indiciae0e6da9899949,
  title = {Model checking in finite fields and finite groups},
  author = {Samuel Braunfeld},
  year = {2026},
  url = {https://arxiv.org/abs/2606.25088},
  note = {Source identifier: 2606.25088}
}