Quantifiziererelimination für ungefähre Beals-Kartashova-Faktorisierung