Hi,
Mud jacking?
Tony

That's what I was thinking. But I've never seen it done to a basement floor.