TY - RPRT TI - Approximating Entanglement Based on Abstract Interpretation AU - Aske Nord Raahauge AU - Martin Bom Marchioro AU - Rasmus Ross Nylandsted PY - 2025 UR - https://arxiv.org/abs/2508.10056 ID - 2508.10056 ER -