hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Língua caingangue
A língua kaingang, também chamada jê e kaigang, é uma língua indígena brasileira em situação definitivamente ameaçada de acordo com a UNESCO. Ela é falada por cerca de 62,5% do povo Kaingang, cuja população é de aproximadamente 30.000 pessoas, presentes nos estados de São Paulo, Paraná, Santa Catarina e Rio Grande do Sul

A língua pertence ao tronco linguístico Macro-jê, compõe a família linguística Jê e, junto a língua laklãnõ, forma o ramo linguístico Jê Meridional.

SIL International
A SIL International (anteriormente conhecida como Summer Institute of Linguistics ou Instituto Lingüístico de Verano (ILV), por vezes denominada em português Sociedade Internacional de Linguística ou Associação Internacional de Linguística) é uma organização científica de inspiração cristã evangélica sem fins lucrativos cujo objectivo primário é o estudo, o desenvolvimento e a documentação de línguas menos conhecidas a fim de traduzir a Bíblia. Fornece recursos para estudos linguísticos através de Ethnologue. A sua sede internacional situa-se na cidade de Dallas, Texas.
Joel Goldsmith
Joel Goldsmith (19 de novembro de 1957 – 29 de abril de 2012) foi um compositor estadunidense de trilhas sonoras para filmes, programas de televisão e jogos eletrônicos. Ele era filho do também compositor Jerry Goldsmith, tendo colaborado com o pai em algumas ocasiões.

Ele foi o compositor principal da série Stargate SG-1, apesar do tema principal ter sido composto por David Arnold. Em Stargate Atlantis, ele compôs o tema de abertura e a trilha sonora.

Goldsmith colaborou com seu pai Jerry Goldsmith em algumas ocasiões, com a mais conhecida sendo Star Trek: First Contact.

Goldsmith morreu em 29 de abril de 2012.

David Arnold
David Arnold (23 de janeiro de 1962), é um compositor inglês. Responsável por compor trilhas sonoras para o cinema e a televisão. Ele é mais famoso por compor a música para os filmes Stargate (1994), Independence Day (1996), cinco filmes da franquia James Bond e para a série de televisão da BBC Sherlock (2010).
Estádio Municipal de Butarque
O Estádio Municipal de Butarque é um estádio multiuso da Espanha, localizado na cidade de Leganés, na Comunidade de Madrid, e utilizado pelo clube homônimo para mando de seus jogos.

O nome faz referência a um arroio (Arroio Butarque) e também a Nossa Senhora de Butarque, padroeira da cidade.

Leganés
Leganés é uma cidade e município espanhol, situado na província de Madrid. Tem 43,1 km² de área e em 2021 tinha 187 762 habitantes (densidade: 4 356,4 hab./km²). Funciona como dormitório de Madrid. Apesar desta função suburbana possui fábricas de cimento, galvanoplastia e de artigos de madeira. Os seus arredores são ricos em cereais e legumes.[carece de fontes?] Nela há um campus da Universidad Carlos III de Madrid.
Monoglicerídeo
Monoglicerídeos (também: acilgliceróis ou monoacilgliceróis) são uma classe de glicerídeos compostos por uma molécula de glicerol ligada a um ácido graxo por meio de uma ligação éster. Como o glicerol contém grupos de álcool primário e secundário, podem ser formados dois tipos diferentes de monoglicerídeos: 1-monoacilgliceróis, em que o ácido graxo está ligado a um álcool primário, ou 2-monoacilgliceróis, em que o ácido graxo está ligado ao álcool secundário.

Óleo vegetal
O óleo vegetal é uma gordura extraída de plantas formada por triglicerídio. Geralmente extraído das sementes das plantas. Substância biocompatível. Apesar de, em princípio, outras partes da planta poderem ser utilizadas na extracção de óleo, na prática este é extraído na sua maioria (quase exclusivamente) das sementes.
Os óleos vegetais são utilizados como óleo de cozinha, pintura, lubrificante, cosméticos, farmacêutico, iluminação, biocombustível (biodiesel ou puro) e para usos industriais. Alguns tipos de óleos, tais como o óleo de colza, algodão ou rícino são impróprios para consumo humano sem o devido processamento prévio.

Como todas as gorduras, os óleos vegetais são ésteres de glicerina e uma mistura de ácidos gordos e são insolúveis em água, mas solúveis em solventes orgânicos.

