Gabbay's separation theorem
गणितीय तर्क और कंप्यूटर विज्ञान में, गैबे की पृथक्करण प्रमेय, जिसका नाम डॉव गैबे के नाम पर रखा गया है, बताती है कि किसी भी मनमाने लौकिक तर्क सूत्र को तार्किक रूप से समतुल्य "अतीत → भविष्य" रूप में फिर से लिखा जा सकता है। आई. ई. भविष्य वह बन जाता है जिसे संतुष्ट किया जाना चाहिए। इस प्रपत्र का उपयोग निष्पादन नियमों के रूप में किया जा सकता है; एक मेटाटएम कार्यक्रम ऐसे नियमों का एक समूह है। संदर्भ कृत्रिम बुद्धिमत्ता प्रमेय अस्थायी तर्क