|
gptkb:Oscar_Wilde_trial
|
two years' hard labour
|
|
gptkb:Feldman–Moore_theorem
|
Every countable Borel equivalence relation on a standard Borel space is generated by a countable group of Borel automorphisms.
|
|
gptkb:Craigellachie_31_Year_Old
|
31 years
|
|
gptkb:Robert_John_Bardo
|
life imprisonment without parole
|
|
gptkb:Lockerbie_bombing_case
|
life imprisonment (al-Megrahi)
|
|
gptkb:Radon's_theorem
|
Any set of d+2 points in d-dimensional Euclidean space can be partitioned into two disjoint subsets whose convex hulls intersect.
|
|
gptkb:Oscar_Pistorius_trial
|
5 years imprisonment
|
|
gptkb:Jussie_Smollett_case
|
30 months felony probation
|
|
gptkb:Michael_Gargiulo
|
gptkb:death
|
|
gptkb:Sidney_Cooke
|
life imprisonment
|
|
gptkb:Mikhail_Yefremov
|
8 years in prison (2020)
|
|
gptkb:Clifford's_inequality
|
For a special divisor D on a smooth projective curve of genus g, 2h^0(D) - 2 ≤ deg(D)
|
|
gptkb:Tom_Hayes
|
11 years imprisonment
|
|
gptkb:Wang_Hongwen
|
life imprisonment
|
|
gptkb:Property_P_conjecture_for_knots
|
Every nontrivial knot in the 3-sphere has Property P.
|
|
gptkb:Richard_Allen_Davis
|
gptkb:death
|
|
gptkb:United_States_v._Theodore_J._Kaczynski
|
life imprisonment without the possibility of parole
|
|
gptkb:Riaz_Ahmed_Gohar_Shahi
|
imprisonment
|
|
gptkb:Manstein,_Erich_von
|
18 years imprisonment
|
|
gptkb:Tennenbaum's_theorem
|
No countable nonstandard model of Peano arithmetic can have both its addition and multiplication computable.
|