GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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