Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:Dirichlet's_box_principle
|
| gptkbp:category |
elementary combinatorial principle
|
| gptkbp:describes |
if n items are put into m containers and n > m, then at least one container has more than one item
|
| gptkbp:field |
gptkb:combinatorics
gptkb:mathematics |
| gptkbp:firstDescribed |
1834
|
| gptkbp:formedBy |
gptkb:Peter_Gustav_Lejeune_Dirichlet
|
| gptkbp:relatedTo |
gptkb:Ramsey_theory
gptkb:infinite_pigeonhole_principle birthday problem |
| gptkbp:sentence |
If more objects are placed into fewer boxes, then at least one box contains more than one object.
|
| gptkbp:usedIn |
gptkb:probability_theory
computer science number theory proofs |
| gptkbp:bfsParent |
gptkb:Ramsey's_theorem
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
pigeonhole principle
|