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 |
|---|---|
| Clebsch–Aronhold invariants | computational invariant theory via predicate surface "mathematicalDomain" ⓘ |
| Gelfand–Naimark theorem | 46L05 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Gelfand–Naimark theorem | 46L30 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Representation Theory and Automorphic Functions | pure mathematics via predicate surface "mathematicalDiscipline" ⓘ |
| differential geometry | 53-XX via predicate surface "mathematicsSubjectClassification" ⓘ |
| Bianchi classification |
Lie theory
via predicate surface "mathematicalDomain"
ⓘ
surface form:
Lie groups and Lie algebras
|
| Bianchi classification | Riemannian geometry via predicate surface "mathematicalDomain" ⓘ |
| Plücker formulas | complex algebraic curves via predicate surface "mathematicalDomain" ⓘ |
| Plücker formulas | projective algebraic curves via predicate surface "mathematicalDomain" ⓘ |
| Application de l’analyse à la géométrie | analytic geometry via predicate surface "mathematicalDiscipline" ⓘ |
| Application de l’analyse à la géométrie | projective geometry via predicate surface "mathematicalDiscipline" ⓘ |
| Kolmogorov zero–one law | probability on product spaces via predicate surface "mathematicalDomain" ⓘ |
| Kolmogorov zero–one law | infinite product measures via predicate surface "mathematicalDomain" ⓘ |
| Differential Analysis on Complex Manifolds | 32Qxx ⓘ |
| Differential Analysis on Complex Manifolds | 53Cxx ⓘ |
| Hadamard three-circle theorem | 30A10 via predicate surface "mathematicsSubjectClassification" ⓘ |
|
Lectures on Cauchy’s problem in linear partial differential equations
surface form:
Lectures on Cauchy’s Problem in Linear Partial Differential Equations
|
analysis of PDEs via predicate surface "mathematicalDiscipline" ⓘ |
| Penrose triangle | recreational mathematics via predicate surface "hasMathematicalField" ⓘ |
| Penrose triangle | geometry via predicate surface "hasMathematicalField" ⓘ |
| Khinchin–Kolmogorov theorem | measure-theoretic probability via predicate surface "mathematicalDomain" ⓘ |
| Khinchin–Kolmogorov theorem | real analysis via predicate surface "mathematicalDomain" ⓘ |
| families index theorem | 58J20 ⓘ |
| families index theorem | 19K56 ⓘ |
| Steinhaus theorem | 28A05 ⓘ |
| Steinhaus theorem | 26A30 ⓘ |
| Fraenkel–Mostowski permutation models | set theory via predicate surface "mathematicalDiscipline" ⓘ |
| Fraenkel–Mostowski permutation models | foundations of mathematics via predicate surface "mathematicalArea" ⓘ |
| Vogel spiral | discrete geometry via predicate surface "mathematicalDomain" ⓘ |
| Vogel spiral | computational geometry via predicate surface "mathematicalDomain" ⓘ |
| Vogel spiral | dynamical phyllotaxis theory via predicate surface "mathematicalDomain" ⓘ |
| Closed Graph Theorem | analysis via predicate surface "mathematicalArea" ⓘ |
| Regular Complex Polytopes | 52B11 ⓘ |
| Regular Complex Polytopes | 20F55 ⓘ |
| Regular Complex Polytopes | 51M20 ⓘ |
| Banach–Stone theorem | 46E15 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Banach–Stone theorem | 54C35 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Trigonometry and Double Algebra | elementary functions via predicate surface "mathematicalDomain" ⓘ |
| Trigonometry and Double Algebra | complex analysis (foundational aspects) via predicate surface "mathematicalDomain" ⓘ |
| Bailey chains | special functions via predicate surface "mathematicalArea" ⓘ |
| Bailey chains | q-hypergeometric series via predicate surface "mathematicalArea" ⓘ |
| Bailey chain method | special functions via predicate surface "mathematicalDomain" ⓘ |
| Bailey chain method | series transformations via predicate surface "mathematicalDomain" ⓘ |
| Stone’s theorem on one-parameter unitary groups | C*-algebras and unitary representations of groups via predicate surface "mathematicalArea" ⓘ |
| Bateman–Horn conjecture | 11N05 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Bateman–Horn conjecture | 11N32 via predicate surface "mathematicsSubjectClassification" ⓘ |
| Problems and Theorems in Analysis (with George Pólya) | analysis via predicate surface "mathematicalDiscipline" ⓘ |
| Problems and Theorems in Analysis (with George Pólya) | complex function theory via predicate surface "mathematicalDiscipline" ⓘ |
| Problems and Theorems in Analysis (with George Pólya) | real function theory via predicate surface "mathematicalDiscipline" ⓘ |
| Problems and Theorems in Analysis (with George Pólya) | classical analysis via predicate surface "mathematicalDiscipline" ⓘ |
| Bogoliubov–Parasyuk theorem | mathematical physics via predicate surface "mathematicalDiscipline" ⓘ |