notableSubsystem

URI: https://gptkb.org/prop/notableSubsystem
5 triples
GPTKB property
Random triples
Subject Object
gptkb:reverse_mathematics_program RCA_0
gptkb:reverse_mathematics_program ACA_0
gptkb:reverse_mathematics_program WKL_0
gptkb:reverse_mathematics_program gptkb:ATR_0
gptkb:reverse_mathematics_program gptkb:Π^1_1-CA_0