hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Tratamento de colisões através de encadeamento
O objetivo de uma função de Hash é receber um determinado valor e retornar um número inteiro, que é um identificador para este valor que lhe foi passado.

Exemplo :

Mas nem sempre a função cumpre o seu objetivo.

Já é sabido que matematicamente o número de valores possíveis é muito maior do que os
identificadores retornados pela função de Hash.

Com isso, é possível que ocorram colisões.

Exemplo:

Este problema pode ser resolvido usando um dos vários métodos de tratamento colisões
em tabelas de Hash.

Tabela de dispersão
Em ciência da computação, uma tabela de dispersão (também conhecida por tabela de espalhamento ou tabela hash, do inglês hash) é uma estrutura de dados especial, que associa chaves de pesquisa a valores. Seu objetivo é, a partir de uma chave simples, fazer uma busca rápida e obter o valor desejado. É algumas vezes traduzida como tabela de escrutínio.
Região Metropolitana de Ciudad del Este
A Região Metropolitana de Ciudad del Este ou Grande Ciudad del Este é uma conurbação da localidade paraguaia de Ciudad del Este com 3 localidades do departamento de Alto Paraná, ao norte, sul e oeste da mesma. A Grande Ciudad del Este é a segunda maior aglomeração urbana do Paraguai seja em relação a população ou superfície, sendo a aglomeração da Grande Assunção a maior do país. É uma das zonas do Paraguai com maior crescimento urbano nos últimos tempos. Possui uma área de 1017 km² pertencente aos quatro municípios, sendo apenas 120 km² de fato conurbados.

Rota 7 (Paraguai)
A Rota Número 7, conhecida como Rota 7 e cuja denominação oficial é Rota Nacional N° 7 "Dr. José Gaspar Rodríguez de Francia", é uma rota nacional do Paraguai que une as cidades de Coronel Oviedo (Caaguazú) com Ciudad del Este (Alto Paraná), sendo a continuação da Rota 2, vindo de Assunção e seguindo para o Paraná, via Ponte da Amizade e BR-277 (Porto de Paranaguá). Sua extensão total é de 193 quilômetros. Possui uma ou duas faixas por mão em diferentes zonas de seu percurso.
Johann Gottlieb Stephanie
Johann Gottlieb Stephanie (Breslau, 19 de fevereiro de 1741  – Viena, 23 de janeiro de 1800) foi um dramaturgo, diretor e libretista Alemão e austriaco, que fez o libreto da ópera O Rapto do Serralho de Wolfgang Amadeus Mozart.

Dramaturgo
Um dramaturgo (do grego antigo δραματουργός/dramatourgós) é um conselheiro literário ou editor em uma companhia de teatro, ópera ou cinema que pesquisa, seleciona, adapta, edita e interpreta roteiros, livretos, textos e programas (ou ajuda outras pessoas nessas tarefas), consulta autores e faz trabalho de relações públicas. Sua atual função foi originada pelas inovações de Gotthold Ephraim Lessing, um dramaturgo, filósofo e teórico do teatro alemão do século XVIII.
Checho Gonzales
Checho Gonzales (La Paz) é um chef boliviano radicado no Brasil. É conhecido por ter sido um dos criadores do evento "O Mercado", considerado uma das primeiras feiras gastronômicas da cidade de São Paulo e que contribuiu para a popularização dos food trucks. Foi proprietário de vários restaurantes, tanto no Rio quanto em São Paulo, conduzindo atualmente o Mezcla, no bairro paulistano da Barra Funda. Foi premiado em 2001 como chefe revelação pela Revista Gula.

Barra Funda (bairro)
Barra Funda é um bairro situado no município de São Paulo. Parte é pertencente ao distrito da Barra Funda, na zona oeste, e parte ao distrito de Santa Cecília, na zona central.

É famoso por ser o bairro das escolas de samba Mancha Verde e Camisa Verde e Branco, e o local onde também se situa a sede da rede de televisão RecordTV, bem como o Memorial da América Latina, os centros de treinamento dos times de futebol Palmeiras e São Paulo. É atendido pelo Terminal Intermodal Barra Funda, onde funciona um terminal rodoviário interestadual, um terminal de ônibus urbano e uma estação metroferroviária pertencente à linha 3 do Metrô e às linhas 7, 8, 10, 11 e 13 (Expresso Aeroporto) do Trem Metropolitano.

Devido aos seus bares, casas de show e ateliês, Barra Funda se tornou um polo de arte urbana e vida noturna e tem sido considerado por publicações internacionais como um dos bairros mais legais do mundo.
Tempestade tropical Bilis
A tempestade tropical severa Bilis, conhecida nas Filipinas com tempestade tropical Florita, foi uma tempestade tropical fraca que em julho de 2006, causou danos significativos em porções das Filipinas, Taiwan e sudeste da China. A palavra Bilis, atribuída pelas Filipinas, significa 'velocidade' ou 'rapidez' em tagalog.

Apesar de nunca ter oficialmente alcançado a intensidade de um tufão, Bilis foi responsável por $4,4 bilhões de dólares (valores em 2006) em prejuízos e 859 fatalidades nas Filipinas, Taiwan e China. A maior parte dos danos foi causada pela chuva forte, que causou em várias regiões enchentes de curta duração e deslizamentos de terra. Muitas áreas alagadas por Bilis foram novamente atingidas, posteriormente, pelos tufões Kaemi, Prapiroon e pelo tufão intenso Saomai.

Hunão
Hunão, Hunã ou Hunan (em chinês: 湖南; romaniz.: pinyin: Húnán) é uma província da China, tem como capital a cidade de Changshae o seu nome quer dizer "Sul do Lago" por se encontrar a Sul do Lago Dongting. E também fica entre o Rio Yangtze e Dongtin.

Hunão é a província central na China, conhecida pela beleza das suas paisagens naturais e faz fronteira a Norte com Hubei, a Leste com Jiangxi, a Sul com Cantão, a Sudoeste com Quancim, a Oeste com Guizhou, e a Nordoeste com Chongqing.
Titulus Crucis
Titulus Crucis é a placa de madeira inscrita em latim (titulus) considerada ser uma das relíquias da Vera Cruz, preservada na Basílica da Santa Cruz em Jerusalém, uma das igrejas de peregrinação em Roma. Como evidência, a relíquia é geralmente ignorada pelos estudiosos ou descartada como provável falsificação medieval.

A placa feita da árvore nogueira tem 25 x 14 centímetros, 2 centímetros de espessura e pesa 687 grama. Está inscrita de um dos lados em três linhas, a primeira delas praticamente destruída. A segunda utiliza letras gregas e escrita reversa, e a terceira, em letras latinas, também com escrita reversa.

Sete igrejas de peregrinação de Roma
Sete igrejas de peregrinação de Roma ou Sete igrejas peregrinas de Roma são sete grandes igrejas de Roma importantes para as peregrinações religiosas à cidade. Elas foram listadas na seguinte ordem no guia de Franzini (1595): São João de Latrão, São Pedro, São Paulo Extramuros, Santa Maria Maior, São Lourenço Extramuros, São Sebastião Extramuros e Santa Croce in Gerusalemme. Giovanni Baglione, em seu livro, lista nove grandes igrejas em Roma, acrescentando, curiosamente, a igreja de Santa Maria Annunziata dei Gonfalone e o trio de igrejas outrora conhecido como "alle Tre Fontane" e que estava no local do martírio de São Paulo: Santi Vincenzo e Anastasio alle Tre Fontane, Santa Maria Scala Coeli e San Paolo alle Tre Fontane.
Villiam Vecchi
Villiam Vecchi (Scandiano, 28 de dezembro de 1948 — Régio da Emília, 3 de agosto de 2022) foi um treinador de goleiros e futebolista italiano que jogou como goleiro. Atuou nas equipes de base da Seleção Italiana.

Scandiano
Scandiano é uma comuna italiana da região da Emília-Romanha, província de Reggio Emilia, com cerca de 22.843 habitantes. Estende-se por uma área de 49 km², tendo uma densidade populacional de 466 hab/km². Faz fronteira com Albinea, Casalgrande, Castellarano, Reggio Emilia, Viano.