Tem sido gerador de impactos ambientais, pois jogado em pias, pode causar grandes danos às tubulações e ao meio-ambiente.
Luge nos Jogos Olímpicos de Inverno de 1994
O luge nos Jogos Olímpicos de Inverno de 1994 consistiu de três eventos: dois individuais (masculino e feminino) e um em duplas mistas. Foram realizados na Hunderfossen em Lillehammer, na Noruega, entre 13 e 18 de fevereiro.

Jogos Olímpicos de Inverno de 1994
Os Jogos Olímpicos de Inverno de 1994 (em norueguês: De 17. olympiske vinterleker; em novo norueguês: Dei 17. olympiske vinterleikane), oficialmente XVII Jogos Olímpicos de Inverno, foram um evento multiesportivo celebrados em Lillehammer, na Noruega, com 1737 atletas de 67 países. Os jogos se realizaram de 12 a 27 de fevereiro.

Em 1986 o Comitê Olímpico Internacional votou por realizar os Jogos Olímpicos de Verão e de Inverno em anos separados, sendo que eram disputados no mesmo ano desde a introdução dos Jogos de Inverno em 1924, passando a ser realizados a cada dois anos alternados iniciando com a edição de 1994. Desta forma estas foram as primeiras Olimpíadas de Inverno não disputadas no mesmo ano das Olimpíadas de Verão e única realizada oficialmente dois anos após a edição anterior. Com esta alteração no ciclo, a próxima edição dos Jogos de Inverno foi realizada em 1998.
Cyril Vasil'
Cyril Vasiľ, SJ (nascido em 10 de abril de 1965, Košice, Eslováquia) é um prelado jesuíta eslovaco que atuou na Cúria Romana e atualmente serve como Eparca de Košice na Igreja Católica Bizantina Eslovaca. Ele detém o título pessoal de arcebispo.

Igreja Católica Bizantina Eslovaca
A Igreja Católica Bizantina Eslovaca, ou a Igreja Greco-Católica Eslovaca, é uma Igreja particular oriental sui iuris em comunhão com a Igreja Católica. Isto quer dizer que ela, nunca abandonando as suas veneráveis tradições e ritos litúrgicos orientais, aceita a autoridade e primazia do Papa. Unida formal e oficialmente à Santa Sé em 1646, esta Igreja foi fruto de uma cisão ocorrida na Igreja Ortodoxa.

Atualmente, esta Igreja oriental é governada por um Arcebispo Metropolita, juntamente com o seu Concílio de Hierarcas, mas sempre sob a supervisão do Papa. O seu rito litúrgico é de tradição bizantina. Em 2017, a Igreja contava com 207.320 católicos gregos eslovacos, representando cerca de um por cento de todos os católicos orientais.

A simples existência da Igreja Greco-Católica Eslovaca não significa que a Eslováquia não tenha católicos de rito latino. Aliás, os católicos latinos constituem a maioria absoluta dos católicos existentes na Eslováquia.
Bloober Team
Bloober Team SA é uma desenvolvedora de jogos eletrônicos polonesa sediada em Cracóvia. Fundada em novembro de 2008 por Piotr Babieno e Piotr Bielatowicz, a empresa é mais conhecida por desenvolver Layers of Fear (2016), Observer (2017), Blair Witch (2019) e The Medium (2021). Em janeiro de 2018, a Bloober Team recebeu o prêmio Paszport Polityki na categoria "Cultura Digital".

Desenvolvedora de jogos eletrônicos
Uma desenvolvedora de jogos eletrônicos é uma produtora de software especializada no desenvolvimento de jogos eletrônicos. Uma empresa pode se especializar em uma certa plataforma ou pode criar jogos para uma variedade de sistemas. Algumas empresas também se especializam em certos tipos de jogos, como RPGs ou tiro em primeira pessoa.

Algumas grandes publicadoras, como a Nexon, Nintendo, Xbox Game Studios, Sony Interactive Entertainment, Rockstar Games e a Electronic Arts mantêm seus próprios estúdios de produção.
2004 VX75
2004 VX75, também escrito como 2004 VX75, é um objeto transnetuniano que está localizado no Cinturão de Kuiper, uma região do Sistema Solar. Este corpo celeste é classificado como um provável cubewano. Ele possui uma magnitude absoluta de 7,1 e tem um diâmetro estimado com 167 km.

