اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر