hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Semântica operacional estruturada
Semântica operacional estruturada é uma das abordagens de semântica formal. A semântica formal é uma das áreas de estudo de ciência da computação, preocupada em atribuir significado às construções das linguagens de programação.

Na semântica operacional, o significado de uma construção da linguagem é especificado pela computação que ela induz quando executada em uma máquina hipotética. Isto significa que interessa mais como o efeito da computação é produzido.

A semântica operacional estruturada é uma versão de semântica operacional em que se especifica mais detalhes da execução, tomando um passo menor. Isto significa que os cálculos são mais longos, porém eles detalham melhor os passos da computação de um programa.

A semântica operacional estruturada foi proposta por G. Plotkin em 1981, no artigo clássico "A Structural Approach to Operational Semantics", como um refinamento à semântica operacional.

Semântica formal
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.

A semântica é complementar à sintaxe de programas de computador, que se preocupa em descrever as estruturas de uma linguagem de programação.

A necessidade de uma semântica formal (matemática) para linguagens de programação justifica-se, pois:

Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar);

É uma base para implementação (síntese), análise e verificação formal.
Fernando I de Portugal
Fernando I (Coimbra, 31 de outubro de 1345 – Lisboa, 22 de outubro de 1383), apelidado de o Formoso e o Inconstante, foi Rei de Portugal e Algarve de 1367 até sua morte, o último monarca português da Casa de Borgonha e o nono rei de Portugal. Foi o último filho de Pedro I e de sua esposa Constança Manuel.

Era um “amador de mulheres e chegador a elas”, conta-nos Fernão Lopes, e tinha uma obsessão com a caça. Para ele, a vida da corte era um tédio que se aliviava com perseguições a fidalgas, lebres e pombos.

Com apoio da nobreza castelhana e descontente com o rei de Castela que matou o antecessor, Fernando chegou a ser aclamado rei em diversas cidades importantes de Norte a Sul da Galiza. Travou guerras contra Castela, ficando essas conhecidas por Guerras Fernandinas.

A sua morte sem herdeiro varão levou à Crise de 1383–1385.

É conhecido pela lei das sesmarias.

Guerras fernandinas
As chamadas guerras fernandinas caracterizaram-se pela disputa do trono de Castela entre Fernando I de Portugal e Henrique II de Castela (e depois, com o filho deste, João I de Castela). Estas foram despoletadas na sequência do assassínio de Pedro I de Castela, primo direito de Fernando, por Henrique seu meio-irmão.

Podem ser divididas em três fases: entre 1369-1370, 1372-1373 e 1381-1382. Cada um desses três períodos de guerra terminou com um tratado de paz: o Tratado de Alcoutim (1371), o Tratado de Santarém (1373) e o Tratado de Elvas (Agosto de 1382).
Paradoxo das cartas
O paradoxo das cartas é um variante não-referencial do paradoxo do mentiroso construído por Philip Jourdain. Ele também é conhecido como o paradoxo do cartão postal, paradoxo Jourdain ou paradoxo de Jourdain.

Paradoxo do mentiroso
Em filosofia e lógica, o paradoxo do mentiroso  abrange afirmações paradoxais como:

Estou mentindo agora.

ou

Esta afirmação é falsa.

Para evitar que uma afirmação se refira ao seu próprio valor lógico, também se pode construir o paradoxo da seguinte forma, chamada de paradoxo mentiroso fortalecido:

A afirmação seguinte é verdadeira.

A afirmação anterior é falsa.

Geralmente, a denominação “paradoxo do mentiroso” é mais usada, embora a abstração seja feita precisamente pelo próprio mentiroso.  Ao se tentar atribuir um valor verdade binário à afirmação do mentiroso fortalecida chega-se em uma contradição.

Se "esta frase é falsa" for verdadeiro, então a frase é falsa, mas então se "esta frase é falsa" for falso, então a frase é verdadeira, e assim por diante.
NXT Deadline (2023)
NXT Deadline (2023) (estilizado como DEADL1NE) foi o segundo evento anual de transmissão ao vivo de luta livre profissional do NXT Deadline produzido pela WWE. Será realizado exclusivamente para lutadores da divisão da marca NXT da promoção. Aconteceu no sábado, 9 de dezembro de 2023, na Total Mortgage Arena em Bridgeport, Connecticut.

