hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
William Alvin Howard
William Alvin Howard (1926) é um lógico matemático estadunidense.

Howard obteve um doutorado em 1956 na Universidade de Chicago, orientado por Saunders Mac Lane e André Weil, com a tese k-fold recursion and well-ordering. Foi na década de 1960 professor da Universidade Estadual da Pensilvânia e depois da Universidade do Illinois em Chicago. É fellow da American Mathematical Society.

Howard mostrou com Haskell Curry (em trabalhos desde a década de 1930) uma analogia (isomorfismo de Curry-Howard) entre lógica intuicionista e cálculo lambda.

Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o  intuicionismo de Brouwer. O sistema preserva, também, a justificação, e não apenas a verdade, no processo que leva de hipóteses a proposições derivadas - se as hipóteses são verdadeiras e justificáveis então a conclusão também será verdadeira e justificável. De um ponto de vista prático, há, também, uma forte motivação para usar a lógica intuicionista, já que ela possui a propriedade existencial, tornando-a adequada para outras formas de construtivismo matemático.
Jason Leonard
Jason Leonard OBE (Londres, 14 de agosto de 1968) é um ex-jogador inglês de rugby union que atuava na posição de pilar.

Leonard jogou quatro Copas do Mundo, sendo o recordista de jogos no torneio, onde totalizou 22 partidas. Integrou o primeiro time da Inglaterra a ter vencido a competição, na edição de 2003 - no que representou um troco dos ingleses: a final foi contra a anfitriã Austrália, que os derrotara na decisão de 1991 (justamente, a primeira Copa de Leonard), quando os britânicos é que eram a sede.

Foi eleito um dos dezesseis melhores jogadores que passaram pelo Barbarians, clube que consiste virtualmente em uma "seleção do mundo", utilizado somente para amistosos, frequentemente com fortes seleções nacionais.

Copa do Mundo de Rugby Union de 1991
A Copa do Mundo de Rugby Union de 1991, realizada na Europa, foi a segunda edição do torneio. Ela foi realizada entre os dias 3 de outubro e 2 de novembro e teve a participação de 16 países divididos em 4 grupos de 4 componentes cada.
Anat Ratanapol
Anat Ratanapol (em tailandês:  อาณัติ รัตนพล; 13 de setembro de 1947) foi um atleta tailandês que foi um dos melhores velocistas asiáticos da década de 70. Foi várias vezes campeão asiático e do seu país, bem como recordista nacional de 100 e 200 metros. Participou em duas Olimpíadas: nos Jogos Olímpicos de Munique, em 1972, onde integrou o quarteto tailandês na prova da estafeta 4 x 100 metros e nos Jogos de Montreal, em 1976, onde participou nos 100 metros e nos 4 x 100 metros. Também esteve presente na edição inaugural da Taça do Mundo, na qual integrou a equipe asiática de 4 x 100 metros.

4 x 100 metros estafetas
4 x 100 metros estafetas (português europeu) ou revezamento 4 x 100 metros rasos (português brasileiro) é uma modalidade olímpica de atletismo, disputada por equipes de velocistas. A prova é constituída por quatro percursos iguais de 100 metros, percorridos por quatro atletas alternadamente e em sequência, na mesma raia, completando uma volta inteira na pista padrão de 400 metros, carregando um bastão que deve ser passado entre eles dentro de uma zona determinada.
Onustus indicus
Onustus indicus (nomeada, em inglês, Indian carrier-shell; na tradução para o português, "concha-transportadora-do-Índico") é uma espécie de molusco gastrópode marinho pertencente à família Xenophoridae, na ordem Littorinimorpha. Foi classificada por Johann Friedrich Gmelin, em 1791, originalmente denominada Trochus indicus; sendo distribuída pelas costas do Indo-Pacífico ao norte da Austrália, em águas rasas da zona nerítica. Onustus indicus é a espécie-tipo do gênero Onustus Swainson, 1840.

Zona nerítica
Em oceanografia chama-se zona nerítica ou província nerítica à região dos oceanos que corresponde ao relevo da plataforma continental e à camada de água situada sobre ela e que não sofre a influência das marés. É adjacente à zona litoral.

