ATR 0

URI: https://gptkb.org/entity/ATR_0
GPTKB entity
Statements (8)
Predicate Object
gptkbp:instanceOf unknown
https://www.w3.org/2000/01/rdf-schema#label ATR 0
gptkbp:bfsParent gptkb:Reverse_Mathematics
gptkb:Schütte–Simpson_theorem
gptkb:Subsystems_of_Second_Order_Arithmetic
gptkb:reverse_mathematics
gptkb:second-order_arithmetic
gptkbp:bfsLayer 7