hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Maskavo
Maskavo, anteriormente conhecida como Maskavo Roots, é uma banda de reggae brasileira formada em 1993 em Brasília. Mudaram-se para São Paulo em 2000 com a consolidação de sua formação. A banda surgiu com o nome Maskavo Roots, mas reduziram o nome para Maskavo devido a mudanças em sua formação. Atualmente, a banda é formada por Marceleza (vocal), Prata (guitarra), Felipe Passos (teclados), Vini Gomes (bateria) e Alexandre Santos (baixo). Desde 2000, a banda já fez mais de 1.500 shows pelo Brasil e exterior, contendo dez álbuns e dois DVDs gravados.

Raimundos
Raimundos é uma banda brasileira de punk rock formada em Brasília em 1987. O nome é derivado de uma de suas maiores influências, a banda Ramones. Com nove discos autorais, trinta anos de existência e mais de cinco milhões de cópias vendidas, é uma das principais bandas dos anos 90 no Brasil.
Automeris lamercedia
Automeris lamercedia é uma espécie de mariposa do gênero Automeris, da família Saturniidae.

Sua ocorrência foi registrada no Peru. O espécime identificado por R. Brechlin e F. Meister em 2011 no Departamento de Junin, Puente Reiter, La Merced, 1050 m., ca. 11.03ºS, 75.20ºW.

Automeris
Automeris é um gênero de mariposas da família Saturniidae, classificada por Jacob Hübner em 1819. Dos gêneros da sub-família Hemileucinae é que possui o maior número de espécies e a mais ampla distribuição no Continente Americano, indo do Canadá até a Argentina.

É conspícuo do gênero a presença, na fase larval, de espículos defensivos com formato de pequenos pinheiros, e que causam no ser humano acidentes dolorosos, provocados por erucismo. Nos adultos é facilmente identificável a principal característica que é a presença mimética de pequenos olhos (manchas em formato de ocelos) como mecanismo de defesa contra os predadores nas asas posteriores.
Challenger Cup de Voleibol Feminino de 2018
A Challenger Cup de Voleibol Feminino de 2018 foi a primeira edição deste torneio com promoção da Federação Internacional de Voleibol (FIVB). A sede foi o Peru, com as partidas sendo disputadas no Coliseo Eduardo Dibós da capital Lima.

Este evento possui caráter qualificatório, visando a participação de um dos seus representantes na Liga das Nações de Voleibol Feminino do próximo ano. A Bulgária derrotou a Colômbia na final por 3 sets a 1 e garantiu a vaga para a competição de elite em 2019 no lugar da Argentina.

Challenger Cup de Voleibol Feminino
A Challenger Cup de Voleibol Feminino foi uma competição internacional de voleibol disputada por seleções femininas filiadas à Federação Internacional de Voleibol (FIVB), órgão governamental global do esporte. A sua primeira edição disputou-se em 2018 e a última em 2024.

A Challenger Cup realizava-se sempre após a fase final da Liga das Nações e o seu vencedor ganhava o direito de participar da Liga das Nações do ano seguinte, substituindo a pior colocada do grupo de seleções "desafiantes".
Lady Flammer
Lady Flammer (Monterrey, 9 de novembro de 1999) é uma luchadora enmascarada mexicana, ou seja, uma lutadora de luta livre profissional mascarada, atualmente contratada pela WWE, sendo principalmente conhecida por seu trabalho na The Crash Lucha Libre. Ela é freelancer, atuando tanto na The Crash Lucha Libre quanto no circuito mexicano e independente. O nome verdadeiro de Flammer não é um dado público, como é comum com os lutadores mascarados no México, onde suas vidas privadas são mantidas em segredo dos fãs de luta.

Tipos de combate de luta profissional
Muitos tipos de lutas de wrestling, às vezes chamadas de "lutas de gimmick" no jargão do ramo, são realizadas no wrestling profissional. Algumas dessas lutas são mais comuns que outras e frequentemente são usadas para desenvolver ou concluir uma rivalidade. Ao longo das décadas de história do wrestling profissional, algumas lutas de gimmick geraram diversas variações do conceito original.
Marco Sanudo
Marco Sanudo (1153 (?) - entre 1220 e 1230, possivelmente 1227) foi o fundador e primeiro duque do ducado de Naxos, no seguimento da Quarta cruzada.

