Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
regular graphs
even degree graphs |
| gptkbp:field |
graph theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Petersen's theorem
|
| gptkbp:implies |
existence of 2-factors in regular graphs of even degree
|
| gptkbp:namedAfter |
gptkb:Julius_Petersen
|
| gptkbp:relatedTo |
gptkb:Petersen_graph
factorization in graphs |
| gptkbp:sentence |
Every regular graph of even degree has a 2-factor.
|
| gptkbp:yearProposed |
1891
|
| gptkbp:bfsParent |
gptkb:Tutte's_theorem
gptkb:Tutte_theorem gptkb:Julius_Petersen |
| gptkbp:bfsLayer |
7
|