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 |
|---|---|
| Hirzebruch signature theorem | 57R75 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Conformal Invariants | 30Cxx ⓘ |
| Conformal Invariants | 30Fxx ⓘ |
| Lectures on Quasiconformal Mappings | 30C62 ⓘ |
| Lectures on Quasiconformal Mappings | 30C75 ⓘ |
| Gale–Nikaidō–Debreu theorem | real analysis via predicate surface "mathematicalDomain" ⓘ |
| Gale–Nikaidō–Debreu theorem | multivariate calculus via predicate surface "mathematicalDomain" ⓘ |
| Gale–Nikaidō–Debreu theorem | topology via predicate surface "mathematicalDomain" ⓘ |
| Bochner–Martinelli formula | analysis via predicate surface "mathematicalArea" ⓘ |
| Bochner–Martinelli formula | complex geometry via predicate surface "mathematicalArea" ⓘ |
| Bochner theorem on characteristic functions | functional analysis via predicate surface "mathematicalArea" ⓘ |
| Bochner theorem on characteristic functions | measure theory via predicate surface "mathematicalArea" ⓘ |
| Hausdorff metric | general topology via predicate surface "mathematicalArea" ⓘ |
| Hausdorff metric | metric space theory via predicate surface "mathematicalArea" ⓘ |
| Kac's lemma | measure theory via predicate surface "mathematicalDomain" ⓘ |
| Kac's lemma | probability on dynamical systems via predicate surface "mathematicalDomain" ⓘ |
| Bendixson–Dulac criterion | ordinary differential equations via predicate surface "mathematicalDomain" ⓘ |
| Bendixson–Dulac criterion | phase plane analysis via predicate surface "mathematicalDomain" ⓘ |
| De spiralibus | plane geometry via predicate surface "mathematicalDomain" ⓘ |
| Jones calculus | linear algebra via predicate surface "mathematicalDomain" ⓘ |
| Erdős on Graphs: His Legacy | 05Cxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Erdős on Graphs: His Legacy | 05Dxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Fano inequality | probability theory via predicate surface "mathematicalDomain" ⓘ |
| Fano inequality | information theory via predicate surface "mathematicalDomain" ⓘ |
| Was sind und was sollen die Zahlen? | number theory via predicate surface "mathematicalDiscipline" NERFINISHED ⓘ |
| Was sind und was sollen die Zahlen? | analysis via predicate surface "mathematicalDiscipline" ⓘ |
| Was sind und was sollen die Zahlen? | set theory via predicate surface "mathematicalDiscipline" ⓘ |
|
Heilbronn Halberstam
surface form:
Heilbronn–Halberstam theorem
|
11N13 ⓘ |
|
Heilbronn Halberstam
surface form:
Heilbronn–Halberstam theorem
|
11N36 ⓘ |
| Halász theorem | additive and multiplicative number theory via predicate surface "mathematicalDomain" ⓘ |
| Khintchine theorem | 11J83 ⓘ |
| Khintchine theorem | 11K60 ⓘ |
| Jarník–Besicovitch theorem | analysis via predicate surface "mathematicalDomain" ⓘ |
| Jarník–Besicovitch theorem | measure theory via predicate surface "mathematicalDomain" ⓘ |
| Jarník–Besicovitch theorem | geometric measure theory via predicate surface "mathematicalDomain" ⓘ |
|
Roth theorem
surface form:
Roth's theorem
|
analytic number theory via predicate surface "mathematicalDomain" ⓘ |
|
Roth theorem
surface form:
Roth's theorem
|
algebraic number theory via predicate surface "mathematicalDomain" ⓘ |
| Birkhoff interpolation | analysis via predicate surface "mathematicalDomain" ⓘ |
| Birkhoff interpolation | algebra via predicate surface "mathematicalDomain" ⓘ |
| Rational Quadratic Forms | algebraic number theory via predicate surface "hasMathematicalArea" ⓘ |
| Rational Quadratic Forms | algebra via predicate surface "hasMathematicalArea" ⓘ |
| Rational Quadratic Forms | arithmetic geometry via predicate surface "hasMathematicalArea" ⓘ |
| Cassels–Tate pairing | algebraic geometry via predicate surface "mathematicalDiscipline" ⓘ |
| Cassels–Tate pairing | algebraic number theory via predicate surface "mathematicalDiscipline" ⓘ |
| Monstrous Moonshine conjecture | 11Fxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Monstrous Moonshine conjecture | 20C34 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Kakutani skyscraper construction | pure mathematics via predicate surface "mathematicalArea" ⓘ |
| Kakutani skyscraper construction | analysis via predicate surface "mathematicalArea" ⓘ |
| Kakutani skyscraper construction | probability theory on dynamical systems via predicate surface "mathematicalArea" ⓘ |
|
"Topologie" (with W. Hurewicz)
surface form:
Topologie (with W. Hurewicz)
|
54-01 (expository works in general topology) via predicate surface "hasMathematicalSubjectClassification" ⓘ |