Sete lutas foram disputadas no evento, incluindo uma no pré-show. No evento principal, Ilja Dragunov derrotou Baron Corbin para reter o Campeonato do NXT. Nos Iron Survivor Challenges do evento, Trick Williams venceu a versão masculina, enquanto Blair Davenport conquistou a versão feminina. Em outras lutas de destaque, Carmelo Hayes derrotou Lexis King, e na luta de abertura, Dragon Lee, do SmackDown, derrotou "Dirty" Dominik Mysterio, do Raw, para conquistar o Campeonato Norte-Americano do NXT. O evento também foi notável pelo retorno de Cora Jade, que estava em hiato desde agosto de 2023.

NXT Deadline
NXT Deadline (estilizado como DEADL1NE) é um evento de transmissão ao vivo de luta livre profissional atualmente produzido pela WWE, uma promoção de luta livre profissional com sede em Connecticut. Estabelecido em 2022, o evento ocorre anualmente em dezembro para a marca de desenvolvimento da promoção, o NXT. O evento apresenta o Iron Survivor Challenge tanto para os homens quanto para as mulheres, uma luta de cinco participantes onde o lutador tenta marcar o maior número de quedas antes que o limite de tempo de 25 minutos expire, para garantir uma futura luta pelo Campeonato do NXT e pelo Campeonato Feminino do NXT, respectivamente. A luta foi introduzida no evento inaugural. O Deadline também substituiu o NXT WarGames como o evento de dezembro da marca.
Balama (distrito)
Balama é um distrito da província de Cabo Delgado, em Moçambique, com sede na vila de Balama. Tem limite a oeste com os distritos de Marrupa e Nipepe da província do Niassa, a sul com o distrito de Lalaua da província de Nampula, a este com o distrito de Namuno e a este e norte com o distrito de Montepuez.

Namuno (distrito)
Namuno é um distrito da província de Cabo Delgado, em Moçambique, com sede na vila de Namuno. Tem limite, a norte com o distrito de Montepuez, a oeste com o distrito de Balama, a sul com os distritos de Lalaua, Mecubúri e Eráti da província de Nampula e a leste com o distrito de Chiúre.
Estação Nativitas
A Estação Nativitas é uma das estações do Metrô da Cidade do México, situada na Cidade do México, entre a Estação Villa de Cortés e a Estação Portales. Administrada pelo Sistema de Transporte Colectivo, faz parte da Linha 2.

Foi inaugurada em 1º de agosto de 1970. Localiza-se na Estrada de Tlalpan. Atende os bairros Nativitas e Lago, situados na demarcação territorial de Benito Juárez. A estação registrou um movimento de 7.780.389 passageiros em 2016.

Benito Juárez (Cidade do México)
Benito Juárez é uma demarcação territorial da Cidade do México, situada na parte central da capital mexicana. Possuía em 2015 uma população de 417.416 habitantes, distribuída em uma área de 27 km². Faz fronteira com Cuauhtémoc e Miguel Hidalgo a norte; com Coyoacán a sul; com Álvaro Obregón a oeste; e com Iztacalco a leste.

A demarcação recebeu seu nome em homenagem a Benito Pablo Juárez García, ex-presidente do México. Indígena de origem zapoteca e formado em direito, Juárez viveu em uma época crucial para a formação do estado mexicano, período considerado por muitos historiadores como a consolidação do México como república.
The Mind Robber
The Mind Robber é o segundo serial da sexta temporada clássica da série de ficção científica britânica Doctor Who, que foi transmitido originalmente na BBC1 em cinco partes semanais entre 14 de setembro e 12 de outubro de 1968. Foi escrito por Peter Ling e dirigido por David Maloney.

A história se passa fora do tempo e do espaço em um mundo onde existem personagens fictícios e criaturas mitológicas, incluindo a Medusa e o Minotauro. No serial, o escritor de ficção inglês "o Mestre" (Emrys Jones) tenta recrutar o viajante do tempo conhecido como o Segundo Doutor (Patrick Troughton) para substitui-lo em seu papel como a força criativa neste reino, devido à idade avançada do Mestre.

