has subsystem

URI: https://gptkb.org/prop/has_subsystem
5 triples
GPTKB property
Random triples
Subject Object
gptkb:second-order_arithmetic ACA_0
gptkb:second-order_arithmetic RCA_0
gptkb:second-order_arithmetic gptkb:ATR_0
gptkb:second-order_arithmetic gptkb:Π^1_1-CA_0
gptkb:second-order_arithmetic WKL_0
Please wait…