graph theory; Paritätsspiele; Modallogik; formale Beweise; parity games; Graphentheorie; formal proofs; modal logic; decompositions; Zerlegungen;