Sobrinho do Doge de Veneza Enrico Dandolo, participou na Quarta Cruzada de 1204 e na negociação para a compra de Creta por Veneza a Bonifácio de Montferrat. Fundou o ducado de Naxos entre 1205 e 1207 ou pouco depois de 1213-1214, conforme as versões, e ali mandou construir uma nova capital à volta da sua fortaleza, o castro. Vassalo do imperador latino Henrique de Hainaut por volta de 1210 ou 1216, combateu o Império de Niceia ao seu lado. Continuou no entanto a servir Veneza, como na expedição à Creta de 1211.

Sob o seu governo, o ducado de Naxos funcionou de forma mista sob os métodos bizantinos e ocidentais.

Mar Egeu
O mar Egeu (em grego:  Αιγαίο Πέλαγος, transl. Eiêo Pélaghos; em turco:  Ege Denizi ou em turco:  Adalar Denizi) é um mar interior da bacia do mar Mediterrâneo situado entre a Europa e a Ásia. Estende-se da Grécia, a oeste, até a Turquia, a leste. Ao norte, possui uma ligação com o mar de Mármara e o mar Negro através do Dardanelos e do Bósforo. Diversas ilhas estão localizadas no mar Egeu, inclusive Creta e Rodes, que formam o seu limite meridional.

O mar era tradicionalmente conhecido como o Arquipélago (em grego:  Αρχιπέλαγος, "mar principal"), devido a sua importância para os gregos. Por metonímia, o termo também se aplicava ao conjunto das ilhas do Egeu e, posteriormente, veio a designar qualquer conjunto de ilhas (ver arquipélago).
Alouatta sara
O bugio-vermelho-da-bolívia é uma espécie de primata encontrado na Amazônia, na Bolívia. Passou a ser considerado uma espécie diferente de Alouatta seniculus por conta de diferenças de cariótipo. Habita principalmente a mata de igapó na Floresta Amazônica.

Alouatta seniculus
Alouatta seniculus é uma espécie de primata da América do Sul, encontrado na parte oeste da Bacia Amazônica, na Venezuela, Colômbia, Peru, Brasil, Equador e Bolívia. Trata-se de um táxon que passou por inúmeras revisões taxonômicas, com a criação de várias espécies a partir das subespécies conhecidas: A. seniculus, atualmente, se refere apenas às populações do noroeste da Amazônia.

Possui um dimorfismo sexual pouco acentuado, com machos tendo até 72 cm de comprimento e as fêmeas com até 57 cm, pesando entre 5,4-9 kg e 4,2-7 kg respectivamente.
Campanha britânica de Sétimo Severo
Campanha britânica de Sétimo Severo foi um conjunto de operações militares realizado sob o comando pessoal do imperador romano Sétimo Severo na Caledônia, ao norte Muralha de Adriano, entre 208 e 211. A campanha levou a uma nova ocupação da Muralha Antonina, que havia sido abandonada em 164, e de algumas posições fortificadas ao longo da Gask Ridge.

Guerrilha
Guerrilha (em castelhano: guerrilla; "pequena guerra") é um tipo de guerra não convencional na maior parte das vezes rural no qual o principal estratagema é a ocultação e extrema mobilidade dos combatentes, chamados de guerrilheiros, incluindo, mas não limitado a civis armados (ou "irregulares").

Pode se constituir também como uma movimentação híbrida, ou seja, ora centralizada por uma atitude bélica cujo aspecto pode ser colaboracionista com as forças regulares de determinadas regiões, e ora pode se dar o enfrentamento sem conexão com qualquer força armada regular.
Xuxa Requebra
Xuxa Requebra é um filme de comédia romântica  lançado em 1999, dirigido por Tizuka Yamasaki e com roteiro final de Evandro Mesquita. O elenco principal conta com a participação da cantora e apresentadora Xuxa Meneghel, do cantor Daniel e de Elke Maravilha. Este filme marcou o retorno de Xuxa ao cinema após um intervalo de nove anos.

A produção foi a primeira co-produção brasileira da 20th Century Fox e estreou nos cinemas em 17 de dezembro de 1999. De acordo com dados da Ancine, o filme atraiu aproximadamente 2.074.461 espectadores e gerou uma receita superior a R$ 8 milhões de reais.