Objeto clássico do cinturão de Kuiper
Em astronomia, um objeto clássico do cinturão de Kuiper ou objeto clássico da cintura de Kuiper, também chamado de cubewano, é um objeto do cinturão de Kuiper que tem uma órbita além da órbita de Netuno e que não é controlado por nenhuma ressonância orbital com o planeta. Cubewanos têm semieixos maiores de cerca de 40 a 50 UA e ao contrário de Plutão, não cruzam a órbita de Netuno.

Objetos classificados como cubewanos incluem:

15760 Albion, o primeiro objeto transnetuniano conhecido depois de Plutão;

Makemake, o maior cubewano conhecido. É também um planeta anão;

50000 Quaoar e 20000 Varuna, que eram os maiores objetos transnetunianos conhecidos na época da descoberta;

19521 Caos, 58534 Logos, 53311 Deucalião, 66652 Borasisi, 88611 Teharonhiawako;

(33001) 1997 CU29, (55636) 2002 TX300, 55565 Aya, 55637 Uni.

Haumea (2003 EL61) foi listado provisoriamente como um cubewano pelo Minor Planet Center em 2006, mas não é mais considerado um.
Postúmia (gente)
A gente Postúmia (em latim: Postumia, pl. Postumii) era uma das mais antigas gentes patrícias da Roma Antiga. Seus membros com frequência ocuparam os cargos mais algos da magistratura romana, desde a fundação até a queda da república. O primeiro a chegar ao consulado foi Públio Postúmio Tuberto, em 505 a.C., quatro anos depois da expulsão dos Tarquínios

Prenome
O prenome (do latim praenōmen, composto do prefixo prae- «pre-» e nomen «nome») é o elemento onomástico que se conjuga com o apelido de família (sobrenome) na forma de designar as pessoas. Na língua coloquial, são mais comuns os termos nome próprio e nome de batismo.

A cada pessoa podem ser atribuídos um ou mais prenomes quando nasce ou quando é batizada.

Em algumas culturas e idiomas (por exemplo em húngaro, vietnamita, chinês, japonês ou coreano), o apelido de família precede o prenome na ordem do nome completo, como Deng Xiaoping, sendo Deng o apelido de família e Xiaoping o prenome.
NGC 2681
NGC 2681 é uma galáxia espiral barrada (SB0-a) localizada na direcção da constelação de Ursa Major. Possui uma declinação de +51° 18' 47" e uma ascensão recta de 8 horas, 53 minutos e 32,5 segundos.

A galáxia NGC 2681 foi descoberta em 17 de Março de 1790 por William Herschel.

Ursa Maior
A Ursa Maior  (UMa) é uma grande, famosa e a mais reconhecível constelação do hemisfério celestial norte. O genitivo em latim, usado para formar nomes de estrelas, é Ursae Majoris. É conhecida há mais de dois mil anos, sendo de conhecimento até dos antigos egípcios.

As constelações vizinhas, segundo a padronização atual, são o Dragão, a Girafa, o Lince, o Leão Menor, o Leão, a Cabeleira de Berenice, os Pegureiros e o Boeiro.
Bema (Lombardia)
Bema é uma comuna italiana da região da Lombardia, província de Sondrio, com cerca de 144 habitantes. Estende-se por uma área de 19 km², tendo uma densidade populacional de 7,6  hab./km². Faz fronteira com Albaredo per San Marco, Averara (BG), Cosio Valtellino, Gerola Alta, Morbegno, Pedesina, Rasura.

Morbegno
Morbegno é uma comuna italiana da região da Lombardia, província de Sondrio, com cerca de 11.082 habitantes. Estende-se por uma área de 15 km², tendo uma densidade populacional de 739 hab/km². Faz fronteira com Albaredo per San Marco, Bema, Civo, Cosio Valtellino, Dazio, Talamona, Traona.
Ryback
Ryan Allen Reeves (futuramente Ryback Allen Reeves; Las Vegas, 10 de novembro de 1981) é um lutador de wrestling profissional estadunidense mais conhecido por sua passagem na WWE, sob o nome de Ryback.

Após ser um dos oito finalistas do WWE Tough Enough 4, ele foi contratado pela WWE, lutando nos territórios de desenvolvimento Deep South Wrestling e Florida Championship Wrestling, e Ohio Valley Wrestling de 2005 até 2007. Durante esse tempo, ele formou uma dupla com Jon Bolen chamada High Dosage. Ele também participou da primeira temporada do WWE NXT em 2010 e venceu o Campeonato Intercontinental em meados de 2015. Foi liberado da empresa em agosto de 2016.

