TQBF Problemi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k r2.7.1) (robot Ekleniyor: pt:Fórmula booleana totalmente quantificada - TQBF |
k r2.6.4) (robot Değiştiriliyor: pt:Fórmula booleana totalmente quantificada |
||
71. satır:
[[en:True quantified Boolean formula]]
[[es:Fórmula booleana cuantificada verdadera]]
[[pt:Fórmula booleana totalmente quantificada
|