The aim of this paper is to prove that an algebraic variety over a field can be desingularized locally along a valuation after a purely inseparable alteration. Zariski was first to study the problem of desingularizing algebraic varieties along valuations. He called this problem local uniformization of valuations and observed that it should be considered as the local part of the desingularizatio...