Random triples
| Subject | Object |
|---|---|
| gptkb:First-order_logic | undecidable in general |
| gptkb:DFA | universality problem is decidable |
| gptkb:DFA | equivalence problem is decidable |
| gptkb:DFA | emptiness problem is decidable |
| gptkb:first-order_logic | undecidable in general |
| gptkb:first-order_predicate_calculus | undecidable in general |
| gptkb:modal_logic_S5 | decidable |