O relevo é recoberto de sedimentos oriundos dos continentes por meio da ação dos ventos, rios, enxurradas e geleiras. As águas que recobrem o fundo pertencem à zona eufótica, permitindo a fotossíntese. Em decorrência desses fatos apresenta muitos cardumes, sendo a região mais explorada pelas pescas e mais importante economicamente.
Empresa de Transportes e Trânsito de Belo Horizonte
A Empresa de Transportes e Trânsito de Belo Horizonte S/A (BHTRANS) é uma empresa municipal responsável pelo planejamento e execução das políticas de mobilidade e trânsito da cidade de Belo Horizonte, Minas Gerais. Juridicamente, é consitituída como uma sociedade de economia mista, de capital fechado e dependente de autorização (autorização do poder executivo para funcionar). 
O principal acionista da empresa é a Prefeitura de Belo Horizonte que detêm 98% do capital da BHTRANS. Os outros acionistas minoritários são a SUDECAP (Superintendência de Desenvolvimento da Capital) e a PRODABEL (Empresa de Informática e Informação do Município de Belo Horizonte S/A) ambos detêm, cada uma, 1% do capital da empresa.

Trânsito
Trânsito é a utilização das vias por veículos motorizados, veículos não motorizados, pedestres e animais de tração, para fins de circulação, parada passageira ou estacionamento.

Leis de trânsito são as leis que regem o tráfego e regulamentam os veículos, enquanto que leis da estrada são tanto as leis quanto as regras informais que se desenvolveram ao longo do tempo para facilitar e ordenar o fluxo do trânsito.
Yvette Kosmann-Schwarzbach
Yvette Kosmann-Schwarzbach (30 de abril de 1941) é uma matemática francesa. Foi professora de matemática da Universidade de Ciência e Tecnologia de Lille e trabalha desde 1993 na École polytechnique.

Kosmann-Schwarzbach obteve um doutorado em 1970 na Universidade de Paris, orientada por André Lichnerowicz, com a tese Dérivées de Lie des spineurs. É autora de mais de 50 artigos sobre geometria diferencial, álgebra e física matemática, e também co-editora de diversos livros sobre a teoria de sistemas integráveis. o levantamento de Kosmann em geometria diferencial leva seu nome.

Escola Politécnica (França)
A École Polytechnique (em português: Escola Politécnica) é a mais antiga, célebre e prestigiosa escola de engenharia, ciências e tecnologia da França. Atualmente pertence ao Institut Polytechnique de Paris, o qual é uma das escolas fundadoras. Entre seus ex-alunos estão vencedores do Prêmio Nobel, da Medalha Fields, Presidentes da França e muitos CEOs de empresas francesas e internacionais.

Fundada em 1794, durante a Revolução Francesa, é um estabelecimento público de ensino e pesquisa que se encontra sob a tutela do Ministério de Defesa da França. Seu lema "Pour la Patrie, les sciences et la gloire", enunciado por Napoleão Bonaparte, indica a relação estreita entre a École Polytechnique, o serviço da pátria e a excelência científica.
Naselje
Naselje (pl. naselja) é um settlement na Croácia, geralmente traduzido como assentamento. É a menor unidade de território croata. Assentamentos individuais são em geral referidos como selo (aldeia), enquanto naselje é uma categoria estatística e administrativa. As unidades de governo local na Croácia, cidades (em croata:  grad, gradovi) e municípios (em croata:  općina, općine), são compostos de um ou mais naselje. Existem atualmente 6.749 naselja na Croácia.
A Constituição da Croácia permite naselja para formar algum tipo de governo local, que normalmente é usado nas cidades.

Governo local
Os governos locais são serviços administrativos que são menores do que um Estado. O termo é usado para contrastar com serviços em nível de estado-nação, que se mencionam o governo central  ou (onde apropriado) governo federal.
Horace Parnell Tuttle
Horace Parnell Tuttle (Newfield, 17 de março de 1837 – Washington, D.C., 16 de agosto de 1923) foi um astrónomo estadunidense, e irmão de Charles Wesley Tuttle.

Descobriu ou codescobriu alguns cometas, incluindo 55P/Tempel-Tuttle e 109P/Swift-Tuttle. Outros cometas periódicos que levam seu nome são 8P/Tuttle e 41P/Tuttle-Giacobini-Kresak. O asteroide 5036 Tuttle recebeu esse nome em sua homenagem.

