Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:appliesTo |
topological spaces
|
| gptkbp:claims |
existence of certain topological properties
|
| gptkbp:expansion |
higher dimensions
|
| gptkbp:has_implications_for |
robot motion planning
|
| https://www.w3.org/2000/01/rdf-schema#label |
Farber's Theorem
|
| gptkbp:is_used_in |
mathematical literature
fixed point theory |
| gptkbp:previousName |
gptkb:S._Farber
|
| gptkbp:related_to |
homotopy theory
|
| gptkbp:was_a_result_of |
algebraic topology
|