Polynomial-time equivalence across reasonable models (RAM, Turing machines, circuits) is empirically...
This proposition has not been edited since the history system was added.