8P/Tuttle
8P/Tuttle (também conhecido como Cometa Tuttle) é um cometa periódico. Seu último periélio aconteceu no final de janeiro de 2008 e em fevereiro daquele ano, era visível para os observadores do Hemisfério Sul dotados com telescópio, na constelação de Eridanus. Em 30 de dezembro de 2007, estava em conjunção com a galáxia espiral M33. Em 2 de janeiro de 2008, passou próximo à Terra a uma distância de 0,25 UA.

O cometa 8P/Tuttle é responsável pela chuva de meteoros ursídeas a cada final de dezembro. Com a passagem do cometa no final de 2007 e início de 2008, esperava-se que as ursídeas fossem mais espetaculares e numerosas do que o habitual, devido ao retorno do cometa. A previsão não se materializou e as contagens de meteoritos ficaram dentro da faixa de distribuição normal.
Ponte Eshima Ohashi
A Ponte Eshima Ohashi (em japonês:  江島大橋, Eshima Ōhashi) é uma ponte de estrutura rígida no Japão que conecta Matsue, na província de Shimane, e Sakaiminato, na província de Tottori, sobre o lago Nakaumi. Foi construída de 1997 a 2004 e é a maior ponte de estrutura rígida do Japão e a terceira maior do mundo. Imagens da ponte foram amplamente divulgadas na internet, devido à sua natureza aparentemente íngreme quando fotografada à distância com uma lente telefoto, mas na verdade ela tem um gradiente menos pronunciado de 6,1% na lateral de Shimane e 5,1% gradiente ao lado do Tottori.

A ponte Eshima Ohashi substituiu a ponte levadiça anterior, uma vez que o tráfego era frequentemente obstruído por navios por cerca de 7 a 8 minutos, apenas veículos grandes com menos de 14 toneladas eram permitidos e apenas 4.000 veículos podiam atravessá-la por dia.

Shimane
Shimane (島根県, Shimane-ken) é uma prefeitura do Japão localizada na região de Chugoku na ilha principal de Honshu. A capital é Matsue. Ela é a segunda prefeitura menos populosa do Japão, atrás apenas de seu vizinho a leste, Tottori. A prefeitura possui uma area alongada de leste a oeste de face para as Montanhas Chugoku ao sul e o Mar do Japão ao norte. Ela é dividida em: região de Izumo a leste, região de Iwami a oeste e região de Oki, um pequeno grupo de ilhas na costa ao norte. A maior parte das cidades está perto da costa do Mar do Japão. O Santuário de Izumo, na cidade de Izumo é um dos jinjas mais antigos do Japão.
As Ilhas Oki no Mar do Japão também são parte da prefeitura de Shimane, que também afirma ter jurisdição sobre a ilha de Rochedos de Liancourt (Takeshima), controlada pela Coreia do Sul.
Hemiptarsenus unguicellus
Hemiptarsenus unguicellus é uma espécie de insetos himenópteros, mais especificamente de vespas pertencente à família Eulophidae.

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

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

Johan Wilhelm Zetterstedt
Johan Wilhelm Zetterstedt (1785 — 1874) foi um naturalista sueco, que trabalhou em insectos, nomeadamente em Diptera e Hymenoptera.

Zetterstedt estudou na Universidade de Lund, onde foi pupilo de Anders Jahan Retzius. Recebeu o título de professor em 1822, tendo sucedido a Carl Adolph Agardh como professor de botânica e economia prática em 1836, retirando-se como professor emérito em 1853. É mais conhecido como entomologista. As suas colecções de Diptera e Orthoptera da Escandinávia, da Lapónia e do resto do mundo, estão localizadas no Museu Zoológico da Universidade de Lund. Um dos seus estudantes foi Anders Gustaf Dahlbom.
Théodore de Bry
Théodore de Bry (Liège, 1528 – Frankfurt, 27 de março de 1598) foi um gravurista, ourives e editor famoso por suas representações das primeiras expedições europeias às Américas. Nasceu na atual Bélgica.

