Гебејова теорема за одвојување

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

 Наводи 

Категорија:Теореми
Категорија:Вештачка интелигенција