Grapples de luta profissional
Manobras de grapple, na luta profissional, são as técnicas que envolvem o uso do corpo do wrestler para levantar, erguer, segurar e derrubar o oponente, sendo o tipo de movimento mais utilizado em um combate. Algumas dessas manobras são ilegais em algumas companhias de luta profissional, pois podem causar sérios danos, especialmente em um ambiente competitivo. Muitas manobras são conhecidas por vários nomes diferentes. Os lutadores, freqüentemente, dão ao seu "finisher", nomes que reflitam sua gimmick.
Copa Federação Maranhense de Futebol de 2022
A Copa FMF de 2022 é uma competição organizada pela Federação Maranhense de Futebol para definir representantes na Série D do Campeonato Brasileiro e para a Copa do Brasil. A competição foi disputada entre 16 de outubro e 19 de novembro. O troféu da competição foi nomeado em homenagem ao jornalista e radialista Roberto Fernandes, morto em abril de 2020 em decorrência de Covid-19.

Copa Federação Maranhense de Futebol
A Copa Federação Maranhense de Futebol, mais conhecida como Copa FMF é um torneio realizado pela Federação Maranhense de Futebol para indicar um dos representantes do estado na Copa do Brasil e para Série D do Campeonato Brasileiro. O torneio é realizado no segundo semestre e conta com as equipes de futebol do estado que não disputarão nenhuma divisão do Campeonato Brasileiro de Futebol. O torneio teve vários nomes durante sua existência, como Taça Cidade de São Luís de Futebol entre 1967 e 2009 , Copa União do Maranhão entre 2010 e 2012 e Copa São Luis em 2013. Depois de um tempo de hiato, em 2018 a competição voltou passando a ter o nome atual. Em 2023, foi anunciado que não será realizado o torneio.
Moiety
No estudo antropológico de parentesco, uma Moiety é um grupo de descendentes que coexiste apenas com um outro grupo de descendência dentro de uma sociedade. Nesses casos, a comunidade geralmente tem escendência unilinear, Patrilinear ou Matrilinear, de modo que qualquer indivíduo pertença a um dos dois grupos de partes por nascimento e todos casamentos ocorrem entre membros de porções opostas. É um sistema exogâmico de clãs, no caso com apenas dois clãs.

No caso de um sistema de descendência patrilinear, isso pode ser interpretado como um sistema no qual as mulheres são trocadas entre as duas porções. As sociedades de grupos étnicos são encontradas particularmente entre os povos indígenas da América do Norte e da Austrália

Exogamia
A exogamia é a norma social de acasalar ou casar fora do próprio grupo social. O grupo define o escopo e a extensão da exogamia, e as regras e mecanismos de aplicação que garantem sua continuidade. Uma forma de exogamia é a exogamia dual, na qual dois grupos se casam continuamente entre si.

Nas ciências sociais, a exogamia é vista como uma combinação de dois aspectos relacionados: biológico e cultural. A exogamia biológica é o casamento de pessoas que não são parentes consanguíneos. Isso é regulado por tabus de incesto e leis contra o incesto. A exogamia cultural é casar fora de um grupo cultural específico; o oposto sendo endogamia, o casamento dentro de um grupo social.
A Arte Brasileira (livro)
Referência para compreender o desenvolvimento da arte no Brasil, o livro A Arte Brasileira foi publicado pelo jornalista e crítico de arte, Gonzaga Duque (Rio de Janeiro, 21 de junho de 1863 — Rio de Janeiro, 29 de setembro de 1911), em 1888. Na tentativa de identificar as condições e o desenvolvimento da arte brasileira, a publicação é construída em cima de uma crítica sobre a produção artística do século XIX. Para isso, o escritor realiza um balanço em cima da produção como pintura, escultura e decoração desde a época colonial.

Henrique Bernardelli
Henrique Bernardelli (Valparaíso, 15 de julho de 1858 — Rio de Janeiro, 6 de abril de 1936) foi um pintor, desenhista e professor da Escola Nacional de Belas Artes (Anba) no Rio de Janeiro. Umas das obras mais emblemáticas do pintor é o retrato de Machado de Assis para a Academia Brasileira de Letras.
Retribution (2023)
Retribution (bra: A Chamada; prt: Retaliação) é um filme de 2023, dos gêneros suspense e ação, dirigido por Nimród Antal a partir do roteiro de Chris Salmanpour. O filme é estrelado por Liam Neeson, Noma Dumezweni, Lilly Aspell, Jack Champion, Embeth Davidtz e Matthew Modine. É uma nova versão do filme espanhol de 2015 El desconocido.

