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