TY  - RPRT
TI  - A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
AU  - Steffen van Bergerem
AU  - Martin Grohe
AU  - Charlotte Lenz
AU  - Nicole Schweikardt
PY  - 2026
UR  - https://arxiv.org/abs/2609.37337
ID  - 2609.37337
ER  -