Editora
Uma editora é uma organização, frequentemente uma empresa (embora possa ser algum outro tipo de associação sem fins lucrativos), que coordena o processo de editoração e de publicação de obras literárias (como livros e partituras), discográficas (fonograma) e impressos (como jornais e revistas). Em geral as editoras se especializam em um tipo de publicação e área: livros, livros didáticos, obras de referência, partituras, discos, jornais, revistas e outros. Em geral também é a editora que arca com os custos de produção, divulgação e distribuição.

Em 2017, as duas maiores editoras do Brasil listadas entre as maiores do mundo, de acordo com o seu faturamento, eram a Somos Educação  e Editora FTD, respectivamente.
Bierbörse
A Bierbörse é uma festa popular envolvendo cerveja de diversos produtores e países. Ocorreu primeiramente em Leverkusen. Idealizada como alternativa às clássicas festas do vinho, sua popularidade foi lenta e gradualmente aumentando, abarcando atualmente 400 mil visitantes. Começa sempre numa sexta-feira e encerra na segunda-feira imediata.

Seus participantes oferecem até mil diferentes cervejas de todas as partes terrestres.

Sua concepção foi legalmente registrada pela firma Werner Nolden, com eventos itenerantes pelo território alemão. Em 2010 estão agendados eventos em 12 cidades alemãs, de Frankfurt (27 a 30 de maio), Colônia, Leipzig, Bad Keuznach, Viersen-Dünken, Mogúncia, Bonn, Düsseldorf, Leverkusen, Dorsten, Dormagen, até Karlsruhe (3 a 5 de setembro).

Leverkusen
Leverkusen é uma cidade da Alemanha localizada na Renânia do Norte-Vestfália. A cidade possui uma população de 161,341 (2005) e uma área de 78.85 km², sendo conhecida por ser a terra natal do time de futebol alemão Bayer 04 Leverkusen e a sede da empresa farmacêutica Bayer.

Leverkusen é uma cidade independente (kreisfreie Stadt) ou distrito urbano (Stadtkreis), ou seja, possui estatuto de distrito (Kreis).
NoteWorthy Composer
NoteWorthy Composer é um software (tipo shareware) de edição de partituras, para o computador, produzido pela  Noteworthy Sotfware. Este editor oferece ferramentas que permite: criar, gravar, editar, imprimir e reproduzir as suas próprias partituras na notação músical básica.

Shareware
Shareware é um programa de computador disponibilizado gratuitamente, porém com algum tipo de limitação. Sharewares geralmente possuem funcionalidades limitadas e/ou tempo de uso gratuito do software limitado, após o fim do qual o usuário é requisitado a pagar para acessar a funcionalidade completa ou poder continuar utilizando o programa. Um shareware está protegido por direitos autorais.

Esse tipo de distribuição tem como objetivo comum divulgar o software, assim os usuários podem testá-lo antes da aquisição.
Ilha Vega
A ilha Vega é uma pequena ilha a nordeste da Ilha James Ross, na Península Antártica. Os grandes glaciares são desconetados da ilha Vega.

É uma das muitas ilhas em torno da península da Terra de Graham, que são próximas da América do Sul.

Nordeste
Nordeste ou noreste (NE) é uma coordenada cartográfica situada entre o norte e o leste (ou este). Um dos pontos colaterais das rosa dos ventos. A palavra nordeste é a junção da palavra norte com este. Localizados em exatamente a 45 graus.
Valeriy Minko
Valeriy Vikentyevich Minko - em russo, Валерий Викентьевич Минько (Barnaul, 8 de agosto de 1971) é um ex-futebolista russo que atuava como defensor.

Revelado pelo Dínamo Barnaul em 1988, atuou em apenas 3 jogos pelo clube de sua cidade natal, antes de assinar com o CSKA Moscou em 1989.

Foi pelo clube do Exército Vermelho que Minko se destacou, atuando em 242 partidas até 2002, conquistando 3 títulos (Campeonato Soviético de 1991, Copa da URSS de 1990-91 e Copa da Rússia de 2001-02). Considerado um símbolo de raça e espírito de equipe pela torcida do CSKA, encerrou sua carreira com apenas 29 anos, quando defendia o Kuban Krasnodar.

Desde 2008, é auxiliar-técnico da equipe reserva do CSKA.