Claudinho & Buchecha
Claudinho & Buchecha foi uma dupla de funk brasileira formada pelos cantores Cláudio Rodrigues de Mattos, mais conhecido pelo apelido Claudinho, e Claucirlei Jovêncio de Sousa, conhecido pelo pseudônimo Buchecha.

Cláudio e Claucirlei, amigos de infância oriundos do município de São Gonçalo, deram início à dupla em 1992 ao vencerem um concurso regional. Lançaram cinco álbuns de estúdio e um álbum ao vivo. O reconhecimento se deu em 1996 por meio da canção "Conquista".

Claudinho & Buchecha foram premiados pela ABPD com dois Disco de Platina Triplo pelos álbuns Claudinho & Buchecha e A Forma, e também com disco de Platina Duplo pelo álbum Só Love, lançado em 1998.
Bóris e Glebo
Bóris e Glebo (em antigo eslavo oriental: Борисъ и Глѣбъ; romaniz.: Borisŭ i Glěbŭ; batizados Romano (em antigo eslavo oriental: Романъ; romaniz.: Romanŭ) e Davi (em antigo eslavo oriental: Давꙑдъ; romaniz.: Davydŭ); século X - c. 1015) foram príncipes russos, filhos do grão-duque de Kiev, Vladimir Sviatoslaviche.

Na luta destruidora que eclodiu em 1015 após a morte de seu pai, eles foram, segundo a versão oficial, mortos por seu irmão mais velho, Esviatopolco, que mais tarde recebeu o apelido de "Maldito" dos historiógrafos. Bóris e Glebo tornaram-se os primeiros santos russos; foram canonizados como mártires portadores da paixões, tornando-os patronos da Terra Russa e "ajudantes celestiais" dos príncipes russos.

Algumas das primeiras obras da literatura russa antiga são dedicadas à história de Bóris e Glebo: “O Conto” de Jacó Chernorizets e “Leitura” de Nestor, o Cronista. Muitos templos e mosteiros foram construídos em homenagem aos irmãos.

Vladimir I de Kiev
Vladimir I ou Valdemar I, dito o Grande, (em antigo eslavo oriental: Володимѣръ Свѧтославичь, Volodiměrъ Svętoslavičь; em nórdico antigo: Valdamarr gamli; c. 958 – 15 de julho de 1015, Berestove) foi príncipe da Novogárdia (970), grão-príncipe de Kiev e governante dos rus' de Kiev de 980 até 1015. É considerado santo pela Igreja Católica e igrejas ortodoxas por seu papel na Cristianização dos rus' de Kiev.
Clube Atlético Desportivo Ribeirão Pires
O Clube Atlético Desportivo Ribeirão Pires  é clube de futebol brasileiro sediado na cidade Estância Turística de Ribeirão Pires, no estado de São Paulo. Com os trabalhos iniciados em 9 de outubro de 2009. Suas cores são Branco, Azul marinho e laranja, essa última adicionada após a sua migração para a cidade ao leste do Grande ABC Paulista.

Federação Paulista de Futebol
A Federação Paulista de Futebol (FPF), fundada em 22 de abril de 1941, é a entidade máxima do futebol no estado de São Paulo e, como membro filiado à Confederação Brasileira de Futebol (CBF), é responsável por organizar todos os torneios oficiais que envolvam as equipes do estado, como o Campeonato Paulista, a Copa Paulista de Futebol, as competições de base, tal qual a Copa São Paulo de Futebol Júnior, principal competição da categoria no país, além dos torneios equivalentes femininos, como o Campeonato Paulista Feminino.
Estação do Musée d'Orsay
A Estação do Musée d'Orsay é uma estação ferroviária francesa da linha de Invalides a Quai d'Orsay e da linha de Quai d'Orsay a Paris-Austerlitz, localizada no 7.º arrondissement de Paris.

Ela é operada pela SNCF no subsolo da antiga Gare d'Orsay, estação monumental que foi durante 39 anos a estação cabeça de linha da Compagnie du chemin de fer de Paris à Orléans e que foi transformada em um museu dedicado à arte do século XIX, inaugurado em 1986 sob o nome de Museu de Orsay. O edifício foi classificado como monumento histórico em 1978.

Prix de Roma
O Prix de Roma (Prêmio de Roma) foi uma bolsa de estudo destinada a estudantes das artes e atribuída pelo governo francês a jovens artistas que se distinguissem na respectiva categoria. Foi criado em 1663 durante o reinado de Luís XIV de França. Era uma bolsa anual destinada a artistas promissores (pintores, escultores e arquitectos) que comprovavam o seu talento e arte através de uma competição com eliminatórias muito exigentes.

