  This article studies the zeros of Dedekind zeta functions. In particular, we
establish a smooth explicit formula for these zeros and we derive an effective
version of the Deuring-Heilbronn phenomenon. In addition, we obtain an explicit
bound for the number of zeros in a box.
