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 |
|---|---|
|
"Topologie" (with W. Hurewicz)
surface form:
Topologie (with W. Hurewicz)
|
55-01 (expository works in algebraic topology) via predicate surface "hasMathematicalSubjectClassification" ⓘ |
|
"Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
surface form:
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
|
3-manifold topology via predicate surface "mathematicsSubject" ⓘ |
|
"Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
surface form:
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
|
global analysis via predicate surface "mathematicsSubject" ⓘ |
| Pontryagin duality | category theory via predicate surface "mathematicalArea" ⓘ |
| Pontryagin duality | topology via predicate surface "mathematicalArea" ⓘ |
| Pontryagin duality | abstract algebra via predicate surface "mathematicalArea" ⓘ |
| Foundations of Combinatorial Topology | 55-XX Algebraic topology ⓘ |
| Foundations of Combinatorial Topology | 57-XX Manifolds and cell complexes ⓘ |
| Mathematical Theory of Optimal Processes | differential equations via predicate surface "mathematicalDiscipline" ⓘ |
| Mathematical Theory of Optimal Processes | calculus of variations via predicate surface "mathematicalDiscipline" ⓘ |
| Mathematical Theory of Optimal Processes | functional analysis via predicate surface "mathematicalDiscipline" ⓘ |
| Kolmogorov–Sinai entropy | measure theory via predicate surface "mathematicalDomain" ⓘ |
| Kolmogorov–Sinai entropy | probability theory via predicate surface "mathematicalDomain" ⓘ |
| Kolmogorov–Sinai entropy | ergodic theory via predicate surface "mathematicalDomain" ⓘ |
| Oseledec splitting | applied mathematics via predicate surface "mathematicalArea" ⓘ |
| Oseledec splitting | probability theory via predicate surface "mathematicalArea" ⓘ |
| Oseledec splitting | differential geometry via predicate surface "mathematicalArea" ⓘ |
| Gronwall inequality | 34A40 ⓘ |
| Gronwall inequality | 26D10 ⓘ |
| Hilbert symbol | algebra via predicate surface "mathematicalArea" ⓘ |
| Hilbert symbol | arithmetic geometry via predicate surface "mathematicalArea" ⓘ |
| Hilbert symbol | class field theory via predicate surface "mathematicalArea" ⓘ |
| Riesz lemma | 46Bxx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Riesz lemma | 46Axx via predicate surface "mathematicsSubjectClassification" ⓘ |
| Siegel zero | number theory via predicate surface "mathematicalField" ⓘ |
| Siegel’s theorem on zeros of L-functions | number theory via predicate surface "mathematicalDomain" ⓘ |
| Siegel’s theorem on zeros of L-functions | complex analysis via predicate surface "mathematicalDomain" ⓘ |
| Graham–Rothschild theorem | discrete mathematics via predicate surface "mathematicalDiscipline" ⓘ |
| Turán–Kubilius inequality | analytic number theory via predicate surface "mathematicalArea" ⓘ |
| Turán–Kubilius inequality | probability theory on arithmetic functions via predicate surface "mathematicalArea" ⓘ |
| Hasse–Weil bound for abelian varieties | 11G10 ⓘ |
| Hasse–Weil bound for abelian varieties | 14G15 ⓘ |
| Scarf’s lemma | topology via predicate surface "mathematicalDomain" ⓘ |
| Scarf’s lemma | combinatorics via predicate surface "mathematicalDomain" ⓘ |
| Scarf’s lemma | optimization theory via predicate surface "mathematicalDomain" ⓘ |
| Scarf’s lemma | economic theory via predicate surface "mathematicalDomain" ⓘ |
| van der Corput method for estimating exponential sums | number theory via predicate surface "mathematicalDomain" ⓘ |
| van der Corput method for estimating exponential sums | harmonic analysis via predicate surface "mathematicalDomain" ⓘ |
| Calderón reproducing formula | functional analysis via predicate surface "mathematicalArea" ⓘ |
| Calderón reproducing formula | operator theory via predicate surface "mathematicalArea" ⓘ |
| Koksma–Hlawka inequality | analysis via predicate surface "mathematicalDomain" ⓘ |
| Koksma–Hlawka inequality | number theory via predicate surface "mathematicalDomain" ⓘ |
| Morera's theorem | 30-XX (functions of a complex variable) ⓘ |
| Wirtinger derivatives | analysis via predicate surface "mathematicalDomain" ⓘ |
| Bessel inequality | analysis via predicate surface "mathematicalArea" ⓘ |
| Bessel inequality | operator theory via predicate surface "mathematicalArea" ⓘ |
| Cauchy–Binet formula | 15A15 ⓘ |
| Zassenhaus algorithm for factoring polynomials over the rationals | algebra via predicate surface "mathematicalField" ⓘ |
| Zassenhaus algorithm for factoring polynomials over the rationals | number theory via predicate surface "mathematicalField" ⓘ |
| Zassenhaus algorithm for factoring polynomials over the rationals | algorithmic algebra via predicate surface "mathematicalField" ⓘ |