O prestigioso prêmio foi suprimido em 1968 por André Malraux, o Ministro da Cultura da França.
Jorge Vieira (treinador de futebol)
Jorge Silva Vieira (Rio de Janeiro, 18 de julho de 1934 - Rio de Janeiro, 25 de julho de 2012) foi um futebolista brasileiro, que atuou como ala-direito, e depois como treinador de futebol.

Jorge é conhecido por ser o técnico do último título do America carioca e por comandar o início da Democracia Corintiana.

Campeonato Paranaense de Futebol de 1986
O Campeonato Paranaense de 1986 foi a 72° edição do maior torneio de futebol profissional  do estado do Paraná. Foram doze equipes que participaram do campeonato, com um acesso e um rebaixamento, e com mais uma nova fórmula de disputa. O campeonato teve a volta de um time de Santo Antônio da Platina; a Sociedade Esportiva Platinense, que fez um bom papel, mas terminou na 5° colocação e o Coritiba Foot Ball Club voltou a ser o campeão batendo na final outro clube da capital do estado, o Esporte Clube Pinheiros. A artilharia do campeonato ficou com Cláudio José do Londrina Esporte Clube, que marcou quinze gols e a equipe do sudoeste, o Toledo Futebol Clube, foi rebaixado para a segunda divisão. A média de público deste campeonato ficou em 3.594 pagantes.
Typhaea stercorea
Typhaea stercorea é uma espécie de insetos coleópteros polífagos pertencente à família Mycetophagidae.

A autoridade científica da espécie é Linnaeus, tendo sido descrita no ano de 1758.

Trata-se de uma espécie presente no território português.

Micetofagídeos
Micetofagídeos (Mycetophagidae) é uma família de besouros, na grande subordem Polyphaga. As diferentes espécies medem entre 1,0 e 6,5 milímetros de comprimento. Larvas e adultos vivem sobre a madeira em decomposição, em fungos e sob o súber de determinadas árvores. Muitas espécies se alimentam de fungos, razão pela qual a família recebeu este nome. Em todo o planeta existem cerca de 18 gêneros e 200 espécies.
Guerra de exaustão
A Guerra de exaustão, também conhecida como guerra de atrito, consiste na manutenção coordenada do ponto de combate, em que o objetivo é exaurir o potencial físico do inimigo por meio de bombardeios, inserções e demais formas de ataque em curto intervalo de tempo durante vários dias ou meses, não possibilitando ao inimigo reagrupamentos, reabastecimentos, descanso de tropa e demais ações militares. O fim que se busca nesse modo de combate é levar o exército inimigo ao colapso mediante contínuas perdas de material e pessoal.

Historicamente, analistas veem a guerra de exaustão como algo a ser evitado, pois a ideia de desgastar um inimigo aos poucos opõe-se aos princípios comuns da guerra, nos quais se buscam vitórias decisivas gastando o mínimo de tempo e recursos possível por meio de manobras, surpresas, concentração de forças, etc. O fim de uma guerra de exaustão, assim, costuma ser uma vitória pírrica.

Ataque militar
O ataque (também chamado de assalto) é uma operação ofensiva destinada a conquistar um objectivo claramente definido e que deve ser cuidadosamente idealizada, planeada, preparada, executada e continuada, com o máximo de controle possível e o máximo de análise das contingências e circunstâncias variáveis. A coordenação exigida entre os meios de manobra (infantaria e cavalaria), apoio de fogos (artilharia), apoio aéreo e apoio de combate (engenharia e comunicações) leva a que se refere muitas vezes essa operação como ataque coordenado.
Flecha Valona de 2021
A 85.ª edição da clássica ciclista Flecha Valona foi uma corrida em Bélgica que se celebrou a 21 de abril de 2021 com início na cidade de Charleroi situado em Valonia, na província de Hainaut, e final no município de Huy sobre um percurso de 193,6 quilómetros.

A corrida, além de ser a segunda clássica das Ardenas, fez parte do UCI WorldTour de 2021, sendo a décimo quinta corrida de dito circuito do calendário ciclístico de máximo nível mundial. O vencedor foi o francês Julian Alaphilippe do Deceuninck-Quick Step e esteve acompanhado no pódio pelo esloveno Primož Roglič do Jumbo-Visma e o espanhol Alejandro Valverde do Movistar, segundo e terceiro classificado respectivamente.

