an Entity in Data Space: 134.155.108.49:8890
Greedy clique sequences are a concept from graph theory that leads to three fast-growing functions. Defined by Harvey Friedman in 2010, the resulting functions are some of the strongest Friedman has ever defined.