We derive an Itō-formula for the Dawson–Watanabe superprocess, a well-known class of measure-valued processes, extending classical with respect to two aspects. Firstly, we extend state–space underlying process ( X t ) ∈ [ 0 , T ] infinite-dimensional one — space finite measure. Secondly, formula functions F depending on entire paths = s ∧ up times . This later extension is usually called functi...