Flecha Valona
A Flecha Valona (oficialmente:La Flèche Wallonne) é uma corrida anual de ciclismo de estrada na região do Valônia, na Bélgica. A corrida é de um dia, ela faz parte do calendário da UCI World Tour.

O primeiro das duas clássicas belgas das Ardenas, La Flèche Wallonne é hoje normalmente realizada no meio da semana entre a Amstel Gold Race e a Liège-Bastogne-Liège. A certa altura, a Flèche Wallonne e Liège-Bastogne-Liège foram disputadas em dias consecutivos como "Le Weekend Ardennais" (ambas as corridas são organizadas pela Amaury Sport Organisation). Apenas sete ciclistas alcançaram a "dobradinha das Ardenas" ao vencer as duas corridas no mesmo ano: Alejandro Valverde três vezes (em 2006, 2015 e 2017), Ferdi Kübler duas vezes (em 1951 e 1952), Stan Ockers (1955), Eddy Merckx (1972), Moreno Argentin (1991) Davide Rebellin (2004) e Philippe Gilbert (2011).
Campeonato Brasiliense de Futebol de 2024 - Segunda Divisão
O Campeonato Brasiliense de Futebol de 2024 - Série B é a 28ª edição da segunda divisão do futebol do Distrito Federal. A competição, organizada pela Federação de Futebol do Distrito Federal, foi disputada entre 31 de agosto e 26 de outubro por 8 equipes do Distrito Federal e Goiás.

Campeonato Brasiliense de Futebol - Segunda Divisão
O Campeonato Brasiliense de Futebol da Segunda Divisão é a divisão de acesso ao Campeonato Brasiliense de Futebol, o campeonato estadual do Distrito Federal brasileiro. Foi disputado durante a fase amadora nos anos 60, e novamente desde 1997 já na era profissional do futebol local.
Catedral de Sens
A catedral de Sens (em francês: Cathédrale Saint-Étienne-de-Sens) é uma catedral católica situada na cidade de Sens, na região de Borgonha-Franco Condado, em França. É um dos primeiros templos góticos do país.

Sens
Sens é uma comuna francesa na região administrativa de Borgonha-Franco-Condado, no departamento Yonne. Estende-se por uma área de 27,86 km². Em 2010 a comuna tinha 27 110 habitantes (densidade: 973,1 hab./km²).. Era chamada de Agedinco (em latim: Agedincum) no período romano.
Tratado de Amiens
O Tratado de Amiens foi um tratado de paz firmado em 25 de março de 1802 na cidade francesa de Amiens, finalizando às hostilidades existentes entre França e Reino Unido durante as Guerras Revolucionárias Francesas. O tratado, que foi assinado entre José Bonaparte e o Marquês de Cornwallis, foi chamado de "tratado de paz definitivo", pois trouxe fim ao conflito entre as duas maiores potências bélicas da Europa naquele tempo. Esse "fim" não durou muito, pois foi quebrado um ano depois. Mesmo assim, marcou um dos poucos anos de paz que a Europa veria em muito tempo, já que a França vinha participando de repetidas batalhas desde 1793 até 1815, considerado o fim das Guerras Francesas.

República Batava
República Batava (Bataafse Republiek em neerlandês) foi a forma de organização política que de 19 de janeiro de 1795 a 5 de junho de 1806 existiu na região central dos Países Baixos, criada com base no apoio da França revolucionária aos Patriotas neerlandeses e funcionando como um Estado cliente da França, situação que, embora com diferentes formas de organização política, se manteria até à derrota final de Napoleão Bonaparte. A designação deriva de Batávia, a região habitada pelos batavos, nome dado nos tempos de Júlio César ao povo germânico do noroeste europeu considerado então como o antepassado dos actuais neerlandeses.
La Course by Le Tour de France de 2019
A 6.ª edição da La Course by Le Tour de France celebrou-se a 23 de julho de 2019 sobre um percurso de 120 km num circuito montanhoso com início e final na cidade de Pau.

