hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
WTA de Marbella
O WTA de Marbella – ou Andalucía Tennis Experience, na última edição – foi um torneio de tênis profissional feminino, de nível WTA International.

Realizado em Marbella, no sudoeste da Espanha, durou três anos. Os jogos eram disputados em quadras de saibro durante o mês de abril.

Torneios WTA International
O WTA International foi a categoria mais baixa do circuito profissional de tênis feminino, da Associação de Tênis Feminino, implantada em 2009, que durou até 2020. Substitui os níveis WTA Tier III e WTA Tier VI.

Seus torneios começaram distribuindo, salvo exceções, uma premiação total de US$ 220.000 no primeiro ano. Corrigindo a inflação, aumentou para US$ 235.000 em 2013, US$ 250.000 em 2014 e US$ 275.000 em 2020.

As campeãs recebiam 280 pontos.

Comparativamente, a vencedora de um torneio do Grand Slam ganha 2.000 pontos, 1.500 no WTA Finals, 280 no WTA International. Este sistema difere ligeiramente do implementado pela Associação de Tenistas Profissionais. Na categoria mais próxima, a ATP World Tour 250/ATP 250, os campeões são contemplados com 250 pontos.
?:
Nas programação de computadores, ?: é um operador ternário que faz parte da sintaxe para uma expressão condicional básica, presente em várias linguagens de programação. É comumente referido referido como operador condicional, inline if (iif) ou ternary if.

Ele originalmente veio da CPL, em que a sintaxe equivalente para e1 ? e2 : e3 era e1 → e2, e3.

Embora sejam possíveis vários tipos de operadores ternários, o operador condicional é tão comum, enquanto os outros são mais raros, que o operador condicional é comumente (embora incorretamente) referido como o operador ternário.

Programação de computadores
Programação é o processo de escrita, teste e manutenção de um programa de computador. O programa é escrito em uma linguagem de programação, embora seja possível, com alguma dificuldade, o escrever diretamente em linguagem de máquina. Diferentes partes de um programa podem ser escritas em diferentes linguagens.

Diferentes linguagens de programação funcionam de diferentes modos. Por esse motivo, os programadores podem criar programas muito diferentes para diferentes linguagens; muito embora, teoricamente, a maioria das linguagens possa ser usada para criar qualquer programa.

Há várias décadas se debate se a programação é mais semelhante a uma arte (Donald Knuth), a uma ciência, à matemática (Edsger Dijkstra), à engenharia (David Parnas), ou se é um campo completamente novo.
Sistema Nacional de Viação
O Sistema Nacional de Viação (SNV) é constituído pela infraestrutura física e operacional dos vários modos de transporte de pessoas e bens, sob jurisdição dos diferentes entes da Federação. Foi estabelecido pela Lei n.º 12.379 de 2011.

Uma definição anterior, ainda não revogada expressamente, é a da Lei Federal n.º 10.233, de 5 de junho de 2001. Conforme o artigo 2.º dessa norma, o SNV é constituído pela infraestrutura viária e pela estrutura operacional dos diferentes meios de transporte de pessoas e bens, sob jurisdição da União, dos Estados, do Distrito Federal e dos Municípios.

Quanto à jurisdição, o sistema nacional de viação é composto pelo Sistema Federal de Viação (SFV) e pelos sistemas de viação dos Estados, do Distrito Federal e dos municípios.

Desta forma, os resultados do SNV dependem da integração modal entre os três subsistemas, cada qual assumindo suas atribuições sob responsabilidade dos respectivos entes federativos (quadro 1).

Transporte hidroviário no Brasil
O transporte hidroviário do Brasil é um setor de infraestrutura multimodal que integra o país através de seus recursos hídricos.

O transporte hidroviário no Brasil é dividido nas modalidades fluvial e marítima. O transporte marítimo é o mais importante, respondendo por quase 75% do comércio internacional do Brasil. O transporte fluvial é o mais econômico e limpo, no entanto é o menos utilizado no Brasil. Há regiões, entretanto, que dependem quase exclusivamente desta modalidade, como é o caso da Amazônia, onde as distâncias são grandes e as estradas ou ferrovias praticamente inexistem.
19.ª etapa do Tour de France de 2020
A 19.ª etapa do Tour de France de 2020 desenvolveu-se a 18 de setembro de 2020 entre Bourg-en-Bresse e Champagnole sobre um percurso de 166,5 km e foi vencida em solitário, como já tinha feito na 14.ª etapa, pelo dinamarquês Søren Kragh Andersen da equipa Sunweb. O esloveno Primož Roglič manteve a camisola amarela antes do contrarrelógio.

