Gabbay's separation theorem
கணித தர்க்கம் மற்றும் கணினி அறிவியலில், டோவ் கப்பேயின் பெயரிடப்பட்ட கபாயின் பிரிப்பு தேற்றம், எந்தவொரு தன்னிச்சையான தற்காலிக தர்க்க சூத்திரத்தையும் தர்க்கரீதியாக சமமான "கடந்த கால → எதிர்கால" வடிவத்தில் மீண்டும் எழுத முடியும் என்று கூறுகிறது. ஐ. இ. எதிர்காலம் திருப்தியடைய வேண்டிய ஒன்றாக மாறுகிறது. இந்த படிவத்தை நிறைவேற்றும் விதிகளாகப் பயன்படுத்தலாம்; ஒரு மெட்டேட்எம் நிரல் என்பது அத்தகைய விதிகளின் தொகுப்பாகும். குறிப்புகள் செயற்கை நுண்ணறிவு கோட்பாடுகள் தற்காலிக தர்க்கம்