A note on Wronskians and the ABC theorem in function fields of prime characteristic Resolution of singularities of threefolds in positive characteristic. I: Reduction to local uniformization on Artin-Schreier and purely inseparable coverings 