The Dominators
The Dominators é o primeiro serial da sexta temporada clássica da série de ficção científica britânica Doctor Who, que foi transmitido originalmente na BBC1 em cinco partes semanais entre 10 de agosto e 7 de setembro de 1968. Foi escrito por Mervyn Haisman e Henry Lincoln sob o pseudônimo "Norman Ashby" e dirigido por Morris Barry.

Na história, o viajante do tempo conhecido como o Segundo Doutor (Patrick Troughton) e seus acompanhantes de viagem Jamie McCrimmon (Frazer Hines) e Zoe Heriot (Wendy Padbury) trabalham com os dulcianos do planeta Dulkis para impedir que os alienígenas chamados Dominadores explodam Dulkis e usem seus restos irradiados como combustível de nave espacial.
Aliança Popular Revolucionária Americana
A Aliança Popular Revolucionária Americana (em castelhano: Alianza Popular Revolucionaria Americana), também denominado Partido Aprista Peruano, e mais conhecido pelas siglas APRA ou PAP, é um movimento político latino-americano de esquerda fundado no México em 7 de maio de 1924 por Víctor Raúl Haya de la Torre. Originalmente projetado para ser uma rede agregadora de movimentos sociais de esquerda anti-imperialista dos países latino-americanos, foi posteriormente transformado em partido político no Peru, tendo sido oficialmente registrado para tal finalidade em 20 de setembro de 1930.

Víctor Raúl Haya de la Torre
Víctor Raúl Haya de la Torre (Trujillo, 22 de fevereiro de 1895 - Lima, 2 de agosto de 1979) foi um político e intelectual peruano. Fundador da Aliança Popular Revolucionária Americana e líder histórico da APRA, a política mais longa e consistente orgânica no Peru. É reconhecido como um dos mais importantes ideólogos políticos da América Latina e uma figura chave, juntamente com José Carlos Mariátegui, para a formação de partidos políticos de massa no Peru.
Tsutomu Nihei
Tsutomu Nihei (弐瓶 勉, Nihei Tsutomu, Koriyama, 26 de fevereiro de 1971) é um mangaká japonês. Sua arte, influenciada pela cultura cyberpunk, rendeu a ele um status cult. Ele possui uma considerável comunidade de fãs fora do Japão onde os mangás Blame!, Biomega e Knights of Sidonia foram publicados em inglês pela Vertical Inc. e Viz Media. No Brasil foram publicados os mangás Blame! e Abara pela Editora JBC e pela Panini Comics, respectivamente.

Nihei formou-se em arquitetura, influência que pôde ser observada mais tarde em seus mangás pelo uso de enormes e intrincadamente desenhadas estruturas. Esse é um dos temas recorrentes que tornou seus mangás únicos.

Em julho de 2016, Nihei foi um dos convidados especiais da San Diego Comic-Con.

Knights of Sidonia
Knights of Sidonia (シドニアの騎士, Shidonia no Kishi) é uma série de mangá escrita e ilustrada por Nihei Tsutomu. Foi serializada na revista Afternoon da editora Kodansha entre abril de 2009 e setembro de 2015. O mangá está sendo publicado no Brasil pela editora JBC. Uma adaptação do mangá em uma série de anime produzida pelo estúdio Polygon Pictures estreou em abril até junho de 2014, e a segunda temporada foi ao ar em abril até junho de 2015 com o nome Knights of Sidonia: Battle for Planet Nine. Ambas as temporadas foram exibidas dubladas em português na Netflix logo depois do final de suas exibições no Japão.
Casuarina equisetifolia
Casuarina equisetifolia L., conhecida pelos nomes comuns de casuarina e pinheiro-casuarina, é uma espécie do género Casuarina nativa do Sudeste da Ásia e da região do Pacífico que é invasora em diversas regiões tropicais e subtropicais. Ocorre naturalmente numa vasta região que vai da Birmânia e Vietname, através da Malásia, para leste até à Polinésia Francesa, Nova Caledónia e Vanuatu, e para sul até à Austrália (norte do Território do Norte, norte e leste de Queensland e nordeste de Nova Gales do Sul). É provavelmente nativa de Madagáscar. A espécie foi introduzida no sul dos Estados Unidos da América, Bermudas e África Ocidental. É considerada uma espécie invasora na Bermudas, Flórida e no Brasil.