14.ª etapa do Tour de France de 2020
A 14.ª etapa do Tour de France de 2020 desenvolveu-se a 12 de setembro de 2020 entre Clermont-Ferrand e Lyon sobre um percurso de 194 km e foi vencida pelo dinamarquês Søren Kragh Andersen da equipa Sunweb. O esloveno Primož Roglič continuou como líder da prova.
Sistema de Transição
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação. É usado para descrever o comportamento potencial de sistemas discretos. Consiste de estados e transições entre estados, que podem ser rotuladas com etiquetas escolhidas a partir de um conjunto; o mesmo rótulo pode aparecer em mais de uma transição. Se o conjunto de rótulos é um conjunto unitário, o sistema é essencialmente sem rótulo, e uma definição mais simples que omite os rótulos é possível.

Sistemas de transição coincidem matematicamente com sistemas de reescrita abstratos (como explicado mais adiante neste artigo) e grafos direcionados. Eles diferem de autômatos finitos em várias maneiras:

O conjunto de estados não é necessariamente finito, ou mesmo contável.

O conjunto de transições não é necessariamente finito, ou mesmo contável.

Nenhum estado "inicio" ou estado "final" são dadas.

Sistemas de transição podem ser representados como grafos direcionados.

Estado (ciência da computação)
Na ciência da computação e na teoria de autômatos, o estado de um circuito lógico digital ou programa de computador é um termo técnico para todas as informações armazenadas, em um determinado ponto no tempo, para que o circuito ou programa tem acesso. A saída de um circuito digital ou programa de computador, a qualquer momento é completamente determinado pelas suas entradas atuais e seu estado.
La Gioconda
La Gioconda, baseado em Angelo, tyran de Padoue, de Victor Hugo, é uma ópera de Amilcare Ponchielli e libreto de Arrigo Boïto, ambientada na Veneza do século XVII. Foi um grande sucesso, especialmente em sua terceira e última versão (Teatro alla Scala, Milão, 28 de março de 1880), assim como o maior sucesso na história da ópera italiana entre a Aida (1871) e Otello (1887) de Verdi. É também o exemplo mais famoso do gênero italiano de Grande opera, o equivalente do francês Grand-Ópera.

Ponchielli fez várias revisões desta obra.

Existem muitas gravações desta ópera e ela é frequentemente executada. Esta é uma das poucas óperas que apresentam um papel principal para cada um dos seis tipos de voz principais.

Aida
Aida é uma ópera em quatro atos, com música de Giuseppe Verdi e libreto de Antonio Ghislanzoni. Sua estreia mundial aconteceu na Casa da Ópera,  no Cairo, em 24 de dezembro de 1871. Aida foi composta por encomenda do governo egípcio para comemorar a inauguração do canal de Suez, fato que ocorreu em 17 de novembro de 1869. Sua estreia, no entanto, ocorreu com 2 anos de atraso por atrasos na composição e dificuldades de locomoção na Europa devido à Guerra Franco-Prussiana.
TV Anajás
TV Anajás é uma emissora de televisão brasileira com sede em Imperatriz, MA. Retransmite o sinal da Rede Vida pelo canal 26.1 HDTV. A emissora é afiliada da Rede Vida e tem o público católico como alvo, sendo mantida financeiramente pela Diocese de Imperatriz.

