He worked for the `` World Wide Wrestling Federation '' ( WWWF ) which later changed its name to `` World Wrestling Federation '' ( WWF ) . He pushed for the renaming of the company to the World Wrestling Federation ( WWF ) .