elimination of quantifiers

Türkçe: niceleyici eliminasyonu

Açıklama: Niceleyici elemesi; mantıkta niceleyicileri kaldırma