Diocese de Imperatriz
A Diocese de Imperatriz (Dioecesis Imperatricis), é uma circunscrição eclesiástica da Igreja Católica Apostólica Romana, criada no dia 27 de junho de 1987, através da bula Quae Maiori Christifidelium Spirituali Bono do Papa João Paulo II. É presidida pelo bispo Vilsom Basso e tem como padroeira Nossa Senhora de Fátima.
Dedo indicador
O dedo indicador (também conhecido como dedo indicador, primeiro dedo, dedo indicador, dedo em gatilho, digitus secundus, digitus II e muitos outros termos) é o segundo dedo da mão humana. Fica entre o polegar e o dedo médio. Geralmente é o dedo mais ágil e sensível da mão, mesmo não sendo o mais longo. É mais curto que o dedo médio e pode ser mais curto ou mais longo que o dedo anelar (ver proporção de dígitos).

Dedo médio
O dedo médio, dedo longo ou dedo alto é o terceiro dedo da mão humana, que fica entre o dedo indicador e o dedo anelar. Normalmente, é o dedo mais longo. Na anatomia, também é conhecido como terceiro dedo, digitus medius, digitus tertius ou digitus III.

O dedo médio é muito usado ao estalar os dedos junto com o polegar.
Homberg (Berna)
Homberg é uma comuna da Suíça, no Cantão Berna, com cerca de 484 habitantes. Estende-se por uma área de 6,52 km², de densidade populacional de 74 hab/km². Confina com as seguintes comunas: Fahrni, Heiligenschwendi, Horrenbach-Buchen, Schwendibach, Steffisburg, Teuffenthal, Tune, Unterlangenegg.

A língua oficial nesta comuna é o Alemão.

Teuffenthal
Teuffenthal é uma comuna da Suíça, no Cantão Berna, com cerca de 184 habitantes. Estende-se por uma área de 4,53 km², de densidade populacional de 41 hab/km². Confina com as seguintes comunas: Eriz, Heiligenschwendi, Homberg, Horrenbach-Buchen, Oberlangenegg, Sigriswil.

A língua oficial nesta comuna é o Alemão.
Miss Goiás 2018
Miss Goiás BE Emotion 2018 trata-se do título dado a mais bela goiana do Estado em 2018. Por não ter tempo hábil para realização de concurso, o certame comandado pela empresária Fátima Abranches decidiu indicar Giovanna Veríssimo, uma das sete finalistas do Miss Goiás 2016, como a nova detentora do título em busca do Miss Brasil 2018. Anunciada oficialmente dia 19 de Janeiro pelo jornal "O Popular", Veríssimo foi coroada em uma cerimônia privada no espaço "Confraria das Republikhas" no dia 29 de Janeiro, pela sua antecessora, Jeovanca Nascimento, Miss Goiás 2017.

Miss Brasil 2018
Miss Brasil 2018 foi a 64ª edição do tradicional concurso Miss Brasil, válido para a disputa de Miss Universo. O evento teve seu ápice no dia 26 de maio de 2018 no Riocentro, espaço de eventos localizado na cidade do Rio de Janeiro. O certame foi transmitido nacionalmente pela Rede Bandeirantes e pela internet pela Band.com.br. Candidatas das 26 unidades federativas do Brasil, mais o Distrito Federal, competiram pelo título que pertencia à piauiense Monalysa Alcântara. A vencedora foi a amazonense Mayra Dias, representante do estado do Amazonas que representou o Brasil no Miss Universo 2018.
Xenopus tropicalis
Xenopus tropicalis é uma espécie de rã da família Pipidae. É a única espécie do género Xenopus com um genoma diplóide. O seu genoma foi sequenciado em 2010, sendo o primeiro genoma de um anfíbio a ser sequenciado, o que o torna um organismo modelo importante para a genética que complementa a espécie relacionada Xenopus laevis, que é bastante usado como um modelo de vertebrado pela biologia do desenvolvimento. X. tropicalis tem uma série de vantagens sobre X. laevis para a investigação, tal como menor tempo de geração (<5 meses), tamanho mais pequeno (4–6 cm de comprimento), e maior número de ovos por desova.

Xenopus
Xenopus (do latim, pé estranho) é um género de rãs estritamente aquáticas nativas da África subsariana. Há dezoito espécies no género Xenopus. A espécie mais conhecida do género é Xenopus laevis, estudada como organismo modelo.
NGC 4796
NGC 4796 é uma galáxia  localizada na direcção da constelação de Virgo. Possui uma declinação de +08° 04' 01" e uma ascensão recta de 12 horas, 55 minutos e 04,6 segundos.

