Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            finite extensions of the rational numbers
                                        
                                        
                                         | 
                            
| gptkbp:concerns | 
                                    
                                        
                                            
                                            algebraic number fields
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            number theory
                                        
                                        
                                         | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            finiteness of number fields with bounded discriminant
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Hermann_Minkowski
                                        
                                         gptkb:Charles_Hermite  | 
                            
| gptkbp:publishedIn | 
                                    
                                        
                                            gptkb:19th_century
                                        
                                         | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            there are only finitely many number fields of given degree and discriminant bounded by a fixed constant
                                        
                                        
                                         | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            
                                            algebraic number theory
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Charles_Hermite
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            6
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Hermite–Minkowski theorem
                                        
                                        
                                         |