has five main subsystems
5
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:Reverse_mathematics | RCA_0 |
gptkb:Reverse_mathematics | gptkb:Π^1_1-CA_0 |
gptkb:Reverse_mathematics | ACA_0 |
gptkb:Reverse_mathematics | WKL_0 |
gptkb:Reverse_mathematics | gptkb:ATR_0 |