Cauchy–Kovalevskaya theorem

GPTKB entity