hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Prova da irracionalidade de π
No século XVIII, Johann Heinrich Lambert provou que o número π (pi) é irracional. Em outras palavras, ele não pode ser expresso como uma fração a/b, em que a é um número inteiro e b é um inteiro não nulo. No século XIX, Charles Hermite encontrou uma prova que não requer nenhum pré-requisito de conhecimento além de cálculo básico. Três simplificações da prova de Hermite são devidas a Maria Cartwright, Ivan Niven e Bourbaki. Outra prova, que é uma simplificação da prova de Lambert, é devida a Miklós Laczkovich.

Em 1882, Ferdinand von Lindemann provou que π não só é irracional, como também é transcendental.

Número inteiro
Um número inteiro é um número que pode ser escrito sem um componente fracional. Por exemplo, 21, 4, 0, e −2048 são números inteiros, enquanto 9,75, ⁠5+2/2⁠, e √2 não são. O conjunto dos números inteiros é representado pelo símbolo , cuja letra é originada da palavra alemã Zahlen ([ˈtsaːlən], "números").

Os inteiros (juntamente com a operação de adição) formam o menor grupo que contém o monoide aditivo dos números naturais. Como os números naturais, os inteiros formam um conjunto infinito.

Os números inteiros podem ser simétricos, quando os números têm sinais opostos, ou pode existir também o valor absoluto de um número inteiro, que é a distância entre a origem e o número.
Justiça Jovem
Justiça Jovem é um grupo de super-heróis adolescentes de história em quadrinhos, publicado pela DC Comics. O grupo teve sua própria história em quadrinho até 2004, quando seus integrantes passaram a fazer parte dos Novos Titãs.
O grupo foi criado por Peter David e Todd Nauck, que trabalharam em todas as edições regulares do história em quadrinho. A formação original do grupo contou com Robin, Miss Marte, Superboy e Kid Flash. Posteriormente, novos super-heróis pré-adolescentes integraram o grupo.

Superboy
Superboy é o nome de vários super-heróis fictícios que aparecem nos quadrinhos americanos publicados pela DC Comics. Esses personagens foram apresentados em várias séries de quadrinhos de mesmo nome, além de Adventure Comics e outras séries com grupos de super-heróis adolescentes.
LNB Pro B de 2021–22
A Temporada 2020–21 da LNB Pro B foi a 83ª edição da competição relativa a segunda divisão do basquetebol francês. Credencia ao campeão da temporada regular e ao vencedor dos playoffs de promoção uma vaga na liga Jeep Élite na próxima temporada, bem como relega as duas equipes pior qualificadas para a Nationale Masculine 1.

Liga Francesa de Basquetebol
A LNB Pro A (nome complet: Ligue Nationale de Basket Pro A; português: Liga Nacional de Basquetebol Pro A) é a competição de basquetebol de primeiro nível na França. A competição é disputada desde 1921 e desde 1987 A Ligue Nationale de Basket (LNB) organiza a liga. A duas equipes pior classificada são rebaixadas para o segundo nível, a LNB Pro B.
Espaços de Hölder
Em matemática, sobretudo na análise funcional e na teoria das equações diferenciais, os espaços de Hölder espaços vectoriais formados por funções contínuas que apresentam certas condições adicionais de regularidade. O espaço tem esse nome em homenagem ao matemático alemão Otto Hölder.

Mais do que simplesmente classes de regularidade, os espaços de Hölder por si mesmos possuem propriedades algébricas importantes: são  espaços normados completos na métrica induzida por sua norma, ou seja, são espaços de Banach.

Função suave
Na análise matemática e topologia diferencial, as classes de diferenciabilidade são famílias de funções com certas propriedades quanto à sua continuidade e de suas derivadas.

A classe das funções suaves corresponde àquelas funções que possuem derivadas de todas as ordens.
Cristóbal Rodríguez Juárez
Cristóbal Rodríguez Juárez (também Cristóbal Rodríguez Suárez) (1547 – 4 de novembro de 1613) foi um prelado católico romano que serviu como segundo arcebispo (título pessoal) de Arequipa (1612–1613) e arcebispo de Santo Domingo (1608–1612).

