Gabbay's separation theorem (mathematical logic and computer science) states that any arbitrary temporal logic formula can be rewritten in a logically equivalent "past → future" form.
Liouville's theorem | Separation of church and state | Chinese remainder theorem | separation of church and state | Shannon–Hartley theorem | Quillen–Suslin theorem | Nyquist–Shannon sampling theorem | Legal separation | Hahn–Banach theorem | Fermat's Last Theorem | Buckingham π theorem | Thue–Siegel–Roth theorem | Szemerédi's theorem | Separation Party of Alberta | Separation of powers | Schottky's theorem | Riemann-Roch theorem | Pythagorean theorem | Nash embedding theorem | Müntz–Szász theorem | Mount Separation | Malgrange–Ehrenpreis theorem | Kleene fixed-point theorem | Kakutani fixed-point theorem | Gauss–Bonnet theorem | Doob's martingale convergence theorem | Dirichlet's theorem on arithmetic progressions | Denjoy theorem | Birch's theorem | 1905 French law on the Separation of the Churches and the State |
The soundtrack to the film features a large number of UK bands including World is Static, film composer Kasia Middleton, Super Baby Project, Franny Griffiths, The Drellas, Subway Showdown, Dust, Yorkie, Photobooth, Jari Ylamaki, Victoria Geelan, Depot, Igal Gabbay, Greg Tuby, Chris Everard, Wherewithal, The Buzzsonic, Three Shy of Nine, Simon Doherty, Rachel Wallen-James, Mark Lough, Grant Alderson, Jamie Gunn.