logicalType
P42881
predicate
Indicates that one entity is classified as a logical type or category used to define or constrain the logical behavior or interpretation of another entity.
Sample triples (2)
| Subject | Object |
|---|---|
| Abel–Ruffini theorem | impossibility theorem → |
| axiom of choice | existential axiom → |