Arquidiocese de Arequipa
A Arquidiocese de Arequipa (Archidiœcesis Arequipensis) é uma circunscrição eclesiástica da Igreja Católica situada em Arequipa, Peru. Seu atual arcebispo é Javier Augusto Del Río Alba. Sua Sé é a Catedral Basílica de Arequipa.

Possui 75 paróquias servidas por 187 padres, contando com 1.295.659 habitantes, com 89% da população jurisdicionada batizada (1.153.136 batizados).
Estação Washington
A Estação Washington é uma das estações do VLT de Guadalajara, situada em Guadalajara, entre a Estação Mexicaltzingo e a Estação Santa Filomena. Administrada pelo Sistema de Tren Eléctrico Urbano (SITEUR), faz parte da Linha 1.

Foi inaugurada em 1º de setembro de 1989. Localiza-se no cruzamento da Estrada do Federalismo com a Avenida Francia. Atende o bairro Moderna.

VLT de Guadalajara
O VLT de Guadalajara, oficialmente Sistema de Tren Eléctrico Urbano, é um sistema de veículo leve sobre trilhos que opera em 3 municípios da Região Metropolitana de Guadalajara, no México. É operado pelo Sistema de Tren Eléctrico Urbano (SITEUR).

É composto atualmente por três linhas em operação, a Linha 1, Linha 2 e a Linha 3, que somam 48 estações e 48,0 km de extensão. O sistema entrou em operação no dia 1º de setembro de 1989, com o início da operação da Linha 1.

Atualmente, atende os seguintes municípios: Guadalajara, Tlaquepaque e Zapopan. O sistema transportou 424.403 passageiros em agosto de 2017.
Prestação
Prestação ou crediário é o objeto de uma obrigação. É o dar, fazer ou não fazer algo em nome de uma obrigação que se tem frente a outra pessoa, física ou jurídica. Assim, o pagamento de parcelas na aquisição de um bem em um estabelecimento comercial é uma prestação.

Prestação nada mais é do que o pagamento da dívida.

No comércio em geral, o valor das prestações são uma divisão exata do valor total da aquisição acrescidas de juros simples (normalmente para bens de consumo) ou juros compostos (mais comumente para veículos, imóveis e outros negócios com alto número de prestações).

Juro
Juro é a remuneração cobrada pelo empréstimo de dinheiro (ou outro item). É expresso como um percentual sobre o valor emprestado (taxa de juro).

O juro pode ser compreendido como uma espécie de "aluguel" de dinheiro. A taxa é uma compensação paga pelo tomador do empréstimo para ter o direito de usar o dinheiro até o dia do pagamento. O credor, por outro lado, recebe uma compensação por não poder usar esse dinheiro até o dia do pagamento e por correr o risco de não receber o dinheiro de volta (risco de inadimplência).
Haley Barbour
Haley Barbour (nascido em 22 de outubro de 1947) é um político norte-americano, foi governador de Mississippi de julho de 2004 a julho de 2012. Ele ganhou atenção nacional em agosto de 2005, depois de que o Mississippi foi atingido pelo Furacão Katrina. Era candidato a presidente pelo Partido Republicano dos Estados Unidos na eleição presidencial de 2012, desistiu em 25 de abril de 2011.

Furacão Katrina
O furacão Katrina foi uma tempestade tropical que alcançou a categoria 3 da escala de furacões de Saffir-Simpson em terra firme e categoria 5 no oceano Atlântico. Os ventos do furacão alcançaram mais de 280 km/h, e causaram grandes prejuízos na região litorânea do sul dos Estados Unidos, especialmente em torno da região metropolitana de Nova Orleans, em 28 de agosto de 2005 onde mais de um milhão de pessoas foram evacuadas. O furacão passou pelo sul da Flórida, causando em torno de dois bilhões de dólares de prejuízo e causando 1836 mortes diretas. Foi a 11.ª tempestade de 2005 a receber nome, sendo o quarto entre os furacões.

