QBF – codice aeroportuale IATA dell'aeroporto civile di Vail Van Service Off Line Point (Colorado) (Stati Uniti) Formula booleana quantificata (Quanfified Boolean Formula) – formula della logica proposizionale in cui tutte le variabili sono quantificate esistenzialmente o universalmente