Casuarina
Casuarina é um género que agrupa 17 espécies de árvores e arbustos da família Casuarinaceae, caracterizados por ostentarem ramos esbeltos e delicados, com folhas reduzidas a escamas, o que lhes confere um aspecto semelhante a pinheiros esbeltos. O género tem distribuição natural centrada na Australásia e ilhas do Pacífico ocidental, sendo hoje comum nas regiões tropicais e subtropicais, onde algumas espécies são cultivadas como árvores ornamentais, encontrando-se naturalizado em múltiplas regiões, sendo algumas espécies consideradas localmente como plantas invasoras.
Jim Aparo
James N. "Jim" Aparo (24 de agosto de 1932 – 19 de julho de 2005) foi um desenhista americano, conhecido por seu trabalho em histórias em quadrinhos do gênero "super-herói". Entre as décadas de 1960 e 1980, Aparo desenhou, durante suas passagens pelas revistas Adventure Comics, The Brave and the Bold e Batman, inúmeros personagens da DC Comics, dentre eles Batman, Aquaman e Vingador Fantasma. Em Batman, desenhou no final da década de 1980 um dos mais importantes arcos de história da história da editora: Batman: A Death in the Family, onde o personagem Jason Todd, então o Robin, era assassinado pelo Coringa.

Batman: A Death in the Family
Batman: A Death in the Family (em português, Uma morte na Família) é uma história em quadrinhos do Batman publicada em 1988 e 1989, notabilizada por ter seu final decidido pelos fãs em uma votação por telefone promovida pela editora DC Comics, o qual era nada menos do que a morte ou não de Robin (Jason Todd). Publicada nas revistas Batman #426-429, a história foi escrita por Jim Starlin e com arte de Jim Aparo (lápis), Mike DeCarlo (arte-finalista), Adrienne Roy (colorista) e John Costanza (letrista). As capas foram realizadas por Mike Mignola. A história foi publicada também em formato de livro (trade paperback) com o título de Batman: A Death in the Family. No Brasil, a Editora Abril publicou as quatro partes da história na revista DC Especial # 1, novembro de 1989.
Międzyrzecz
Międzyrzeczⓘ (também Międzyrzecz Wielkopolski, em latim: Mezerici, Mederecensis, em alemão: Meseritz) é um município no oeste da Polônia, na voivodia da Lubúsquia, no condado de Międzyrzecz e a sede da comuna urbano-rural de Międzyrzecz. Localizado na região dos lagos da Lubúsquia, na foz do rio Paklica com o rio Obra.

Estende-se por uma área de 10,3 km², com 17 465 habitantes, segundo o censo de 31 de dezembro de 2021, com uma densidade populacional de 1 695,6 hab./km².

Comuna de Międzyrzecz
Międzyrzecz é uma comuna urbano-rural na voivodia da Lubúsquia, no condado de Międzyrzecz. A sede de suas autoridades é a cidade de Międzyrzecz.

A comuna em sua forma atual foi criada com base no Decreto legislativo do Conselho de Ministros de 28 de dezembro de 1990 sobre a fusão de certas cidades e comunas onde anteriormente funcionavam autoridades comuns — com efeito, a partir de 1 de fevereiro de 1991 — como resultado da fusão da cidade de Miedzyrzecz e da comuna de Miedzyrzecz em uma única unidade de governo local [essas duas unidades de governo local separadas funcionaram de 27 de maio de 1990 a 31 de janeiro de 1991, tendo, no entanto, órgãos comuns de autoridade (um conselho administrativo com um prefeito como presidente e um conselho de cidade), bem como uma administração comum (o Escritório da Cidade e da Comuna de Miedzyrzecz)]. Até o final de 1998, a comuna fazia parte da voivodia de Gorzów.
Lima (ferromodelismo)
A Lima (Lavoarazione Italiana Metalli e Affini), foi uma empresa italiana fabricante de artigos para ferromodelismo. Fundada no ano de 1946 com sede em Vicenza, atuou por cerca de 50 anos até o encerramento das atividades em 2004, quando foi adquirida pela Hornby por € 8 milhões, tendo permanecido apenas como marca.

