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