Statements (16)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:Prime_Number
                                        
                                         | 
                            
| gptkbp:category | 
                                    
                                        
                                            
                                            Special prime numbers
                                        
                                        
                                         | 
                            
| gptkbp:defines | 
                                    
                                        
                                            
                                            A prime number p such that p^2 divides 2^{p-1} - 1
                                        
                                        
                                         | 
                            
| gptkbp:discoveredIn | 
                                    
                                        
                                            
                                            1909
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            number theory
                                        
                                        
                                         | 
                            
| gptkbp:generalizes | 
                                    
                                        
                                            
                                            Wieferich primes base a
                                        
                                        
                                         | 
                            
| gptkbp:knownExamples | 
                                    
                                        
                                            
                                            1093
                                        
                                        
                                         3511  | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            
                                            Arthur Wieferich
                                        
                                        
                                         | 
                            
| gptkbp:property | 
                                    
                                        
                                            
                                            Very rare; only two known as of 2024
                                        
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:Fermat's_little_theorem
                                        
                                         gptkb:Fermat's_Last_Theorem  | 
                            
| gptkbp:sequence | 
                                    
                                        
                                            
                                            A001220
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Bradley_C._Wieferich
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Wieferich prime
                                        
                                        
                                         |