Harmonic type approximation lemmas

We give a survey of known and not known harmonic type approximation lemmas which are descendants of the classical De Giorgi's one, and we outline some of their recent or possible applications.