  It is well-known that the winning region of a parity game with $n$ nodes and
$k$ priorities can be computed as a $k$-nested fixpoint of a suitable function;
straightforward computation of this nested fixpoint requires
$\mathcal{O}(n^{\frac{k}{2}})$ iterations of the function. Calude et al.'s
recent quasipolynomial-time parity game solving algorithm essentially shows how
to compute the same fixpoint in only quasipolynomially many iterations by
reducing parity games to quasipolynomially sized safety games. Universal graphs
have been used to modularize this transformation of parity games to equivalent
safety games that are obtained by combining the original game with a universal
graph. We show that this approach naturally generalizes to the computation of
solutions of systems of \emph{any} fixpoint equations over finite lattices;
hence, the solution of fixpoint equation systems can be computed by
quasipolynomially many iterations of the equations. We present applications to
modal fixpoint logics and games beyond relational semantics. For instance, the
model checking problems for the energy $\mu$-calculus, finite latticed
$\mu$-calculi, and the graded and the (two-valued) probabilistic $\mu$-calculus
-- with numbers coded in binary -- can be solved via nested fixpoints of
functions that differ substantially from the function for parity games but
still can be computed in quasipolynomial time; our result hence implies that
model checking for these $\mu$-calculi is in QP. Moreover, we improve the
exponent in known exponential bounds on satisfiability checking.
