Statements (10)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:concerns | 
                                    
                                        
                                            
                                            Hamiltonian cycles
                                        
                                        
                                         regular graphs  | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            graph theory
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Andrew_Thomason
                                        
                                         | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            Every sufficiently large, regular, and high-degree graph contains many Hamiltonian cycles.
                                        
                                        
                                         | 
                            
| gptkbp:yearProved | 
                                    
                                        
                                            
                                            1978
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Andrew_Thomason
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Thomason's theorem
                                        
                                        
                                         |