Key points are not available for this paper at this time.
We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.
Federico Bongiorno (Wed,) studied this question.