Professionalniy Futbolniy Klub Dinamo Barnaul
Professionalniy Futbolniy Klub Dinamo Barnaul - em russo: ФК «Динамо-Барнаул» - é um clube de futebol da cidade de Barnaul, na Rússia.

Fundado em 1957, manda seus jogos no Dynamo Stadium, em Barnaul, com capacidade para 16.000 torcedores.
Manuel Santana
Manuel Martínez Santana (Madri, 10 de maio de 1938 – Marbelha, 11 de dezembro de 2021), mais conhecido como Manolo Santana foi um tenista espanhol que brilhou como amador na década de 1960 quando ganhou três dos qautro torneios de Grand Slam. Foi representante da extinta divisão de tênis do Real Madrid, quando conquistou o Torneio de Wimbledon. Foi também medalhista olímpico, nos Jogos Olímpicos da Cidade do México, em 1968, quando venceu o torneio. Participou da Copa Davis representando a Espanha de 1958 a 1970, com um breve retorno em 1973, tendo como recordes 92 vitórias e 28 derrotas.

Santana foi introduzido ao International Tennis Hall of Fame em 1984.

Santana morreu em 11 de dezembro de 2021, aos 83 anos de idade, em Marbelha.

Copa Davis de 1970
A Copa Davis de 1970 foi a 59.ª edição do mais importante torneio do tênis masculino de seleções. Participaram da competição 53 equipes, sendo 31 na Zona Europeia, 11 na Zona Americana e 11 na Zona do Leste.

O Brasil venceu o Canadá na final da Zona Americana, a Índia derrotou a Austrália na final da Zona Oriental e Alemanha Ocidental e Espanha venceram os grupos da Zona Europeia. No Interzonal, a Alemanha Ocidental derrotou a Espanha e enfrentou os atuais campeões Estados Unidos, que venceram o Desafio Final. A final foi disputada no Harold Clark Courts em Cleveland, Ohio, Estados Unidos, entre 29 e 31 de agosto.
Cidades Ilustradas
Cidades Ilustradas é uma série de livros ilustrados com paisagens e cenários de cidades brasileiras feitos por autores de outros estados ou estrangeiros. A série foi publicada entre 2003 e 2013 pela editora Casa 21, num total de 13 volumes. A série ganhou duas vezes o Troféu HQ Mix na categoria "melhor projeto editorial", em 2006 e 2007.

Belo Horizonte, por Miguelanxo Prado

Rio de Janeiro, por Jano

Curitiba, por Cesar Lobo

Salvador, por Marcelo Quintanilha

Cidades do Ouro (Ouro Preto, Congonhas, Tiradentes, São João Del Rei e Diamantina), por Lelis

Belém, por Jean-Claude Denis

São Paulo, por David Lloyd

Florianópolis, por Guazzelli

Porto Alegre, por Carlos Nine

Brasília, por Edgar Vasques

São Luís, por Fábio Moon e Gabriel Bá

Niterói, por Joaquim da Fonseca

Manaus, por Lourenço Mutarelli

Congonhas
Congonhas é um município brasileiro no interior do estado de Minas Gerais, Região Sudeste do país. Localiza-se na região central do estado e ocupa uma área de cerca de 300 km², sendo que 22,8 km² está em perímetro urbano. Sua população foi estimada em 52 890 habitantes em 2022.
Henrique Ferreira Botelho
Henrique Ferreira Botelho (Casa do Condado, 1880 - Vila Pouca de Aguiar, 1954) foi um médico-cirurgião e político português.

Ainda na primeira infância desloca-se para Vila Real, quando o seu pai Henrique Manuel Ferreira Botelho (1845 - 1909) ocupa primeiramente o cargo de médico director do Hospital. Fez os estudos primários e secundários com distinção.

Vila Pouca de Aguiar
Vila Pouca de Aguiar é uma vila portuguesa localizada na sub-região do Alto Tâmega, pertencendo à região do Norte e ao distrito de Vila Real.