Pertence à rede das Cidades Cittaslow.
Happy Pledis 2nd Album
Happy Pledis 2nd Album é um single dos artistas da gravadora sul-coreana Pledis Entertainment: Son Dam-bi, Kahi, After School, JR e Baekho do NU'EST, Yoo Ara e Lime do Hello Venus e Park Jung-hyun do Pre-School Girl. O álbum foi lançado com o nome Happy Pledis 2nd Album e é um lançamento beneficente. Como NU'EST e Hello Venus ainda não haviam estreado oficialmente, o álbum não inclui todos os membros dos dois grupos, e o NU'EST era conhecido como "Pledis Boys". O álbum consiste nas faixas "Love Letter", "Winter’s Tale" e "How Are You".

Hello Venus
Hello Venus (hangul: 헬로비너스; rr: Hello Bineoseu; MR: Helro Pinŏsŭ; muitas vezes estilizado como HelLOVEnus) foi um grupo feminino sul-coreano formado pela Pledis Entertainment com a Fantagio Music em 2012. Foi anunciado em julho de 2014, que ambas as gravadoras haviam rompido sua parceria e as demais membros do grupo continuariam sob a Fantagio. Atualmente o grupo é composto por seis integrantes: Alice, Nara, Lime, Seoyoung, Yooyoung e Yeoreum.
Em 26 de abril de 2019, a Fantagio anunciou o disband do Hello Venus.
Final do Campeonato Europeu de Futsal de 2018
A Final do Campeonato Europeu de Futsal da Eslovénia 2018 aconteceu no dia 10 de fevereiro de 2018, na Arena Stožice, em Ljubljana, Eslovénia.

A Seleção Portuguesa de Futsal repetiu a presença na final da competição, após 2010, e bateu a sete vezes campeã e detentora do troféu, a Espanha, por 3-2 após prolongamento, com o golo de livre direto de Bruno Coelho, a 56.4 segundos do final do prolongamento, devido à 5ª falta de Espanha. Este golo surgiu minutos após a saída de Ricardinho da quadra devido a lesão.

Seleção Espanhola de Futsal Masculino
A Seleção Espanhola de Futsal é o selecionado nacional do Espanha de futsal masculino, gerido pela Real Federación Española de Fútbol, que representa o país nas competições de futebol organizadas pela UEFA e pela FIFA.

Em âmbito internacional, conquistou por duas vezes a Copa do Mundo de Futsal e sete vezes o Campeonato Europeu de Futsal.
Ácido aspártico
O ácido aspártico (cuja forma iónica é conhecida como aspartato) é um dos aminoácidos codificados pelo código genético, sendo portanto um dos componentes das proteínas dos seres vivos.
É um aminoácido não essencial em mamíferos, tendo uma possível função de neurotransmissor excitatório no cérebro. Como tal, existem indicações que o ácido aspártico possa conferir resistência à fadiga. É também um metabolito do ciclo da ureia e participa na gluconeogénese e pode ser neurotóxico.

O aspartato faz também parte do adoçante aspartame.

Metabólito
Metabólito (ou metabolito) é o termo utilizado em farmacologia e bioquímica, em especial na farmacocinética, para um produto do metabolismo de uma determinada molécula ou substância. O organismo metaboliza substâncias por diversas vias, principalmente no fígado, gerando metabólitos que podem ser:

Inativos: não mantêm nenhuma atividade relacionada à substância original.

Ativos: mantêm atividade relacionada à substância original. Algumas vezes, os metabólitos são até mais potentes.
Alberto João Jardim
Alberto João Cardoso Gonçalves Jardim GCC • GCIH • MPCSJ
(Funchal, Santa Luzia, 4 de fevereiro de 1943) é um funcionário público, jornalista e dirigente político português.

Foi presidente do Governo Regional da Madeira durante 37 anos, entre 1978 e 2015.

Funchal
O Funchal é uma cidade portuguesa localizada na ilha da Madeira, região da Madeira, com uma população de 105 701  habitantes (2021).

O Funchal é a capital da Região Autónoma da Madeira e a maior cidade desta região. É sede do município do Funchal, que tem 76,15 km2, 105 795 habitantes em 2021 e, portanto, uma densidade populacional de 1 389 habitantes por km2. O município está atualmente dividido em dez freguesias. O município é limitado a norte pelo município de Santana, a nordeste pelo município de Machico, a leste pelo município de Santa Cruz e a oeste pelo município de Câmara de Lobos e a sul com o Oceano Atlântico.

