TY  - RPRT
TI  - Mixed quantifier prefixes over Diophantine equations with integer variables
AU  - Zhi-Wei Sun
PY  - 2024
UR  - https://arxiv.org/abs/2103.08302
ID  - 2103.08302
ER  -