TY - RPRT TI - Polynomial-time Tractable Problems over the $p$-adic Numbers AU - Arno Fehm AU - Manuel Bodirsky PY - 2025 UR - https://arxiv.org/abs/2504.13536 ID - 2504.13536 ER -