Во математичката логика и компјутерската наука, Гебејовата теорема за одвојување, именувана по Дов Гебеј, вели дека секоја произволна временска логичка формула може да биде препишана во логички еднаков облика на „минато → иднина ". Односно, иднината станува она што мора да се задоволи. Овој облик може да се користи како правила за извршување; програмата MetateM е збир на такви правила..
Наводи
Категорија:Теореми Категорија:Вештачка интелигенција