TY  - RPRT
TI  - Prime Factorization in Models of PV$_1$
AU  - Ondřej Ježil
PY  - 2026
DO  - 10.46298/lmcs-22(2:1)2026
UR  - https://arxiv.org/abs/2505.14516
ID  - 2505.14516
ER  -