O furacão Katrina causou aproximadamente 1 800 mortes, sendo o terceiro furacão mais mortífero e um dos mais destrutivos a ter atingido os Estados Unidos. O furacão paralisou muito da extração de petróleo e gás natural dos Estados Unidos, uma vez que boa parte do petróleo americano é extraído no Golfo do México.
Diego de Muros (bispo das Ilhas Canárias)
Diego de Muros (falecido em 1507) foi um prelado católico romano que serviu como bispo das Ilhas Canárias (1496–1507). Foi um dos três bispos de Espanha com o mesmo nome que serviram contemporaneamente, sendo os outros Diego de Muros (bispo de Ciudad Rodrigo) e Diego de Muros (bispo de Oviedo).

Diego de Muros (bispo de Ciudad Rodrigo)
Diego de Muros (também Diego de Moiras) (1405–1492) foi um prelado católico romano que serviu como bispo de Ciudad Rodrigo de 1487 a 1492 e bispo de Tui de 1472 a 1487. Foi um dos três bispos de Espanha com o mesmo nome que serviram contemporaneamente, sendo os outros Diego de Muros (bispo das Ilhas Canárias) e Diego de Muros (bispo de Oviedo).
RawTherapee
RawTherapee é um programa multi-plataforma de processamento de imagem raw, lançado sob a licença GNU General Public License Versão 3. Ele foi originalmente escrito por Gábor Horváth de Budapeste, Hungria, antes de ser relicenciado como livre e software de código fonte aberto em janeiro de 2010. Ele é escrito em C++, usando GTK+ front-end e uma versão corrigida do 'dcraw' para a leitura de arquivos raw. É notável pelo controle avançado que fornece ao usuário sobre a remoção do efeito de mosaico e desenvolvimento do processo. Seu nome inicial era um acrônimo para: "Experimental Raw Photo Editor"; no entanto, a sigla foi descartada e RawTherapee é agora o nome do pacote.

RawTherapee compreende um subconjunto de edição de imagem de operações voltadas, especificamente, para pós-produção não-destrutiva de fotos raw e está focado principalmente na melhoria de fluxo de trabalho do fotógrafo, facilitando o manuseio de um grande número de imagens.

GTK
GTK (anteriormente GTK+ e GIMP Toolkit) é um toolkit multiplataforma para a criação de interfaces gráficas. É liberado sob a licença GNU LGPL, permitindo que softwares proprietários e livres o utilizem em sua construção. É um software livre e integra o projeto GNU. Foi desenvolvido inicialmente ao GIMP, por isso foi batizado de GIMP toolkit, com abreviação GTK+. Foi desenvolvido originalmente por Peter Mattis, Spencer Kimball e Josh MacDonald.

GTK e Qt suplantaram outros toolkits; e hoje são os dois conjuntos de widgets mais usados para as plataformas X11 e Wayland. O GTK é muito popular, sendo usado em um grande número de aplicações e no ambiente de desktop GNOME (que por sua vez também é muito popular).
História do Linux
A História do Linux começou em 1991 com o início de um projeto pessoal de um estudante finlandês chamado Linus Torvalds com o intuito de criar um novo núcleo de sistema operacional.

Desde então, o núcleo Linux resultante foi marcado por um crescimento constante ao longo de sua história. A partir do lançamento inicial de seu código-fonte em 1991, cresceu de um pequeno grupo de arquivos em C sob uma proibitiva licença de distribuição comercial, em 1991, a possuir mais de 370 megabytes de fonte sob a licença GPL.

GNU General Public License
Em propriedade intelectual, o GNU General Public License (Licença Pública Geral GNU, abreviada GNU GPL), comumente chamada GPL, é a designação da licença para software do tipo copyleft forte idealizada por Richard Matthew Stallman em 1989, no âmbito da criação do sistema GNU da organização Free Software Foundation (FSF). Originalmente Richard Stallman criou a licença para o Projeto GNU de acordo com as definições de software livre da Free Software Foundation.

