TY  - RPRT
TI  - Conjectural Decidability of the Skolem Problem
AU  - Florian Luca
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2026
UR  - https://arxiv.org/abs/2607.15510
ID  - 2607.15510
ER  -