Gunnar_Zarncke comments on Local truth

[Gunnar_Zarncke]

Thanks.

I know quantifier elimination from CS and it makes for some useful practical algorithms but it seems not to be very powerful.