É sede do município homónimo que tem uma área total de 437,07 km2, 11.813 habitantes em 2021 e uma densidade populacional de 27 habitantes por km2, subdividido em 14 freguesias. O município é limitado a norte pelo município de Chaves, a leste por Valpaços e Murça, a sul por Alijó, Sabrosa e Vila Real, a oeste por Ribeira de Pena e a noroeste por Boticas.
Imunomodulação relacionada à transfusão
A imunomodulação relacionada à transfusão (TRIM, do inglês: transfusion-related immunomodulation) refere-se à depressão transitória do sistema imunológico após a transfusão de produtos sanguíneos. Este efeito foi reconhecido em grupos de indivíduos submetidos a transplante renal ou que tiveram abortos espontâneos múltiplos. Algumas pesquisas mostraram que, por causa dessa depressão imunológica, as transfusões de sangue aumentam o risco de infecções e de recorrência do câncer. No entanto, outros estudos não mostraram essas diferenças e o grau de impacto da transfusão na infecção e na recorrência do tumor não é bem compreendido.

Transplante renal
O transplante renal é uma das terapias de substituição renal em indivíduos portadores de doença renal crônica terminal por proporcionar melhor qualidade de vida aos pacientes, assim como uma redução do risco de mortalidade quando comparados a pacientes em terapia renal substitutiva, sendo hemodiálise e diálise peritoneal.
Nahr-e Abu Azim
Nahr-e Abu Azim (em persa: نهرابوعظيم, também romanizada como Nahr-e Abū ‘Aẕīm; também conhecida como Abū ‘Aẕīm) é uma aldeia do distrito rural de Nasar, no condado de Abadan, na província de Khuzistão, Irã.

Segundo o censo de 2006, sua população era de 308 habitantes, em 48 famílias.

Cuzistão
Cuzistão ou Cuzestão[carece de fontes?] (em persa: استان خوزستان; romaniz.: Ostān-e Khūzestān; lit. "Terra do Cuzistão"; anteriormente conhecida como Arabistão) é uma província do Irã sediada em Avaz. Tem 64 055 quilômetros quadrados e de acordo com o censo de 2019, havia 4 885 000 residentes. Se divide em 27 condados.
Craig Thompson
Craig Thompson (Traverse City, 21 de setembro de 1975) é um autor de histórias em quadrinhos dos Estados Unidos. É autor da obra Blankets (Lançada no Brasil com o título Retalhos), graphic novel autobiográfica pela qual ganhou dois prêmios Eisner.

Traverse City
Traverse City é uma cidade localizada no estado americano de Michigan, no Condado de Grand Traverse e Condado de Leelanau, às margens do Lago Michigan. A economia da cidade baseia-se primariamente no turismo. Durante o verão, é ponto de encontro de muitas tribos que visitam a cidade pelas lindas praias e águas cristalinas. Outra fonte de renda importante da cidade é a agricultura. A cidade reivindica o posto de capital da cereja dos Estados Unidos.
San Jose (Romblon)
San Jose é um município de  quinta classe de renda municipal (d) na província Romblon, nas Filipinas. De acordo com o censo de 1 de maio  de  2020 possui uma população de 11 759 pessoas e 2 832 domicílios.

Romblão
Romblão (Romblon) é um província de  classe de renda da terceira província (d) na região Mimaropa (Região IV-B), nas Filipinas. De acordo com o censo de 1 de maio  de  2020 possui uma população de 308 985 pessoas e 23 575 domicílios.

A sua capital é Romblão (município). Um dos municípios da ilha, Banton é considerado o Centro Geográfico do país.
Kirk Hinrich
Kirk James Hinrich (Sioux City, Iowa, 2 de janeiro de 1981) é um ex-jogador de basquete Norte-americano que jogava como armador.

Ele atuou no Washington Wizards e Atlanta Hawks, além de 7 temporadas no Chicago Bulls, onde usava a camisa 12 e foi capitão da equipe, ganhando o apelido de "Captain Kirk".

Temporada da NBA de 2006–07
A temporada 2006-2007 da NBA foi a 61ª temporada da National Basketball Association e teve o San Antonio Spurs como campeão.  A 1ª fase iniciou-se em 31 de Outubro de 2006 e seguiu até 18 de Abril de 2007. A Liga conta com 30 equipes, separadas por duas conferências e 6 divisões.  Após a temporada regular foram disputados os playoffs, a partir de 21 de Abril de 2007, classificando os campeões de cada conferência para as finais em Junho.