Approximating Entanglement Based on Abstract Interpretation. - Aske Nord Raahauge; Martin Bom Marchioro; Rasmus Ross Nylandsted (CoRR, 2025)