Sendo uma licença copyleft, trabalhos derivados de um produto originalmente licenciado pela GPL só podem ser distribuídos se utilizarem a mesma licença. Isso é diferente das licenças permissivas como a licença BSD e a licença MIT, que possuem exigências mais simples.

Historicamente, as licenças GPL são utilizadas por projetos de software livre e de código aberto. Além dos programas de software produzidos pelo Projeto GNU, o núcleo Linux é um exemplo de uso da licença, valendo-se da versão 2 da GPL.
Rotação mental
A rotação mental é a capacidade de girar representações mentais de objetos bidimensionais e tridimensionais, uma vez que está relacionada com a representação visual de tal rotação dentro da mente humana. Existe uma relação entre áreas do cérebro associadas à percepção e rotação mental. Também pode haver uma relação entre a taxa cognitiva de processamento espacial, inteligência geral e rotação mental.

A rotação mental pode ser separada nos seguintes estágios cognitivos:

Crie uma imagem mental de um objeto de todas as direções.

Gire o objeto mentalmente até que uma comparação possa ser feita (orientando o estímulo para outra figura).

Faça a comparação.

Decida se os objetos são iguais ou não.

Relate a decisão (o tempo de reação é registrado quando a alavanca é puxada ou o botão pressionado).

Espaço tridimensional
O espaço tridimensional,[nota 1] de acordo com a linguística, é aquele que pode ser definido como tendo três dimensões (altura, profundidade e largura), o que na prática indica relevo. Os povos da antiguidade trabalhavam com formas volumétricas, mas o estudo metódico do tema pode ser encontrado nos livros de Euclides que também trabalhava com o tridimensional quando estudava os sólidos (embora a geometria euclidiana se dedique a geometria plana que inclui o espaço euclidiano).

A geometria analítica tridimensional e a geometria descritiva trataram do espaço tridimensional de maneiras diferentes, mas com conteúdo aproximado, a primeira usou a linguagem algébrica e a segunda a geométrica.
Tecla de Icônio
Santa Tecla foi uma virgem e protomártir membro de uma rica e influente família de Icônio. Foi agraciada pela Igreja com o título de "Igual aos Apóstolos" e "protomártir entre as mulheres". Muitas igrejas a ela foram dedicadas, entre as quais uma erigida em Constantinopla por Constantino. Tecla foi a intercessora das orações dos ascetas, tendo sido invocada durante a tonsura de mulheres no monasticismo.

Ascese
A ascese (do grego ἄσκησις, áskesis, "exercício espiritual", derivado de ἀσκέω, "exercitar") consiste em uma prática que visa ao desenvolvimento espiritual. Muitas vezes, essa prática consiste na renúncia ao prazer e na não satisfação de algumas necessidades primárias.

O conceito abrange um grande espectro de práticas, em culturas e etnias muito diferentes, que vão dos ritos iniciáticos (maus-tratos, incisões e escoriações no corpo, repreensões de extrema severidade, a mutilação genital ou a participação em provas que exigem actos excessivos de coragem) aos hábitos monásticos de diversas religiões, incluindo o celibato, o jejum e a mortificação do corpo por diversos meios.
Slalom
O slalom (também dito slalom especial) é uma das disciplinas do esqui alpino. Trata-se de uma descida na qual os esquiadores têm de passar através de uma série de pórticos ("portas"), dispostos num traçado que comporta curvas e arcos estreitos, com os atletas atingindo de 60 a 70 km/h. Em conjunto com o slalom gigante faz parte das disciplinas técnicas do esqui alpino, contrapondo-se às disciplinas de pura velocidade (descida livre e supergigante).

Tipicamente uma prova de slalom realiza-se em duas mãos ou mangas, e o vencedor é o esquiador que realize o menor tempo somado das duas descidas, sem deixar de passar por nenhum dos pórticos.

