That depends on a number of factors, but if there are no current nursing babies, and if you are trying to maximize milk production, then yes, a 12 hour separation between milkings should be optimal.
But we make it easier on ourselves by milking at 8 AM and PM.