mainSubsystems

URI: https://gptkb.org/prop/mainSubsystems
10 triples
GPTKB property
Random triples
Subject Object
gptkb:Reverse_Mathematics gptkb:ATR_0
gptkb:reverse_mathematics gptkb:Π^1_1-CA_0
gptkb:reverse_mathematics RCA_0
gptkb:reverse_mathematics ACA_0
gptkb:reverse_mathematics gptkb:ATR_0
gptkb:Reverse_Mathematics gptkb:Π^1_1-CA_0
gptkb:Reverse_Mathematics ACA_0
gptkb:Reverse_Mathematics RCA_0
gptkb:reverse_mathematics WKL_0
gptkb:Reverse_Mathematics WKL_0