Foi a João Gonçalves Zarco que coube a capitania da cidade em 1424, ano em que se iniciou o povoamento. As ilhas Selvagens, 250 quilómetros a sul do Funchal, pertencem a este município, havendo desta forma descontinuidade territorial.
Morgan Lily
Morgan Lily Gross (Santa Mônica, 11 de abril de 2000) é uma atriz estadunidense. Ela começou a modelar internacionalmente aos quatro anos de idade e apareceu em mais de 21 comerciais de televisão e muitas sessões de fotos antes de seu papel em Henry Poole Is Here como Millie Stupek. Lily teve papéis coadjuvantes em He's Just Not That Into You, e como filha de Matthew Gray Gubler em Beautiful Girl. Seu papel mais notável foi como Lilly Curtis no filme apocalíptico 2012.  Ela atuou como a jovem Julianna Baker no filme Flipped baseado no romance de mesmo nome de Wendelin van Draanen e como a jovem Raven Darkhölme em X-Men: Primeira Classe.  Lily co-estrelou como Missy no filme Love's Everlasting Courage, do Hallmark Channel. Seu trabalho mais recente inclui Joe Bell, onde estrelou ao lado de Mark Wahlberg.

Santa Mônica (Califórnia)
Santa Mônica (português brasileiro) ou Santa Mónica (português europeu) (em inglês:  Santa Monica) é uma cidade localizada no estado norte-americano da Califórnia, no condado de Los Angeles. É uma cidade costeira no oeste da região metropolitana da cidade de Los Angeles, situada na baía de Santa Mônica e banhada pelo Oceano Pacífico. Foi incorporada em 1886.

Por seu clima agradável, Santa Mônica havia se tornado destino turístico desde antes do século XX, mas foi a partir da década de 1980, com a revitalização de atrações turísticas, que a cidade consolidou-se como pólo turístico e de oportunidades de emprego.
Treseburg
Treseburg é um bairro da cidade de Thale situada no distrito de Harz, estado (Land) da Saxônia-Anhalt, na Alemanha. Até 1 de julho de 2009 gosava da condição de município autônomo.

Sua população residente é de apenas 100 habitantes (2007) que vivem do turismo, pois a vila é um local de férias e seu principal comércio é constituído de cafés, restaurantes e pensões.
Suas belas paisagens atraem também razoável número de pintores e aquarelistas.

Saxônia-Anhalt
Saxônia-Anhalt (português brasileiro) ou Saxónia-Anhalt (português europeu) (em alemão:  Sachsen-Anhalt; por vezes também Alta SaxôniaPB ou Alta SaxóniaPE) é um dos 16 estados federais (Länder) alemães. Localiza-se no centro-leste do país e sua capital é Magdeburgo.

Seus estados limítrofes são a Baixa Saxônia a oeste e a norte, Brandemburgo a nordeste e a leste, a Saxônia a sudeste e a Turíngia a sudoeste.

Uma outra cidade relevante no seu território é Vitemberga.
Santo Spirito dei Napoletani
Santo Spirito dei Napoletani ou Igreja do Espírito Santo dos Napolitanos é uma igreja de Roma, Itália, localizada na Via Giulia, no rione Regola e dedicada ao Espírito Santo. Ela era a igreja nacional do Reino das Duas Sicílias na cidade e é atualmente a igreja regional da Campânia.

Reino das Duas Sicílias
O Reino das Duas Sicílias (em napolitano Regno dê Doje Sicilie; em siciliano Regnu dî Dui Sicili; em italiano:  Regno delle Due Sicilie) foi o nome que o rei Fernando I de Bourbon deu a seu reino, em 1816, depois de o Congresso de Viena ter suprimido o Reino de Nápoles (1282-1816) e o Reino da Sicília (1130-1816), unindo-os numa única entidade estatal.

O reino foi governado por um ramo da Casa de Bourbon chamado de Bourbon-Duas Sicílias ou Bourbon-Sicílias.

O Reino das Duas Sicílias existiu até 1861, quando foi suprimido pela Casa de Saboia — reinante no Reino da Sardenha (1297-1861) —, para que se concretizasse a unificação italiana, o chamado Risorgimento, e então se formasse o Reino da Itália.
Aeroporto Internacional de Djerba-Zarzis
O Aeroporto Internacional de Djerba-Zarzis (em árabe: مطار جربة-جرجيس الدولي) (IATA: DJE, ICAO: DTTJ) serve a cidade vizinha de Houmt Souk, a ilha de Djerba e, de forma mais genérica, todo o sudeste da Tunísia. Como a maioria dos aeroportos civis tunisinos, é gerido pelo Office de l'aviation civile et des aéroports (OACA).

