Statements (23)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         gptkb:cohomology_theory  | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            3-manifolds
                                        
                                        
                                         4-manifolds  | 
                            
| gptkbp:basisFor | 
                                    
                                        
                                            
                                            moduli space of instantons
                                        
                                        
                                         | 
                            
| gptkbp:category | 
                                    
                                        
                                            
                                            differential geometry
                                        
                                        
                                         homological algebra  | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:gauge_theory
                                        
                                         gptkb:mathematics gptkb:topology  | 
                            
| gptkbp:firstDescribed | 
                                    
                                        
                                            
                                            1980s
                                        
                                        
                                         | 
                            
| gptkbp:inventedBy | 
                                    
                                        
                                            gptkb:Andreas_Floer
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Andreas_Floer
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            gptkb:Donaldson_invariants
                                        
                                         gptkb:Yang–Mills_theory gptkb:Morse_theory gptkb:Seiberg–Witten_invariants  | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            
                                            knot theory
                                        
                                        
                                         low-dimensional topology 3-manifold invariants  | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Floer_homology
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Instanton Floer homology
                                        
                                        
                                         |