hasDecidability

7 triples
GPTKB property

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