Situa-se nove quilômetros a oeste de Houmt Souk, junto à pequena localidade de Melita. Foi construído durante o protetorado francês para fins militares, tendo sido aberto para o tráfego civil em 1970 para melhorar a atratividade turística de Djerba. Ocupa 295 hectares e tem capacidade para quatro milhões de passageiros por ano. A sua atividade é essencialmente ligada ao encaminhamento de turistas que visitam Djerba e o sudeste da Tunísia. O terminal original estende-se por 73 000 m². Em 22 de dezembro de 2007 foi inaugurado um segundo terminal com 57 000 m² e três andares.

Código aeroportuário ICAO
O código aeroportuário ICAO é um código composto por quatro letras que designa aeroportos em todo o mundo, contando com 191 países-membros. É definido pela Organização da Aviação Civil Internacional (em inglês, International Civil Aviation Organization - ICAO) sendo fundada em 1947 pelo Documento 7910.

Vale lembrar que os códigos ICAO são diferentes dos códigos IATA.
Medalha "Por Méritos de Batalha"
A Medalha "Por Méritos de Batalha" (em russo:  Медаль «За боевые заслуги», transl. Medal'yu «Za boyevyye zaslugi») foi uma medalha militar soviética concedida por "ação de combate resultando em sucesso militar", "defesa corajosa das fronteiras do Estado" ou "treinamento e preparação militar e política bem-sucedidos".

Foi criada em 17 de outubro de 1938 por decisão do Presidium do Soviete Supremo da União Soviética. Como a Medalha "Pela Coragem", seu status foi revisado para evitar que a medalha fosse dada por anos de serviço (uma prática que era comum na URSS) em vez de bravura real durante uma batalha.

Combate
O combate (ou luta) é um conflito violento cuja intenção é estabelecer dominância sobre o oponente. Existem várias modalidades de combate, alguns praticantes se destacaram nesse cenário como o carioca Vava Andrade, lutador originário do Karatê que também se destacou no MMA se tornando uma referência em combate corpo a corpo, essa modalidade pode ser útil como um mecanismo de defesa pessoal. Uma luta em larga escala é conhecida como uma batalha ou até uma guerra quando continuada. Já uma briga verbal é comumente conhecida como discussão.
Língua amani
A língua ou dialetos Amami (島口, シマユムタ, Shimayumuta), também conhecida como  'Amami Ōshima'  ou simplesmente  'Ōshima'  ('Ilha Grande'), é uma língua ryukyuana falada nas ilhas  Amami Ōshima ao sul de Kyushu A variedade do sul], do município de Setouchi (Okayama) pode ser uma língua distinta mais intimamente relacionada as línguas de Okinawa do que ao norte de Ōshima.

Como Amami não é reconhecido no Japão como língua, é oficialmente conhecido como dialeto Amami (奄 美 方言, Amami Hōgen).

Amami Ōshima
Amami Ōshima (奄美大島, okinawano: Uushima (ウーシマ); Amami: Ushima (ウシマ)) é uma das Ilhas Satsunan e a maior ilha do arquipélago Amami, entre Kyushu e Okinawa, sendo administrada pela prefeitura de Kagoshima.

A ilha, com 712,35 km² de área, tem uma população de aproximadamente 73 mil pessoas. Administrativamente ela é dividida na cidade de Amami, Tatsugō, Setouchi, e nas vilas de Uken e Yamato na prefeitura de Kagoshima. A maior parte das ilhas está nas bordas do Parque Quase-Nacional de Amami Guntō.
Bill Bain
William Worthington Bain Jr. (30 de julho de 1937 – 16 de janeiro de 2018) foi um consultor empresarial estadunidense, conhecido por seu papel como um dos fundadores da consultoria de gerenciamento empresarial que carrega seu nome, Bain & Company. Antes de fundar a Bain & Company, William Bain Jr. foi vice-presidente da empresa de consultoria Boston Consulting Group (BCG).

