Random triples
| Subject | Object |
|---|---|
| gptkb:nondeterministic_Muller_automaton | set of states visited infinitely often is in acceptance set |
| gptkb:Rabin_acceptance_condition | there exists a pair (E_i, F_i) such that F_i is visited infinitely often and E_i only finitely often |