Retribution foi lançado na França em 23 de agosto de 2023 e nos Estados Unidos em 25 de agosto de 2023.

El desconocido
El desconocido (prt: O Desconhecido) é um filme galego realizado pelo monfortino Daniel de la Torre, protagonizado por Luís Tosar e Goya Toledo e rodado integralmente na Corunha. Estreou-se nos cinemas de Espanha a 25 de setembro e em Portugal a 29 de outubro de 2015.
Fenil
Na química orgânica, o fenil é um radical derivado de um anel aromático, o benzeno. Possui a fórmula C6H5.

É altamente estável e um de seus compostos mais simples se dá quando associado à uma hidroxila, formando o fenol C6H5OH. O fenil difere do benzil, outro radical derivado de anel aromático, apenas por um radical metileno.

Em representações compactas de compostos químicos, o fenil costuma ser abreviado para Ph (do seu nome em inglês phenyl), por exemplo em PPh3 (trifenilfosfina).

Em resumo, o Fenil é um benzeno com um dos elétrons desemparelhados (radical). O nome é derivado do alemão "FENO" que significa benzeno e IL que remete ao termo radical.

Hidroxila
Em química, uma hidroxilaPB ou hidroxiloPE (também chamada de oxidrila) é um grupo funcional presente nas bases dos hidróxidos, representado pelo radical OH• e formado por um átomo de hidrogênio e um de oxigênio.
Obtidas geralmente através da dissociação de uma base, as hidroxílas também determinam o carater ácido-básico (pH) de uma solução, sendo que quanto maior  sua concentração, maior é o carater básico e menor o ácido.

Grupos inorgânicos que contém hidroxilas são denominados hidróxidos, e alguns exemplos:

Hidróxido de cálcio, Ca(OH)2;

Hidróxido de sódio, NaOH;

Hidróxido de amônio, NH4OH.

Substâncias orgânicas cujas moléculas contêm hidroxila:

Álcoois;

Fenóis.
NGC 7589
NGC 7589 é uma galáxia espiral (Sa) localizada na direcção da constelação de Pisces. Possui uma declinação de +00° 15' 42" e uma ascensão recta de 23 horas, 18 minutos e 15,6 segundos.

A galáxia NGC 7589 foi descoberta em 23 de Outubro de 1864 por Albert Marth.

Peixes (constelação)
Pisces, os Peixes, é uma constelação do Zodíaco. O genitivo, usado para formar nomes de estrelas, é Piscium. A principal delas, α Psc, chama-se também Alrisha, que quer dizer "o Nó", em referência ao elo que une os dois peixes que eram a deusa Afrodite e seu filho Eros, transformados para poderem escapar do titã Tifão.

As constelações vizinhas, segundo as fronteiras modernas, são o Triângulo, a Andrômeda, o Pégaso, o Aguadeiro, a Baleia e o Carneiro.
Oh Yeong-su
Oh Yeong-su (em coreano:  오영수; 19 de outubro de 1944) é um ator sul-coreano. Ele começou a atuar no palco em 1967. Posteriormente, começou a atuar na tela, muitas vezes retratando monges devido à sua experiência com peças budistas.

Em 2021, o ator interpretou Oh Il-nam na primeira temporada da série dramática de sobrevivência da Netflix, Squid Game, o qual lhe rendeu reconhecimento mundial e um Globo de Ouro de Melhor Ator Coadjuvante em Série, Minissérie ou Filme para Televisão, bem como uma indicação ao Prêmio Emmy Award de Melhor Ator Coadjuvante em Série Dramática.

Globo de Ouro de melhor ator coadjuvante em cinema
Lista dos nomeados e vencedores do prémio Globo de Ouro de Melhor Ator coadjuvante em cinema, no Brasil, ou de Melhor Ator secundário em cinema, em Portugal. No original em inglês, o prémio é denominado  Golden Globe Award for Best Supporting Actor – Motion Picture.
Haplophaedia
Haplophaedia é um género de beija-flor da família Trochilidae.

Este género contém as seguintes espécies:

calçadinho-esverdeado-do-sul, calçudo-de-patas-ruivas  -  Haplophaedia assimilis (Elliot, 1876)

