Random triples
| Subject | Object |
|---|---|
| gptkb:Streett_automaton | Streett condition |
| gptkb:parity_automaton | parity condition |
| gptkb:deterministic_Muller_automaton | Muller condition |
| gptkb:Rabin_automaton | gptkb:Rabin_acceptance_condition |
| gptkb:Büchi_automaton | gptkb:Büchi_acceptance_condition |
| gptkb:co-Büchi_automaton | co-Büchi condition |
| gptkb:Muller_automaton | Muller condition |