GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
mainSubsystems
URI:
https://gptkb.org/prop/mainSubsystems
10
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
gptkb:Reverse_Mathematics
gptkb:Π^1_1-CA_0
gptkb:reverse_mathematics
gptkb:ATR_0
gptkb:Reverse_Mathematics
RCA_0
gptkb:reverse_mathematics
ACA_0
gptkb:reverse_mathematics
WKL_0