Descida livre (esqui)
A descida livre ou downhill é a modalidade de esqui alpino de percurso mais longo e na qual se atingem as velocidades mais elevadas. Exige muita habilidade e resistência devido às duas características referidas. Os pórticos estão separados por uma distância mínima de 8 metros, apenas se efectua uma descida e o vencedor é o mais rápido. Os esquiadores podem chegar a atingir velocidades de cerca de 150 km/h.
Minho (província)
O Minho é uma província histórica da região do Norte de Portugal, que esteve inserida na antiga província Entre Douro e Minho e que foi formalmente confirmada por uma reforma administrativa havida em 1936. Está compreendida pelo Baixo Minho e Alto Minho. No entanto, as províncias nunca tiveram uma atribuição prática, portanto desapareceram do vocabulário administrativo (ainda que não do vocabulário quotidiano dos portugueses) com a entrada em vigor da Constituição de 1976, passando a região, neste caso inserida na chamada Região do Norte, com as suas sub-regiões do Cávado, Ave e Minho-Lima.

É desta região minhota que surgira a maioria dos portugueses que colonizaram o Brasil a partir do século XVIII.

Ave (sub-região)
O Ave é uma sub-região portuguesa situada no noroeste do país, pertencendo à região do Norte. Tem uma extensão total de 1 452,9 km2 e com uma população de 418 455 habitantes em 2021 resultando numa densidade populacional de 288 habitantes por km2.

A área geográfica, da sub-região NUTS III do Ave, está limitada a norte com o Cávado, a leste com o Alto Tâmega, a sudeste com o Douro, a sul com o Tâmega e Sousa e a sudoeste com a Área Metropolitana do Porto.

Está composta por oito municípios e 189 freguesias, sendo Guimarães, com os seus 54.178 habitantes dentro dos limites da cidade e 156.849 habitantes em todo o município, a maior cidade e o maior município do Ave, sendo a cidade administrativa da sub-região e da Comunidade Intermunicipal do Ave.
Estação Ferroviária de Roma-Areeiro
A estação ferroviária de Roma-Areeiro, até 2003, o apeadeiro do Areeiro ou de Areeiro (nome anteriormente grafado como "Arieiro"), é uma estação de passageiros da Linha de Cintura; situa-se na cidade de Lisboa, em Portugal.

Gare do Oriente
A Gare do Oriente, também conhecida como Gare Intermodal de Lisboa (GIL), ou Estação Ferroviária de Lisboa - Oriente, ou Estação de Concentração de Lisboa Oriente, é uma das interfaces ferroviárias e rodoviárias mais importantes de Lisboa, em Portugal. Projetada pelo arquiteto e engenheiro espanhol Santiago Calatrava, ficou concluída em 1998, integrando a Expo’98, e, posteriormente, o Parque das Nações.
Pergelissolo
O permafrost ou pergelissolo (em português) é uma camada do subsolo da crosta terrestre que está permanentemente congelada. A maior parte está localizada no hemisfério norte, concentrando-se, principalmente, na região do Ártico, sobretudo em partes da Rússia (Sibéria), Estados Unidos (Alasca), Canadá e Dinamarca (Groenlândia).

Solidificação
A solidificação é a transição de fase na qual uma substância passa de seu estado líquido para sólido quando a sua temperatura diminui para baixo do ponto de solidificação. O processo inverso designa-se como fusão e ocorre no ponto de fusão. Na maioria das substâncias, o ponto de solidificação e o ponto de fusão são os mesmos.  A passagem direta do estado gasoso para o estado sólido é chamada de sublimação.

A solidificação ocorre devido à perda de energia cinética das partículas que compõem a substância durante o processo de resfriamento.
Rômulo Argentieri
Rômulo Argentièri ou Rômulo R. Argentière (Amparo - 23 de dezembro de 1916 — Carnaúba dos Dantas, 17 de março de 1995) foi um engenheiro de minas, cientista, jornalista e astrofísico brasileiro, pioneiro no estudo da física nuclear no Brasil.

Engenharia de minas
A engenharia de minas é o ramo da engenharia que se ocupa do aproveitamento dos recursos da Terra, especialmente através da exploração de minas, utilizando os conhecimentos de diversos ramos da ciência, particularmente os da geologia, da química e da física.

