Gov is Joyce's name for the one-argument Ackermann function, A(5), a contraction of the two-argument function, A(5, 5), a contraction of the three-argument function, g(6, 5, 5) = g(7, 2, 5) It is equivalent to tripent.
| Graph IRI | Count |
|---|---|
| http://dbkwik.webdatacommons.org | 7 |