Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Designator
|
| gptkbp:appliesTo |
functions
|
| gptkbp:associatedWith |
logical expressions
|
| gptkbp:defines |
domain of discourse
|
| https://www.w3.org/2000/01/rdf-schema#label |
D.D. Designator
|
| gptkbp:isCitedIn |
mathematical logic
|
| gptkbp:isPartOf |
formal languages
|
| gptkbp:isUsedBy |
computer science
|
| gptkbp:mayHave |
variables
|
| gptkbp:relatedTo |
set theory
|
| gptkbp:usedIn |
mathematics
|