Gabbay's separation theorem
গাণিতিক যুক্তি এবং কম্পিউটার বিজ্ঞানে, গ্যাবের পৃথকীকরণ উপপাদ্য, যা ডভ গ্যাবের নামে নামকরণ করা হয়েছে, বলে যে কোনও স্বেচ্ছাচারী সাময়িক যুক্তি সূত্রকে যৌক্তিকভাবে সমতুল্য "অতীত → ভবিষ্যত" আকারে পুনর্লিখন করা যেতে পারে। আই. ই. ভবিষ্যৎ এমন হয়ে ওঠে যা অবশ্যই সন্তুষ্ট করতে হবে। এই ফর্মটি কার্যকর করার নিয়ম হিসাবে ব্যবহার করা যেতে পারে; একটি মেটাটেম প্রোগ্রাম এই ধরনের নিয়মের একটি সেট। তথ্যসূত্র কৃত্রিম বুদ্ধিমত্তা উপপাদ্য সাময়িক যুক্তি