mathematicalSubjectClassification
P7033
predicate
Indicates that one entity classifies the mathematical subject area or field to which another entity (such as a work, concept, or topic) belongs.
All labels observed (13)
| Label | Occurrences |
|---|---|
| mathematicalDomain | 169 |
| mathematicalArea | 73 |
| mathematicsSubjectClassification | 54 |
| mathematicalSubjectClassification canonical | 53 |
| mathematicalDiscipline | 38 |
| mathematicalField | 18 |
| hasMathematicalSubject | 10 |
| hasMathematicalSubjectClassification | 7 |
| hasMathematicalArea | 6 |
| mathContent | 3 |
| mathematicsSubject | 3 |
| hasMathematicalField | 2 |
| mathematicianSubject | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: mathematicalSubjectClassification
Generated description
Indicates that one entity classifies the mathematical subject area or field to which another entity (such as a work, concept, or topic) belongs.
Sample triples (437)
| Subject | Object |
|---|---|
| ELBO | probability theory via predicate surface "mathematicalDomain" ⓘ |
| ELBO | machine learning via predicate surface "mathematicalDomain" ⓘ |
| Rabin automaton | theoretical computer science via predicate surface "mathematicalDomain" ⓘ |
| Rabin automaton | logic in computer science via predicate surface "mathematicalDomain" ⓘ |
| Kesten’s theorem on random walks on groups | 60B15 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Kesten’s theorem on random walks on groups | 60J10 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Kesten’s theorem on random walks on groups | 43A07 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Shafarevich group of a torus | algebraic number theory via predicate surface "mathematicalDomain" ⓘ |
| Shafarevich group of a torus | algebraic geometry via predicate surface "mathematicalDomain" ⓘ |
| Shafarevich group of a torus | cohomology of groups via predicate surface "mathematicalDomain" ⓘ |
| Timelike Spaces | spacetime geometry via predicate surface "hasMathematicalSubject" ⓘ |
| Timelike Spaces | metric spaces with causal structure via predicate surface "hasMathematicalSubject" ⓘ |
| Timelike Spaces | ordered metric spaces via predicate surface "hasMathematicalSubject" ⓘ |
| Recent Synthetic Differential Geometry | curvature via predicate surface "hasMathematicalSubject" ⓘ |
| Recent Synthetic Differential Geometry | geodesics via predicate surface "hasMathematicalSubject" ⓘ |
| Recent Synthetic Differential Geometry | metric spaces via predicate surface "hasMathematicalSubject" ⓘ |
| Recent Synthetic Differential Geometry | foundations of geometry via predicate surface "hasMathematicalSubject" ⓘ |
| Seiberg–Witten curve | algebraic geometry via predicate surface "mathematicalArea" ⓘ |
| Seiberg–Witten curve | complex geometry via predicate surface "mathematicalArea" ⓘ |
| Haar measure | analysis via predicate surface "mathematicalField" ⓘ |
| Haar measure | topology via predicate surface "mathematicalField" ⓘ |
| Haar measure | abstract algebra via predicate surface "mathematicalField" ⓘ |
| Fock model | functional analysis via predicate surface "mathematicalArea" ⓘ |
| Fock model | operator algebras via predicate surface "mathematicalArea" ⓘ |
|
Weil’s "Sur certains groupes d’opérateurs unitaires"
surface form:
Sur certains groupes d’opérateurs unitaires
|
André Weil via predicate surface "mathematicianSubject" NERFINISHED ⓘ |
| Brun sieve | 11N35 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Dyson integral | probability theory via predicate surface "mathematicalField" ⓘ |
| Dyson integral | mathematical physics via predicate surface "mathematicalField" ⓘ |
| Dyson integral | analysis via predicate surface "mathematicalField" ⓘ |
| Plancherel theorem for locally compact abelian groups | analysis on topological groups via predicate surface "mathematicalArea" ⓘ |
| Dini test for convergence of Fourier series | 42A20 ⓘ |
| Paley–Wiener theorem for real reductive groups | 22E30 ⓘ |
| Paley–Wiener theorem for real reductive groups | 43A85 ⓘ |
| EGA III | 14-XX ⓘ |
| EGA III | 14Fxx ⓘ |
| SGA 4½ | 14F20 via predicate surface "mathematicsSubjectClassification" ⓘ |
| SGA 4½ | 18F20 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Cartan–Eilenberg spectral sequence | 18G40 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Cartan–Eilenberg spectral sequence | 18G10 via predicate surface "mathematicsSubjectClassification" ⓘ |
|
“Quantum Groups”
surface form:
Quantum Groups
|
quantum algebra via predicate surface "mathematicalArea" ⓘ |
|
“Quantum Groups”
surface form:
Quantum Groups
|
noncommutative algebra via predicate surface "mathematicalArea" ⓘ |
|
“Quantum Groups”
surface form:
Quantum Groups
|
Lie theory via predicate surface "mathematicalArea" ⓘ |
|
“Quantum Groups”
surface form:
Quantum Groups
|
topological quantum field theory via predicate surface "mathematicalArea" ⓘ |
| Brown representability theorem | homological algebra via predicate surface "mathematicalArea" ⓘ |
| Brown representability theorem | stable homotopy theory via predicate surface "mathematicalArea" ⓘ |
| John–Nirenberg inequality | 42B35 via predicate surface "mathematicsSubjectClassification" ⓘ |
| John–Nirenberg inequality | 46E30 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Hamilton’s Harnack inequalities for Ricci flow | differential geometry via predicate surface "mathematicalDomain" ⓘ |
| Hamilton’s Harnack inequalities for Ricci flow | geometric evolution equations via predicate surface "mathematicalDomain" ⓘ |
| A Treatise of Spherical Trigonometry | geometry via predicate surface "mathematicalDomain" ⓘ |