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