JoshuaZ comments on Local truth

[JoshuaZ]

See here.

[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.