Universidade Vanderbilt
Universidade Vanderbilt (Vanderbilt University, em inglês) é uma instituição de ensino superior privada situada em Nashville, Tennessee, nos Estados Unidos. Foi fundada em 1873, por Cornelius Vanderbilt. É considerada uma das quinze melhores universidades dos Estados Unidos (US News) e uma das cinquenta melhores do mundo (Times Higher Education).

Fizeram parte do seu quadro de alunos dois Vice-presidentes dos Estados Unidos: John Nance Garner e Al Gore, também ganhador do Prêmio Nobel da Paz. Muhammad Yunus, outro ganhador do premio, foi aluno do departamento de Economia da universidade.
Arquieparquia uniata de Kiev
Arquieparquia de Kiev foi uma arquieparquia da Igreja uniata rutena na Comunidade Polaco-Lituana, sé metropolitana da metrópole de Kiev, Galícia e Toda a Rússia.

A residência principal do arcebispo metropolitano de Kiev foi em Vilnius, de 1607 a 1795 - na Igreja da Assunção da Bem-Aventurada Virgem Maria em Prochischen. Após um incêndio em 1748, a residência dos metropolitas uniatas de Kiev foi transferida para Radomyshal, perto de Kiev.

Uniu as paróquias das voivodias de Kiev, Novogrudok, Minsk, Vilna, Troki e o Starostvo Samogiciano.

Metrópole (jurisdição eclesiástica)
Uma metrópole, metropolitanato ou arquidiocese metropolitana é uma sé episcopal cujo bispo é o bispo metropolitano ou arcebispo de uma província eclesiástica. As metrópoles, historicamente, têm sido cidades importantes em suas províncias (civitas).
Cauda preênsil
Uma cauda preênsil é a cauda de um animal que se adaptou para agarrar ou segurar objetos. Caudas totalmente preênseis podem ser usadas para segurar e manipular objetos, auxiliando especialmente animais arborícolas a encontrar e consumir alimentos nas árvores. Se a cauda não pode ser usada para esse fim, é considerada parcialmente preênsil; tais caudas são frequentemente usadas para ancorar o corpo do animal ao se pendurar em um galho ou como auxílio para escalar. O termo preênsil significa "capaz de agarrar" (do latim prehendere, segurar, agarrar).

Adaptação (biologia)
As adaptações que os diversos organismos vivos possuem são um aspecto central no estudo da biologia. Todas as características que adequam os seus possuidores a algo, geralmente, são ditas adaptativas e permitem que os seres vivos desenvolvam uma certa harmonia com o ambiente, ajustando-se, assim, para a sua sobrevivência num determinado local.
Marie Bloch
Marie Bloch (Lyon, 26 de julho de 1902 – Lyon, 1 de agosto de 1979) foi uma astrônoma e astrofísica francesa. Recebeu o Prêmio Lalande de 1960 da Académie des Sciences pelo conjunto de seu trabalho científico, principalmente na espectroscopia estelar.

Começou sua carreira científica como estagiária no Observatório de Lyon em 1920 e tornou-se assistente em 1926 e assistente de astrônomo em 1940. Especializada no estudo fotométrico e espectroscópico de estrelas variáveis e novas, observou pela primeira vez em 1934 com Jean Dufay as bandas de absorção de cianogênio no espectro da Nova Herculis.

Marie Bloch também desempenhou um papel significativo no desenvolvimento da Association française des observateurs d'étoiles variables.

Fotometria (astronomia)
Fotometria é uma técnica da astronomia relacionada à medição do fluxo ou intensidade da radiação eletromagnética de um objeto astronômico. Quando a fotometria é realizada sobre largas faixas de comprimento de onda da radiação, em que é medida não apenas a quantidade de radiação, mas também a distribuição espectral, o termo usado é espectrofotometria.

A palavra é composta dos afixos gregos foto- (“luz”) e –metria (“medida”).
Anatol Slissenko
Anatol Slissenko (em russo:  Анатолий Олесьевич Слисенко; Sibéria, 15 de agosto de 1941) é um matemático e cientista da computação soviético, russo e francês. Dentre seus interesses de pesquisa constam prova automática de teoremas, análise recursiva, complexidade computacional, algoritmos, reescrita de grafos, verificação, álgebra computacional, entropia da informação e modelos probabilísticos relacionados à ciência da computação.

Prova automática de teoremas
Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área mais desenvolvida do raciocínio automatizado (RA).