Hornby
A Hornby Railways, é uma fabricante de artefatos de ferromodelismo britânica. Suas origens datam de 1901, quando seu fundador, Frank Hornby obteve a patente para um brinquedo de construção chamado Meccano que se tornou uma marca.

O primeiro trem movido por um sistema de corda de relógio, foi produzido em 1920. Em 1938, a Hornby lançou seu primeiro trem na bitola 00.

Em 1964, a Hornby e a Meccano foram compradas por sua competidora, a Tri-ang, e novamente vendidas quando a Tri-ang foi à falência. A Hornby Railways tornou-se independente na década de 1980.
Alpes
Maciço Alpino ou Alpes (latim, ou albus: "branco" ou altus: "alto" ou uma palavra celta ou lígure) é a cadeia montanhosa mais alta e mais extensa que se encontra inteiramente na Europa, estendendo-se pela Áustria e Eslovênia, Hungria, a leste, através do norte da Itália, Suíça (Alpes suíços), Liechtenstein e sul da Alemanha, até ao sudeste da França e Mônaco.

O ponto culminante dos Alpes é o monte Branco, com 4 810,45 m de altitude, situado na fronteira franco-italiana ou próximo a ela, uma vez que a delimitação fronteiriça no maciço nunca foi consensual.

A altitude e o tamanho do intervalo afetam o clima na Europa; nas montanhas, os níveis de precipitação variam muito e as condições climáticas consistem em zonas distintas.

Existe uma organização especial para a proteção dos Alpes chamada Convenção Alpina.

Monte Branco
O Monte Branco (em francês: Mont Blanc; em italiano: Monte Bianco) é a mais alta montanha dos Alpes e da União Europeia, atingindo uma altitude de 4 808,73 metros, embora possa variar um pouco de ano para ano, em função das condições atmosféricas, é o primeiro dos cumes dos Alpes com mais de 4 000 m.

O Monte Branco é a maior montanha do Maciço do Monte Branco e faz parte da divisória de águas entre o mar Adriático e o mar Mediterrâneo.
Batalha de Varna
A Batalha de Varna, a mais importante batalha da Cruzada de Varna, ocorreu no dia 10 de novembro de 1444 perto de Varna no leste da atual Bulgária, perto da costa dela com o mar Negro. O exército Otomano liderado pelo sultão Murade II derrotou as tropas húngaro-polacas lideradas em três frontes, um liderado pelo Rei da Polônia e Rei da Hungria, Ladislau III (que morreu em combate); outro liderado pelo regente húngaro, João Corvino; (agindo como comandante das forças Cristãs) e por fim outro fronte liderado pelo príncipe da Valáquia Mircea II. Esta batalha marcou o final da Cruzada de Varna.

Ladislau III da Polônia
Ladislau III (em polonês/polaco:  Władysław; em húngaro:  Ulázló) (Cracóvia, 31 de outubro de 1424 — Varna, 10 de novembro de 1444) foi rei da Polônia (1434-1444) e rei da Hungria (1440-1444, como Ladislau I). Desapareceu na batalha de Varna, travada contra os otomanos.
Ciências agrárias
Ciências Agrárias são uma área multidisciplinar do ensino envolvendo campos como agricultura, pecuária intensiva, engenharia florestal, insetos, topografia, bioquímica, aquacultura, medicina veterinária, indigenismo, zootecnia, tecnologia de alimentos, agronegócios e engenharia agrícola; que visa a busca do aprimoramento técnico, o aumento produtivo e melhorias no manejo e preservação dos recursos naturais.

Engenheiro agrícola
O Engenheiro Agrícola atua na área de interface entre a agricultura e a engenharia.

As áreas de atuação deste profissional são mecânica agrícola, energização rural, processamento de produtos agropecuários, engenharia de água e solos e construções rurais.

As atribuições profissionais no Brasil são discriminadas na resolução n.º 256, de 27 de maio 1978 do CONFEA.
Łęczna
Łęcznaⓘ é um município no leste da Polônia. Pertence à voivodia de Lublin, no condado de Łęczna. É a sede da comuna urbano-rural de Łęczna.