calçadinho-esverdeado-do-norte, calçudo-esverdeado  -  Haplophaedia aureliae (Bourcier e Mulsant, 1846)

calçudo-grisalho, calçadinho-grisalho  - Haplophaedia lugens (Gould, 1851)

Haplophaedia assimilis
Calçadinho-esverdeado-do-sul ou calçudo-de-patas-ruivas (Haplophaedia assimilis) é uma espécie de ave da família Trochilidae (beija-flores).

Pode ser encontrada nos seguintes países: Bolívia e Peru.

Os seus habitats naturais são: regiões subtropicais ou tropicais húmidas de alta altitude e florestas secundárias altamente degradadas.
Tupolev Tu-2
O Tupolev Tu-2 (nomes de projeto ANT-58 e 103; Designação NATO Bat) foi um bombardeiro bimotor soviético de alta velocidade e linha de frente que operou durante a Segunda Guerra Mundial. O Tu-2 foi personalizado para cumprir com um requisito de um bombardeiro de alta velocidade ou um bombardeiro de mergulho, com uma grande capacidade de bombas em seu interior, e velocidade similar a um avião de caça com um assento. Projetado para desafiar o alemão Junkers Ju 88, o Tu-2 provou ser comparável e foi produzido em versões de avião de intercepção, torpedo e reconhecimento. O Tu-2 foi uma das aeronaves que se destacou em combate na Segunda Mundial, cumprindo um papel chave nas ofensivas finais do Exército Vermelho.

Força Aérea do Exército de Libertação Popular
A Força Aérea do Exército de Libertação Popular (FAELP) (chinês tradicional: 中國人民解放軍空軍, chinês simplificado: 中国人民解放军空军), também conhecida como Força Aérea Chinesa (中国空军) ou Força Aérea Popular (人民空军), é a força aérea das Forças Armadas da República Popular da China. A FAELP foi oficialmente estabelecida em 11 de novembro de 1949 e é composta por 5 ramos que são aviação, artilharia antiaérea, mísseis terra-ar, radar e o Corpo Paraquedista.

A FAELP teve seu batismo de fogo na Guerra da Coréia contra os Estados Unidos, fazendo o uso notável do caça à jato MiG-15; aeronave fornecida pela União Soviética, e que também ajudou na expansão da indústria aeroespacial chinesa. Mudanças na organização da FAELP, seguidas por programas de modernização na década de 1990 e aumento do desenvolvimento de tecnologia no século 21, criaram o caça multi-função furtivo J-20, o primeiro desse tipo na China.
Melodias do Sertão - Ao Vivo
Melodias do Sertão - Ao Vivo é o primeiro álbum ao vivo da cantora Bruna Viola, lançado em 8 de julho de 2016 pela Universal Music. O projeto foi gravado no dia 2 de março de 2016 em show realizado no Villa Country na cidade de São Paulo. O projeto foi produzido por Paul Ralphes mesmo produtor do disco de estreia Sem Fronteiras (2015) e possui direção de vídeo de Marcelo Amiky. Mauro Ferreira escreveu sobre as mulheres que vem se ampliando no universo sertanejo, que antes era mais dominado por homens, e destacou o trabalho fonográfico de Bruna.

Venceu o Grammy Latino de 2017 de Melhor Álbum de Raizes Brasileiras.

Sem Fronteiras (álbum de Bruna Viola)
Sem Fronteiras é o álbum de estreia da cantora Bruna Viola, lançado em 7 de agosto de 2015 pela Universal Music. Paul Ralphes, ao ver Bruna se apresentar em Belo Horizonte se interessou pelo talento da artista de Mato Grosso e resolveu produzir seu álbum de estreia.
Isomorfismo de Curry-Howard
O isomorfismo de Curry–Howard é uma relação direta entre programas de computador e provas matemáticas. Também conhecido como correspondência de Curry–Howard, correspondência provas-como-programas, e correspondência fórmulas-como-tipos, ele se refere à generalização de uma analogia sintática entre sistemas de lógica formal e cálculos computacionais que foi descoberto pela primeira vez pelo matemático americano Haskell Curry e o lógico William Alvin Howard.

Modelagem computacional
Modelagem computacional é uma área de conhecimento multidisciplinar que trata da aplicação de modelos matemáticos e técnicas da computação à análise, compreensão e estudo da fenomenologia de problemas complexos em áreas tão abrangentes quanto as engenharias, ciências exatas, biológicas, humanas, economia e ciências ambientais.