Die Bezeichnung "Mitternachtsformel" ist ganz sicher nirgendwo offiziell. Im Artikel steht ja auch "umgangssprachlich". Möglicherweise gibt es Schulbücher oder Lernhilfen, die den Begriff benutzen. Die Bezeichnungen "große Auflösungsformel" und "kleine Auflösungsformel" lese ich jetzt zum ersten Mal. Das sieht mir nach Begriffsfindung aus. -- Digamma 11:26, 18. Dez. 2011 (CET)