Está localizado no centro da voivodia de Lublin, no planalto de Lublin, na confluência de dois rios: o Wieprz, que marca sua fronteira oeste, e o Świnka, a fronteira norte da cidade. Faz parte da aglomeração de Lublin.

Estende-se por uma área de 19,0 km², com 17 500 habitantes, segundo o censo de 31 de dezembro de 2024, com uma densidade populacional de 921 hab./km².

Rio Wieprz
Wieprz é um rio na região central-leste da Polônia, um afluente do rio Vístula, com um comprimento de 348,9 quilômetros (é o nono rio mais longo da Polônia) e com uma bacia hidrográfica de 10.415 km² (todo na Polônia).
René Rast
René Rast (Minden, 26 de outubro de 1986) é um automobilista alemão que atualmente é piloto de fábrica da BMW. Compete na Deutsche Tourenwagen Masters desde 2016, sendo campeão da categoria nos anos de 2017, 2019 e 2020. Anteriormente, foi piloto de fábrica da Audi de 2009 a 2022. Competiu na Fórmula E por três temporadas, estreando pela Audi Sport ABT Schaeffler em 2020 e depois se transferindo para a McLaren em 2022–23. Além do tricampeonato da DTM, Rast também foi tricampeão da Porsche Supercup nos anos de 2010, 2011 e 2012, bicampeão da Porsche Carrera Cup alemã em 2008 e 2012, e foi campeão da ADAC GT Masters de 2014.

Campeonato de Fórmula E de 2019–20
O Campeonato de Fórmula E de 2019–20 foi a sexta temporada do campeonato de automobilismo para veículos elétricos reconhecido pela Federação Internacional de Automobilismo (FIA), como a categoria mais alta entre as competições de monopostos elétricos.

Em 13 de março, a Fórmula E e a FIA anunciaram uma suspensão temporária da temporada em resposta à pandemia de COVID-19. Durante a suspensão, a Fórmula E organizou uma série de corridas de esporte eletrônico chamada Formula E Race at Home Challenge. A temporada foi retomada e concluída em agosto com seis corridas disputadas dentro de nove dias no Circuito Urbano do Aeroporto de Tempelhoft.

O piloto da DS Techeetah, António Félix da Costa, sagrou-se campeão com duas corridas de antecedência. A DS Techeetah conquistou seu segundo Campeonato de Equipes consecutivo, derrotando a Nissan e.dams por uma margem de 77 pontos.
Sébastien Buemi
Sébastien Olivier Humbert Buemi (Aigle, 31 de outubro de 1988) é um automobilista suíço britânico que atualmente compete na Fórmula E para a equipe Envision Racing, e também disputa o Campeonato Mundial de Endurance da FIA pela equipe Toyota Gazoo Racing.

Ele está na Fórmula E desde a temporada inaugural, inicialmente competindo pela e.dams, e foi campeão da temporada de 2015–16. Já no Mundial de Endurance, Buemi estreou em 2012 pela Toyota, participando da temporada integral desde 2013, e foi quatro vezes campeão em 2014, 2018–19, 2022 e 2023. Venceu quatro vezes as 24 Horas de Le Mans, nas edições de 2018, 2019, 2020 e 2022.

Anteriormente, Buemi competiu pela Scuderia Toro Rosso na Fórmula 1 de 2009 a 2011. Depois de deixar a Fórmula 1, ele tornou-se piloto reserva da equipe irmã da Scuderia Toro Rosso, a Red Bull Racing, de 2012 a 2013. Ele retornou à Red Bull Racing em 2019 como reserva.

Robin Frijns
Robin Christiaan Maria Frijns (Maastricht, 7 de agosto de 1991) é um automobilista neerlandês que atualmente compete no Campeonato Mundial de Endurance da FIA com a Team WRT, sendo também piloto de fábrica da BMW. Recentemente, competiu na Fórmula E pela equipe Envision Racing. Ele estreou na categoria em 2015–16 pela Andretti, tendo uma rápida passagem pela ABT CUPRA em 2022–23.  Foi campeão do Mundial de Endurance da FIA de 2021 pela classe LMP2, da Blancpain GT Series em 2015, Blancpain GT Series Sprint Cup em 2017, da Formula Renault 3.5 Series em 2012 e da Fórmula BMW Europeia em 2010.