A galáxia NGC 4796 foi descoberta em 25 de Março de 1865 por Albert Marth.

Virgo
Virgo, a Virgem, é uma constelação do zodíaco. O genitivo, usado para formar nomes de estrelas, é Virginis.

As constelações vizinhas, segundo as fronteiras modernas, são o Boieiro, a Cabeleira de Berenice, o Leão, a Taça, o Corvo, a Hidra, a Balança e a Serpente.
GNU GRUB
O GNU GRUB (abreviação de GNU GRand Unified Bootloader) é um pacote gerenciador de inicialização do Projeto GNU. O GRUB é a implementação de referência da Especificação Multiboot da Free Software Foundation, que oferece ao usuário a opção de inicializar um dos vários sistemas operacionais instalados em um computador ou selecionar uma configuração específica do núcleo disponível nas partições de um determinado sistema operacional.

O GNU GRUB foi desenvolvido a partir de um pacote chamado Grand Unified Bootloader (uma brincadeira com a expressão Grand Unified Theory). Ele é usado predominantemente para sistemas do tipo Unix. O sistema operacional GNU usa o GNU GRUB como seu gerenciador de inicialização, assim como a maioria das distribuições Linux e o sistema operacional Solaris em sistemas x86, começando com a versão Solaris 10 1/06.

NTLDR
NTLDR (abreviatura de New Technology Loader ou Carregador da Nova Tecnologia) é um componente do sistema operacional Windows responsável pela carga do sistema operacional (bootloader no jargão). Está presente nas versões da família Windows NT incluindo Windows XP e Windows Server 2003. Em geral é executado a partir de uma partição primária no disco rígido mas também pode ser iniciado a partir de outras mídias usadas como disco de boot.

Este carregador requer que os seguintes arquivos estejam presentes no disco:

Ntldr

Boot.ini

Bootfont.bin

NTDetect.com

No Windows Vista e no Windows Server 2008 foi substituído pelo Windows Boot Manager, representado pelo arquivo winload.exe.
Teorema de Cook-Levin
Na teoria da complexidade computacional, o teorema de Cook-Levin, também conhecido como teorema de Cook, afirma que o problema de satisfatibilidade booleana é NP-completo.  Isto é, qualquer problema em NP pode ser reduzido em tempo polinomial por uma máquina de Turing determinística para o problema de determinar se uma fórmula booleana é satisfatível.

Uma importante consequência desse teorema é que se existe um algoritmo de tempo polinomial para resolver a satisfatibilidade, então existe um algoritmo de tempo polinomial para resolver todos os problemas em NP. Crucialmente, o mesmo acontece para qualquer problema NP-completo.

A questão de se tal algoritmo existe é chamada de o Problema P versus NP e esse é amplamente considerado o mais importante problema sem solução da teoria da computação. O teorema é atribuído a Stephen Cook e Leonid Levin.

Máquina de Turing
A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936). Num sentido preciso, é um modelo abstrato de um computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições), e não a sua implementação física. Numa máquina de Turing pode-se modelar qualquer computador digital.

Turing também se envolveu na construção de máquinas físicas para quebrar os códigos secretos das comunicações alemãs durante a Segunda Guerra Mundial, tendo utilizado alguns dos conceitos teóricos desenvolvidos para o seu modelo de computador universal.
Diego Pituca
Diego Cristiano Evaristo, mais conhecido como Diego Pituca (Mogi Guaçu, 15 de agosto de 1992), é um futebolista brasileiro que atua como meio-campista. Atualmente atua pelo V-Varen Nagasaki.

Herdou o apelido de Pituca do pai, inicialmente era Pituquinha, mas depois se tornou Pituca.

Campeonato Brasileiro de Futebol de 2015 - Série D
A Série D do Campeonato Brasileiro de Futebol de 2015 foi a sétima edição da competição de futebol profissional equivalente à quarta divisão no Brasil. Voltou a ser disputada por 40 equipes, que se classificaram através dos campeonatos estaduais e outros torneios realizados por cada federação estadual.

