Type Theta

URI: https://gptkb.org/entity/Type_Theta
GPTKB entity
Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:mathematics
https://www.w3.org/2000/01/rdf-schema#label Type Theta
gptkbp:relatedTo gptkb:logic
gptkb:homotopy_type_theory
gptkbp:symbol θ
gptkbp:usedIn gptkb:logic
computer science
gptkbp:bfsParent gptkb:Heaven's_Lost_Property
gptkbp:bfsLayer 6