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 |
|---|---|
| Bogoliubov–Parasyuk theorem | functional analysis via predicate surface "mathematicalDiscipline" ⓘ |
| Du Bois-Reymond theory of orders of infinity | theory of functions via predicate surface "mathematicalDomain" ⓘ |
| Du Bois-Reymond theory of orders of infinity | calculus via predicate surface "mathematicalDomain" ⓘ |
| Du Bois-Reymond theory of orders of infinity | real variable theory via predicate surface "mathematicalDomain" ⓘ |
| Dirichlet hyperbola method | number theory via predicate surface "mathematicalDomain" ⓘ |
| Dirichlet hyperbola method | analysis via predicate surface "mathematicalDomain" ⓘ |
| Eulerian trail | discrete mathematics via predicate surface "mathematicalArea" ⓘ |
| Runge approximation theorem | 30E10 ⓘ |
| Euler substitution | real analysis via predicate surface "mathematicalDomain" ⓘ |
| Euler substitution | classical analysis via predicate surface "mathematicalDomain" ⓘ |
| Cartan theorems A and B | analysis via predicate surface "mathematicalDomain" ⓘ |
| Cartan theorems A and B | geometry via predicate surface "mathematicalDomain" ⓘ |
| Cartan theorems A and B | algebraic topology via predicate surface "mathematicalDomain" ⓘ |
| Hamming bound | combinatorics via predicate surface "mathematicalDomain" ⓘ |
| Hamming bound | discrete mathematics via predicate surface "mathematicalDomain" ⓘ |
| Hahn decomposition theorem | real analysis via predicate surface "mathematicalDomain" ⓘ |
| Hahn decomposition theorem | probability theory via predicate surface "mathematicalDomain" ⓘ |
| Hahn decomposition theorem | functional analysis via predicate surface "mathematicalDomain" ⓘ |
| Hermite–Biehler theorem | complex function theory via predicate surface "mathematicalDomain" ⓘ |
| Hermite–Biehler theorem | real algebraic geometry via predicate surface "mathematicalDomain" ⓘ |
| Yao’s pseudorandom generator construction | probability theory in computation via predicate surface "mathematicalArea" ⓘ |
| Yao’s pseudorandom generator construction | complexity-theoretic cryptography via predicate surface "mathematicalArea" ⓘ |
| Carathéodory measurability criterion | 28A12 ⓘ |
| Thurston norm | 57M27 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Thurston norm | 57N10 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Knaster–Kuratowski–Mazurkiewicz lemma | 54H25 ⓘ |
| Knaster–Kuratowski–Mazurkiewicz lemma | 47H10 ⓘ |
| open mapping theorem | 46Bxx ⓘ |
| open mapping theorem | 46Axx ⓘ |
| Fefferman–Phong inequality | functional analysis via predicate surface "mathematicalArea" ⓘ |
| Fefferman–Phong inequality | spectral theory via predicate surface "mathematicalArea" ⓘ |
| Hodge filtration | cohomological algebra via predicate surface "mathematicalDomain" ⓘ |
| Hodge filtration | complex algebraic geometry via predicate surface "mathematicalDomain" ⓘ |
| Erdős–Kac theorem | analytic number theory via predicate surface "mathematicalArea" ⓘ |
| Erdős–Kac theorem | probability theory via predicate surface "mathematicalArea" ⓘ |
| Erdős–Gallai theorem | combinatorics via predicate surface "mathematicalDomain" ⓘ |
| Erdős–Gallai theorem | discrete mathematics via predicate surface "mathematicalDomain" ⓘ |
| Erdős–Rényi law of large numbers | measure-theoretic probability via predicate surface "mathematicalDomain" ⓘ |
| Poisson equation | partial differential equations via predicate surface "mathematicalArea" ⓘ |
| Poisson equation | analysis via predicate surface "mathematicalArea" ⓘ |
| Poisson equation | mathematical physics via predicate surface "mathematicalArea" ⓘ |
| Introduction to the Theory of Algebraic Functions of One Variable | theory of algebraic functions via predicate surface "mathematicalArea" ⓘ |
| Introduction to the Theory of Algebraic Functions of One Variable | theory of algebraic curves over fields via predicate surface "mathematicalArea" ⓘ |
| Sylvester–Gallai theorem | 52C10 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Cartan formula | smooth manifolds via predicate surface "mathematicalDomain" ⓘ |
| Cartan formula | tensor calculus on manifolds via predicate surface "mathematicalDomain" ⓘ |
| Cartan magic formula | geometry via predicate surface "mathematicalField" ⓘ |
| Burnside's lemma | abstract algebra via predicate surface "mathematicalDomain" ⓘ |
| Burnside's lemma | discrete mathematics via predicate surface "mathematicalDomain" ⓘ |
| Hirzebruch signature theorem | 57R20 via predicate surface "mathematicsSubjectClassification" ⓘ |