About DBkWik

About: dbkwik:resource/5BJu_ZZOHePzISyFcB-uHA==

PropertyValue
rdfs:label
  • Big hoss
rdfs:comment
  • The big hoss is equal to \(\{100,100 \underbrace{////\ldots////}_{100} 2\}\) or {L,100}100,100 in BEAF. The name comes from the nickname of Jonathan Bowers' late grandpa.
dcterms:subject
dbkwik:googology/property/wikiPageUsesTemplate
abstract
  • The big hoss is equal to \(\{100,100 \underbrace{////\ldots////}_{100} 2\}\) or {L,100}100,100 in BEAF. The name comes from the nickname of Jonathan Bowers' late grandpa.