Gabbay's separation theorem
ಗಣಿತದ ತರ್ಕ ಮತ್ತು ಗಣಕಯಂತ್ರ ವಿಜ್ಞಾನದಲ್ಲಿ, ಡೋವ್ ಗಬ್ಬೆಯವರ ಹೆಸರಿನಿಂದ ಕರೆಯಲ್ಪಡುವ ಗಬ್ಬೆಯ ಬೇರ್ಪಡಿಕೆ ಪ್ರಮೇಯವು, ಯಾವುದೇ ಅನಿಯಂತ್ರಿತ ತಾತ್ಕಾಲಿಕ ತರ್ಕ ಸೂತ್ರವನ್ನು ತಾರ್ಕಿಕವಾಗಿ ಸಮಾನವಾದ "ಭೂತಕಾಲ-ಭವಿಷ್ಯದ" ರೂಪದಲ್ಲಿ ಪುನಃ ಬರೆಯಬಹುದು ಎಂದು ಹೇಳುತ್ತದೆ. ಐ. ಇ. ಭವಿಷ್ಯವು ಯಾವುದನ್ನು ತೃಪ್ತಿಪಡಿಸಬೇಕೊ ಅದೇ ಆಗುತ್ತದೆ. ಈ ಫಾರ್ಮ್ ಅನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುವ ನಿಯಮಗಳಾಗಿ ಬಳಸಬಹುದು; ಮೆಟಾಟೆಮ್ ಪ್ರೋಗ್ರಾಂ ಅಂತಹ ನಿಯಮಗಳ ಒಂದು ಗುಂಪಾಗಿದೆ. ಉಲ್ಲೇಖಗಳು ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ ಪ್ರಮೇಯಗಳು ತಾತ್ಕಾಲಿಕ ತರ್ಕ