@misc{indiciae5d4740b8d946,
  title = {A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures},
  author = {Steffen van Bergerem and Martin Grohe and Charlotte Lenz and Nicole Schweikardt},
  year = {2026},
  url = {https://arxiv.org/abs/2609.37337},
  note = {Source identifier: 2609.37337}
}