O Botafogo-SP conquistou o seu primeiro título nacional após vencer o River-PI por 3–2 no placar agregado, após vitória por esse placar no jogo de ida, em Ribeirão Preto, e empate em 0–0 na volta, em Teresina. Ambas as equipes, além dos semifinalistas Remo e Ypiranga de Erechim, foram os clubes promovidos para a Série C de 2016.
Kongesangen
Kongesangen (A Canção do Rei) é o hino real da Noruega, que existe concomitantemente com Ja, vi elsker dette landet, o hino nacional. Há diversas versões da letra. A primeira versão (Gud sign vår Konge god, gi ham i farer mod) foi escrita por N. Vogtmann em torno de 1800, mas a versão usada hoje e transcrita abaixo foi escrita por Gustav Jensen para a coroação do rei Haakon VII e Maud de Gales em 1906 e mais tarde usada em seu Landstads reviderte salmebok. A melodia é a mesma do hino britânico God Save the King, que serviu de inspiração. Henrik Wergeland escreveu uma tradução do hino em 1841.

Ja, vi elsker dette landet
Ja, vi elsker dette landet (em português: Sim, nós amamos este país) é o hino nacional da Noruega. A melodia foi composta por Rikard Nordraak em 1864, e a letra foi escrita por Bjørnstjerne Bjørnson em 1870.
CompuServe
A CompuServe (CompuServe Information Service, também conhecida pelo acrônimo CIS) foi um dos primeiros serviços online a disponibilizar conexão à Internet em nível internacional e também responsável pela popularização de troca de figuras, tendo sido a empresa criadora do formato GIF.

Os serviços eram acessados por meio de um cliente de acesso próprio, chamado CIM (Compuserve Information Manager), que dispunha de serviços como e-mail e  fóruns de discussão,  também dando acesso à Internet. Tornou-se bastante popular na década de 1990 e posteriormente foi fundido com a AOL, que assumiu os ativos.

Fórum de discussão
Um fórum de discussão é uma ferramenta para páginas de Internet destinada a promover debates por meio de mensagens publicadas abordando uma mesma questão. Também é chamado de "comunidade" ou "board". Foi criado por John Smith em 1987.
Lego Dimensions
Lego Dimensions é um jogo eletrônico de ação e aventura com temática de Lego desenvolvido pela Traveller's Tales e publicado pela Warner Bros. Interactive Entertainment, para PlayStation 4, PlayStation 3, Wii U, Xbox One e Xbox 360. O jogo segue o formato toys-to-life, onde o jogador

põe as estatuetas dos personagens em uma base para "transportá-los" para um ambiente com mais de 30 franquias diferentes. O Pacote Inicial, contendo o jogo, a base USB e três minifiguras, foi lançado em setembro de 2015, enquanto os pacotes de níveis e personagens adicionais foram lançados nos dois anos seguintes. Um terceiro ano de conteúdo foi planejado, mas foi cancelado em outubro de 2017.

Midway Games
A Midway Games Inc. foi uma desenvolvedora e publicadora norte-americana de jogos eletrônicos que era sediada em Chicago, Illinois. Foi fundada em 1958 sob o nome de Midway Manufacturing, sendo mais conhecida pela criação das franquias Mortal Kombat, Rampage, Spy Hunter, NBA Jam, Cruis'n e NFL Blitz, e por publicar os populares jogos Space Invaders e Pac-Man nos Estados Unidos.
Epsilon Delphini
Epsilon Delphini (Deneb Dulfim, Deneb, Al Dhanab al Dulfim, Dzaneb al Delphin, Cauda Delphini, 2 Delphini) é uma estrela na direção da constelação de Delphinus. Possui uma ascensão reta de 20h 33m 12.76s e uma declinação de +11° 18′ 12.0″. Sua magnitude aparente é igual a 4.03. Considerando sua distância de 359 anos-luz em relação à Terra, sua magnitude absoluta é igual a −1.18. Pertence à classe espectral B6III. É uma estrela variável suspeita.

Delphinus
Delphinus (Del), o Golfinho ou Delfim, é uma constelação do hemisfério celestial norte. O genitivo, usado para formar nomes de estrelas, é Delphini.

