collapsesIf

URI: https://gptkb.org/prop/collapsesIf
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Polynomial_hierarchy NP = co-NP
gptkb:Polynomial_hierarchy P = NP
gptkb:Polynomial_hierarchy ΣPk = ΣPk+1 for some k