The first term of this spectral sequence gives a unified cohomological approach to various notions and statements, including the Lagrangian formalism with constraints, conservation laws, cosymmetries, the Noether theorem, and the Helmholtz criterion in the inverse problem of the calculus of variations (for arbitrary nonlinear differential operators).