A carreira fez parte do UCI World Tour Feminino de 2019 como concorrência de categoria 1.wwT do calendário ciclístico de máximo nível mundial sendo a décimaquinta carreira de dito circuito e foi vencida pela ciclista neerlandesa Marianne Vos da equipa CCC-Liv. O pódio completaram-no a canadiana Leah Kirchmann da equipa Sunweb e a ciclista dinamarquesa Cecilie Uttrup Ludwig da equipa Bigla.

La Course by Le Tour de France
La Course by Le Tour de France (comumente nomeada simplesmente como: La Course) foi uma corrida ciclista feminina profissional de um dia francesa que se disputava durante o decorrer do Tour de France. Foi substituída em 2022 pelo Tour de France feminino, uma corrida de etapas organizada pela ASO.
Campeonato Mundial de Esgrima de 2000
O Campeonato Mundial de Esgrima de 2000 foi a 62ª edição do torneio organizado pela Federação Internacional de Esgrima (FIE) entre 29 de junho a 2 de julho de 2000. O evento foi realizado em Budapeste, Hungria, reunindo apenas eventos não olímpicos.

Campeonato Mundial de Esgrima
O Campeonato Mundial de Esgrima é um evento esportivo no qual são apurados os campeões mundiais nas modalidades florete, espada e sabre.

O evento é organizado anualmente pela Federação Internacional de Esgrima (em francês: Fédération Internationale d’Escrime) com sede em Lausana, Suíça, e foi disputado pela primeira vez em Paris na França, em 1921.
Líneas Aéreas Paraguayas
Líneas Aéreas Paraguayas, também conhecida como LAP, foi uma companhia aérea bandeira do Paraguai que prestou seus serviços desde 1963 até 1994. Fundada em 1962, cobriu vários voos para a América e Europa. Em 18 de março de 1963, foi assinado o decreto-lei N°337 que criava oficialmente a empresa, nascido na aviação militar por iniciativa do então comandante Adrián Jara.

Pan American World Airways
A Pan American World Airways, originalmente fundada como Pan American Airways (PAA) e comumente conhecida como Pan Am, foi a principal e maior companhia aérea internacional e de bandeira não oficial dos Estados Unidos de 1927 até seu colapso em 4 de dezembro de 1991. Foi fundada em 1927 como um serviço regular de correio aéreo e transporte de passageiros operando entre Key West, Flórida, e Havana, Cuba. A companhia aérea é creditada por muitas inovações que moldaram a indústria aérea internacional, incluindo o uso generalizado de aeronaves a jato, jatos jumbo e sistemas de reserva computadorizados. Foi também membro fundador da International Air Transport Association (IATA), a associação global da indústria aérea.

Identificada por seu logotipo do globo azul ("The Blue Meatball", ou "a almôndega azul", em tradução livre), seu uso da palavra "Clipper" em seus nomes de aeronaves, e pelos bonés dos uniformes brancos de seus pilotos, a companhia aérea era um ícone cultural do século XX.
Jogo de fórmula
Um Jogo de fórmula é um jogo artificial representado por uma fórmula booliana completamente quantificada. Jogadores alternam seus turnos e o escopo de movimentos possíveis é definido pelas variáveis ligadas. Se uma variável é universalmente quantificada, a fórmula seguinte a ela deve possuir o mesmo valor verdade que a fórmula, iniciando com o quantificador universal independentemente do movimento jogado. Se uma variável é existencialmente quantificada, a fórmula seguinte a ela deve possuir o mesmo valor verdade que a fórmula, iniciando com o quantificador existencial por ao menos um movimento disponível durante o turno. Os turnos alternam, e um jogador perde se ele não pode mover durante o seu turno. Na teoria da complexidade computacional, a linguagem JOGO-DE-FORMULA é definida como todas as formulas  que causam o primeiro jogador ter uma estratégia vencedora no jogo representado por . JOGO-DE-FORMULA é PSPACE-completa.

Fórmula booliana completamente quantificada
Em teoria da complexidade computacional, uma linguagem TQBF é uma linguagem formal consistindo de fórmulas booleanas completamente quantificadas. Uma fórmula booleana (completamente) quantificada é uma fórmula em lógica proposicional quantificada onde cada variável é quantificada (ou limitada), usando tanto quantificadores existenciais quanto universais no início da sentença. Tal fórmula é equivalente a tanto verdadeiro ou falso (desde que não existam variáveis livres). Se tal fórmula é avaliada como verdadeira, então esta fórmula é uma linguagem TQBF. Também conhecida como QSAT (Quantified SAT).