Entre outras áreas, a engenharia de minas intervém na pesquisa, prospeção e extração dos recursos minerais (incluindo minérios, águas minerais e hidrocarbonetos), na mineralogia e metalurgia, no tratamento e refinação de recursos minerais, na gestão do subsolo, construção de túneis e outros aspetos da engenharia subterrânea no âmbito da construção civil e na engenharia de combustíveis e explosivos.
Amido florideano
Amido florideano (ou amido das florídeas) é um tipo de glucano que serve de material de reserva da fotossíntese que é depositado livre no citoplasma das células das algas vermelhas e das glaucófitas. A designação «amido florideano» deriva de Florideae (presentemente geralmente designada por Florideophyceae), a classe de algas vermelhas a partir de cujas células o composto foi inicialmente identificado em meados do século XIX.

Glaucophyta
Glaucophyta (do grego: γλαυκός, glaucos, azul-esverdeado; e φυτόν, phyton, planta) é um pequeno grupo de algas de água doce, considerada no nível taxonómico de divisão, que se distingue devido à presença de cianelas, um tipo de cloroplastos que retêm características típicas das cianobactérias e estão ausentes dos plastos do resto das algas e plantas (por exemplo, possuem uma parede residual de peptidoglicano e carboxissomas). As glaucófitas são, juntamente com as plantas verdes (Chloroplastida ou Viridiplantae) e as algas vermelhas (Rhodophyceae), uma das três linhas básicas de desenvolvimento dos Archaeplastida, pelo que provavelmente existem desde o Arqueano como um grupo separado. Na sua presente circunscrição taxonómica, a divisão é um táxon monotípico tendo como única classe Glaucophyceae, com 3 ordens, cerca de 8-9 géneros e mais de 25 espécies descritas.
MEncoder
MEncoder é uma ferramenta que usa linha de comando para codificação de vídeos sob a Licença Pública Geral GNU. O MEncoder é distribuido juntamente com o MPlayer e permite converter de todos os formatos de vídeo aceites pelo MPlayer para um grande número de outros. Possui diversos filtros de áudio e vídeo para a manipulação dos arquivos. Devido a enorme quantidade de opções o MEncoder pode parecer pouco amigável no começo, mas ele é uma ferramenta extremamente poderosa para conversão de vídeo. Alguns frontends foram desenvolvidos para torná-lo mais acessível.

MPlayer
MPlayer é um reprodutor de midia multimídia de código aberto para diversos sistemas operacionais, como GNU/Linux, FreeBSD e Microsoft Windows, e é um dos que possuem suporte à maior quantidade de formatos de arquivos de vídeo. Tem suporte a vídeos em MPEG-1, MPEG-2, MPEG-4, DivX, XviD, DVDs, VCDs, Real Audio, QuickTime, entre outros. Suporta também a reprodução de vídeos via streaming RTP e HTTP, além de legendas. Pelo fato de o MPlayer não ter como principal objetivo a reprodução de vídeos via streaming, esse suporte não é configurado na instalação padrão.
Nacional Gás
Nacional Gás é uma empresa de distribuição de gás liquefeito de petróleo (GLP) no Brasil.

Detém cerca de 22% do mercado nacional de gás, atendendo mais de 8 milhões de pessoas nas mais de 5.000 revendedoras em todo o país.

Gás liquefeito de petróleo
O gás liquefeito de petróleo (GLP), também chamado de gás de petróleo liquefeito (GPL) e conhecimento coloquialmente como gás de cozinha no Brasil, é uma mistura de gases de hidrocarbonetos utilizado como combustível em aplicações de aquecimento (como em fogões) e veículos.

O GLP ou GPL é a mistura de gases condensáveis presentes no gás natural ou dissolvidos no petróleo. Os componentes do GLP, embora à temperatura e pressão ambientais sejam gases, são fáceis de condensar. Na prática, pode-se dizer que o GLP é uma mistura dos gases propano e butano.

O propano e o butano estão presentes no petróleo (crude, bruto) e no gás natural, embora uma parte se obtenha durante a refinação de petróleo, sobretudo como subproduto do processo de craqueamento catalítico (FCC, da sigla em inglês Fluid Catalytic Cracking).