As constelações vizinhas, segundo a delineação contemporânea, são a Raposa, a Flecha, a Águia, o Aguadeiro, o Cavalo Menor e o Pégaso.
Campeonato Carioca de Futebol de 1932 (LMDT)
O Campeonato Carioca de Futebol de 1932 organizado pela Liga Metropolitana de Desportos Terrestres (LMDT) foi vencido pelo Boa Vista.

Desde a edição de 1925, a LMDT passou a ser formada apenas por clubes de pouca expressão. Embora esse campeonato seja formalmente estadual, a atual Federação de Futebol do Estado do Rio de Janeiro (FFERJ) não o lista na cronologia oficial do Campeonato Carioca – ao contrário dos vencedores dos torneios realizados pela LMDT, entre 1917 e 1924, que são reconhecidos pela FERJ como legítimos campeões cariocas.

Campeonato Carioca de Futebol de 1925 (LMDT)
O Campeonato Carioca de Futebol de 1925 organizado pela Liga Metropolitana de Desportos Terrestres (LMDT) foi vencido pelo Engenho de Dentro, com o Americano ficando com o vice-campeonato.

Com a saída do Vasco da Gama, campeão da liga no ano anterior, a LMDT passou a ser formada apenas por clubes de pouca expressão. Embora esse campeonato seja formalmente estadual, a atual Federação de Futebol do Estado do Rio de Janeiro (FFERJ) não o lista na cronologia oficial do Campeonato Carioca – ao contrário dos vencedores dos torneios realizados pela LMDT, entre 1917 e 1924, que são reconhecidos pela FFERJ como legítimos campeões cariocas.
Felipe Toledo
Felipe do Nascimento Toledo, mais conhecido como Felipe Toledo (São Paulo, 5 de setembro de 1989) é um jogador de futebol de salão brasileiro, que atua como fixo e ala direito.

Atualmente joga futebol de salão pela equipe do Taboão da Serra e futebol society pelo Corinthians.

Seleção Brasileira de Futebol de Salão Masculino (CNFS)
Seleção Brasileira de Futebol de Salão da CNFS é a seleção oficial de futebol de salão do Brasil, que participa dos campeonatos regidos pela AMF - Associação Mundial de Futsal, nas regras FIFUSA, e que tem como unidade organizadora a Confederação Nacional de Futebol de Salão, criada em 8 de março de 1991.

O Brasil participou de dez edições do Campeonato Mundial de Futebol de Salão, tendo sido o país-sede em 1982. A seleção brasileira de futebol de salão nas regras FIFUSA foi duas vezes campeã mundial (1982 e 1985).
Fases preliminares da Copa Libertadores da América de 2025
As fases preliminares da Copa Libertadores da América de 2025 foram disputadas de 4 de fevereiro a 13 de março de 2025. Um total de 19 equipes competiram nas fases de qualificação para decidir quatro das 32 vagas na fase de grupos da Copa Libertadores de 2025.

As equipes se enfrentaram em jogos eliminatórios de ida e volta, classificando-se a que somasse o maior número de pontos. Em caso de igualdade em pontos, a vaga seria definida em disputa por pênaltis.

Em 20 de dezembro de 2024, a CONMEBOL divulgou a tabela com datas e horários das partidas da primeira e segunda fases.

Copa Libertadores da América de 2025
A Copa Libertadores da América de 2025, oficialmente CONMEBOL Libertadores 2025, foi a 66.ª edição da competição de futebol realizada anualmente pela Confederação Sul-Americana de Futebol (CONMEBOL). Participaram clubes das dez associações sul-americanas.

Em uma reedição da final de 2021, dessa vez o Flamengo superou o Palmeiras por 1–0 no Estádio Monumental em Lima, Peru, para conquistar seu quarto título na competição, além de se tornar o primeiro clube brasileiro a atingir esse feito.

Como campeão, representou a CONMEBOL na Copa Intercontinental de 2025. No ano seguinte, enfrentará o Lanús, campeão da Copa Sul-Americana de 2025, na Recopa Sul-Americana de 2026, assim como se classificou automaticamente para a fase de grupos da Copa Libertadores da América de 2026 e para a segunda edição do quadrienal Mundial de Clubes FIFA, em 2029.