|
gptkb:Diamond_theorem
|
If a lattice is distributive and satisfies the ascending chain condition, then every element is a join of join-irreducible elements.
|
|
gptkb:Ilse_Koch
|
life imprisonment
|
|
gptkb:Moser's_sharp_form
|
Provides the sharp constant in the Trudinger–Moser inequality for functions in Sobolev spaces on bounded domains in two dimensions.
|
|
gptkb:The_Glenlivet_Founder's_Reserve
|
No age statement
|
|
gptkb:Frobenius_theorem
|
A distribution is integrable if and only if it is involutive.
|
|
gptkb:James_Porter_(convicted_priest)
|
18-20 years in prison
|
|
gptkb:Loch_Lomond_12_Year_Old
|
12 years
|
|
gptkb:Fells_Acres_Day_Care_Center_case
|
gptkb:prison
|
|
gptkb:Tarski's_undefinability_theorem
|
Truth in arithmetic cannot be defined within arithmetic itself.
|
|
gptkb:Bemba's_trial_at_the_International_Criminal_Court
|
18 years imprisonment
|
|
gptkb:Rick_Renzi
|
3 years imprisonment
|
|
gptkb:Omar_Portee
|
50 years
|
|
gptkb:Ulam's_conjecture
|
Every finite simple graph is determined uniquely (up to isomorphism) by the multiset of its vertex-deleted subgraphs.
|
|
gptkb:Bowmore_1995
|
varies (often 16-18 years)
|
|
gptkb:Nathaniel_Code
|
gptkb:death
|
|
gptkb:Christopher_Vaughn
|
life imprisonment without parole
|
|
gptkb:Green_River_Killer
|
life imprisonment without parole
|
|
gptkb:Balvenie_Single_Barrel_12_Year_Old
|
12 years
|
|
gptkb:Kim_Hyunhee
|
gptkb:death
|
|
gptkb:Muhammad_Delwar_Hossain_Sayeedi
|
life imprisonment
|