Triple

T6149925
Position Surface form Disambiguated ID Type / Status
Subject James Joseph Sylvester E137173 entity
Predicate notableWork P4 FINISHED
Object Sylvester’s theorem on partitions
Sylvester’s theorem on partitions is a result in number theory that provides a systematic way to count integer partitions subject to certain congruence or restriction conditions, forming part of the foundational work in partition theory.
E571007 NE FINISHED

Disambiguation candidates (2 decisions)

The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Sylvester’s theorem on partitions
Context triple: [James Joseph Sylvester, notableWork, Sylvester’s theorem on partitions]
  • A. Ramanujan partition congruences
    Ramanujan partition congruences are remarkable number-theoretic results discovered by Srinivasa Ramanujan that describe surprising modular patterns in the partition function, such as specific arithmetic progressions where the number of integer partitions of an integer is divisible by a given prime.
  • B. Ono’s partition congruences
    Ono’s partition congruences are modern number-theoretic results that extend Ramanujan’s classical congruences by proving the existence of infinitely many congruence relations for the partition function modulo various primes.
  • C. Hardy–Ramanujan asymptotic formula
    The Hardy–Ramanujan asymptotic formula is a landmark result in number theory that gives an approximate expression for the partition function p(n), describing how the number of integer partitions of n grows rapidly with n.
  • D. Minkowski’s theorem on convex sets
    Minkowski’s theorem on convex sets is a fundamental result in convex geometry that characterizes lattice points in convex bodies, underpinning much of the theory of convex polytopes and the geometry of numbers.
  • E. Fermat polygonal number theorem
    The Fermat polygonal number theorem is a result in number theory stating that every positive integer can be expressed as a sum of a fixed number of polygonal numbers of a given order.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Sylvester’s theorem on partitions
Target entity description: Sylvester’s theorem on partitions is a result in number theory that provides a systematic way to count integer partitions subject to certain congruence or restriction conditions, forming part of the foundational work in partition theory.
  • A. Ramanujan partition congruences
    Ramanujan partition congruences are remarkable number-theoretic results discovered by Srinivasa Ramanujan that describe surprising modular patterns in the partition function, such as specific arithmetic progressions where the number of integer partitions of an integer is divisible by a given prime.
  • B. Ono’s partition congruences
    Ono’s partition congruences are modern number-theoretic results that extend Ramanujan’s classical congruences by proving the existence of infinitely many congruence relations for the partition function modulo various primes.
  • C. Hardy–Ramanujan asymptotic formula
    The Hardy–Ramanujan asymptotic formula is a landmark result in number theory that gives an approximate expression for the partition function p(n), describing how the number of integer partitions of n grows rapidly with n.
  • D. Minkowski’s theorem on convex sets
    Minkowski’s theorem on convex sets is a fundamental result in convex geometry that characterizes lattice points in convex bodies, underpinning much of the theory of convex polytopes and the geometry of numbers.
  • E. Fermat polygonal number theorem
    The Fermat polygonal number theorem is a result in number theory stating that every positive integer can be expressed as a sum of a fixed number of polygonal numbers of a given order.
  • F. None of above. chosen

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69c008a2c6308190a56519b22d55d083 elicitation completed
NER batch_69c05ce329648190a03ba0233df841fa ner completed
NED1 batch_69c13608944481909e22df6131a06e41 ned_source_triple completed
NED2 batch_69c1376db6a0819087c0d0aebc2e2b3e ned_description completed
NEDg batch_69c13679dd58819099036d1119fa370b nedg completed
Created at: March 22, 2026, 4:16 p.m.