hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Peter Jenni
Peter Jenni (17 de abril de 1948) é um físico suíço.

Peter Jenni obteve um diploma em física em 1973 na Universidade de Berna, com um doutorado em 1976 no Instituto Federal de Tecnologia de Zurique. Em 1972 participou de experimentos no ciclotron síncrono do CERN e de 1974 a 1976 no Síncroton de Prótons do CERN e depois no Anéis de Armazenagem a Intersecções. De 1978 a 1979 esteve no Centro de Aceleração Linear de Stanford. A partir de 1980 trabalhou no CERN e esteve envolvido no experimento UA1 no Síncroton de Prótons. Com este detector e o detector UA1 foram confirmados o bóson W e o bóson Z, sob a direção de Carlo Rubbia. Mais tarde assumiu tarefas de gerência nos preparativos do Grande Colisor de Hádrons e do detector ATLAS.

Universidade de Berna
A Universidade de Berna é uma universidade localizada na capital da Suíça, Berna; fundada em 1834, por estar localizada na região de língua alemã do país, seu nome oficial é Universität Bern, embora seja frequentemente designada pelo seu nome francês, Université de Berne.

A universidade é regulamentada e financiada pelo Cantão de Berna. Entre alguns de seus ex-alunos notórios estão o teólogo suíço Karl Barth e o filósofo alemão Walter Benjamin.
St. Elmo
St. Elmo é um filme mudo britânico de 1923, do gênero drama, dirigido por Rex Wilson e estrelado por Shayle Gardner, Gabrielle Gilroy e Madge Tree. Foi uma adaptação do romance homônimo de Augusta Jane Evans.

Homónimo
Homônimo (português brasileiro) ou homónimo (português europeu) (do grego homónymos através do latim homonymus) é uma palavra que tem a mesma pronúncia (homófono) e/ou a mesma grafia (homógrafo) que outra, mas que possui um significado diferente desta. No caso de antropônimos, também é chamado de xará (do tupi *xa'ra [de xe rera, "meu nome"]), xarapa, xarapim, xera, xero e tocaio (do castelhano tocayo, através do espanhol rioplatense).
Palácio Ruhyýet
O  Palácio Rukhiyet ou Palácio dos Congressos e das Artes (em turcomeno:  Ruhyýet köşgi) é um palácio na cidade de Asgabade, capital do Turcomenistão. O palácio foi construído pela empresa francesa Bouygues. O palácio realiza eventos oficiais do Estado, como fóruns, reuniões e inaugurações. A capacidade das instalações internas, seu equipamento técnico e conforto também permitem realizar e cobrir eventos à nível internacional.

O palácio Rukhiyet ostenta a gigante tapeçaria  "Presidente" (área 294 m², tamanho 14 × 21 m, peso 1 t 105 g).

Em outubro de 2008, em frente ao palácio foi construída uma fonte no valor de 6,6 milhões de dólares.

O palácio é representado no verso da nota de 10.000 manates do Banco do Turcomenistão, no modelo de 2000, e na de 20 manates, modelo de 2009.

Palácio
Palácio ou Paço é um edifício sumptuoso  às vezes destinado à habitação de um chefe de Estado ou chefe de governo, assim como paço ou solar de alguns nobres, bispos e patriarcas. Também podem ser utilizados como parlamento. Existem também alguns palácios que perderam seu uso original e podem servir como museus, centros culturais, hotéis e outros.
Blue Balliett
Elizabeth "Blue" Balliett Klein (Nova Iorque, 1955) é uma escritora estadunidense. Os seus livros são destinados ao público infantil, sendo que sua obra mais famosa é Procurando Vermeer.

Frequentemente visitava o Museu Metropolitano de Arte, o Museu de Arte Moderna de Nova Iorque e o Museu Guggenheim. Estudou História da Arte na Universidade Brown.

Ela e sua família viveram em Nantucket Island até se transferirem para Chicago. Deu aulas na Universidade de Chicago antes de se tornar escritora em tempo integral. Seu primeiro e mais famoso livro foi Procurando Vermeer, que se tornou um best-seller infanto-juvenil em 2004. Balliett levou cinco anos para escrever o livro. Atualmente o seu enredo está em processo de filmagem. A sequência de Procurando Vermeer é The Wright 3, outro livro de suspense, com os mesmos personagens centrais.

Universidade de Chicago
A Universidade de Chicago (UChicago, U of C, ou Chicago) é uma universidade de pesquisa privada sem fins lucrativos em Chicago, Illinois. A universidade é composta por uma faculdade, vários programas de pós-graduação e comissões interdisciplinares organizadas em cinco divisões de pesquisa acadêmica e sete escolas profissionais. Além das artes e das ciências, a universidade também é conhecida por suas escolas profissionais, que incluem a Escola de Medicina Pritzker, a Escola de Negócios Booth, a Faculdade de Direito, a Escola de Administração de Serviço Social, a Escola Harris de Estudos de Políticas Públicas, Divinity School e da Graham School of Continuing Liberal and Professional Studies. Em 2018, a universidade registra 5 971 alunos de graduação e 16 016 alunos no total.
Otto Maria Carpeaux
Otto Maria Carpeaux (pseudônimo de Otto Maria Karpfen, nascido Otto Karpfen; Viena, 9 de março de 1900 – Rio de Janeiro, 3 de fevereiro de 1978), foi um jornalista, crítico literário, ensaísta e historiador austríaco naturalizado brasileiro, conhecido por seus livros Uma nova história da música e História da literatura ocidental, reputados entre os mais importantes do gênero que se publicaram no Brasil no século XX.

Correio da Manhã (Brasil)
O Correio da Manhã foi um periódico brasileiro, que em sua primeira fase era publicado no Rio de Janeiro, entre 15 de junho de 1901 a 8 de julho de 1974. Fundado por Edmundo Bittencourt, vangloriava-se por dar ênfase à informação em detrimento da opinião. Caracterizou-se por fazer oposição a quase todos os presidentes brasileiros no período, razão pela qual foi perseguido e fechado em diversas ocasiões, e os seus proprietários e dirigentes, presos. Em 2019, foi retomado pelo jornalista e empresário Claudio Magnavita, exatos 50 anos após o seu fechamento. Com sedes no Rio de Janeiro e em Brasília, o Correio da Manhã alcança a marca de 30 mil exemplares impressos por dia.
Língua roviana
A língua Roviana faz parte do ramo Salomônico Noroeste das línguas oceânicas, sendo falado na região das lagoas Roviana e Vonavona língua franca de caráter religioso na província Ocidental. Hoje vem sendo substituída pelo pidgin das Ilhas Salomão.

Vonavona
Vonavona é uma das ilhas das Ilhas Salomão, no sul do Oceano Pacífico. Pertence ao arquipélago das Ilhas da Nova Geórgia, na Província Ocidental. Tem 180 km 2 de área e 4494 habitantes (em 1999).

Também é designada Parara pelos nativos e está quase completamente coberta de floresta. Há um assentamento na costa noroeste.
DeepDotWeb
DeepDotWeb foi um site de notícias dedicado a eventos de dentro e ao redor da dark web, com entrevistas e análises sobre os mercados da darknet, serviços ocultos, ações legais, privacidade, bitcoin e notícias relacionadas. O site foi apreendido em 7 de maio de 2019 durante uma investigação sobre o modelo de marketing de afiliados dos proprietários, no qual eles recebiam dinheiro para publicar links para determinados mercados da darknet. Em maio de 2015, a McAfee cobriu um ransomware gratuito como serviço chamado 'Tox' hospedado em algum lugar da dark web cujos desenvolvedores deram uma entrevista ao DeepDotWeb.

A cobertura incluiu apreensões de drogas no mercado darknet, crowdfunding de pedófilos, os detalhes de invasão de mercados da darknet, bem como a diversificação de mercados como o TheRealDeal que vende exploits de softwares.

Os recursos do site incluiam mercados na lista negra, comparações e análises.

Mercados darknet
Mercados darknet são sites comerciais da deep web, eles funcionam principalmente como mercados negros, venda ou intermediação de transações envolvendo drogas, armas, moeda falsa, documentos falsos, produtos farmacêuticos não licenciados, esteroides e outros produtos ilegais.
Grande Prêmio da Áustria de 1982
Resumo do Grande Prêmio da Áustria de Fórmula 1 realizado em Österreichring em 15 de agosto de 1982. Décima terceira etapa do campeonato, nele o italiano Elio de Angelis, da Lotus-Ford, venceu pela primeira vez em sua carreira, com Keke Rosberg em segundo lugar pela Williams-Ford e Jacques Laffite em terceiro pela Ligier-Matra.

Equipe Matra Sports
A divisão esportiva da Matra recebeu o nome de Matra Sports, Equipe Matra Elf e Equipe Matra Sports (depois de uma aquisição da Simca em 1969 como Matra-Simca Division Automobile) foi fundada em 1965 e com sede em Champagne-sur-Seine (1965–1967), Romorantin-Lanthenay (1967–1969) e Vélizy-Villacoublay (1969–1979). Em 1979 a divisão de esportes foi assumida pela Peugeot e renomeado como Automobiles Talbot.

Em meados da década de 1960, a empresa teve um sucesso considerável nas corridas de Fórmula 3 e Fórmula 2. A Matra entrou na Fórmula 1 em 1967, no ano seguinte quando Jackie Stewart começou a competir pela equipe ele se mostrou ser um forte competidor, ganhando vários Grandes Prêmios e Campeão Mundial de 1969, o piloto no ano seguinte mudou-se para a Tyrrell. A equipe se retirou da Fórmula 1 em 1972.
Ticuqueiros
Ticuqueiros é uma banda brasileira de rock e maracatu, da cidade de 
Nazaré da Mata, situada no norte do Estado de Pernambuco.

Música pop com o influências das tradições populares tradicionais de rua da Mata Norte.

Tais como ciranda, coco rural, bloco rural.

Maracatu
Maracatu é um ritmo musical, dança e ritual de sincretismo religioso com origem no estado brasileiro de Pernambuco.

Existem dois tipos, conforme o "baque" ou batida: Maracatu Nação (Baque Virado) e Maracatu Rural (Baque Solto). O primeiro, bastante comum na área metropolitana do Recife, é o mais antigo ritmo afro-brasileiro; e o segundo é característico da cidade de Nazaré da Mata (Zona da Mata Norte de Pernambuco).

Foi registrado como forma de expressão e patrimônio Cultural do Brasil - aprovado pelo Instituto do Patrimônio Histórico e Artístico Nacional (IPHAN) - ao lado de manifestações como o marabaixo (Amapá), o carimbó (Pará), o  tambor de crioula (Maranhão) e a arte kusiwa do povo indígena waiãpi (Amapá).
Batalha de Orongi
A Batalha de Orongi foi travada em 214 a.C. entre o exército cartaginês e o exército romano perto da cidade de Orongi, uma localização incerta que ficava em algum lugar entre as modernas cidades de Monclova e Jimena de la Frontera. Seu resultado foi incerto.

Tito Lívio
Tito Lívio (em latim: Titus Livius; Pádua, c. 59 a.C. – Pádua, 17 d.C.), conhecido simplesmente como Lívio, é autor da obra histórica intitulada Ab urbe condita ("Desde a fundação da cidade"), onde tenta relatar a história de Roma desde o momento tradicional da sua fundação, 753 a.C., até ao início do século I da Era Cristã, mencionando desde os reis de Roma, tanto os primeiros, como os Tarquínios.
Sexualidade em O Senhor dos Anéis
A presença de sexualidade em O Senhor dos Anéis, um romance de fantasia bestseller de J. R. R. Tolkien, tem sido objeto de debate, pois é pouco evidente. No entanto, amor e casamento aparecem na forma da relação afetuosa entre os hobbits Sam Gamgee e Rosinha Villa [en]; os sentimentos não correspondidos de Éowyn por Aragorn, seguidos por seu amor por Faramir e o casamento com ele; e o amor de Aragorn por Arwen, descrito em um apêndice, em vez do texto principal, como "O Conto de Aragorn e Arwen". Diversos estudiosos observaram o simbolismo da aranha fêmea monstruosa Laracna. Também houve grande interesse na relação de mesmo sexo inspirada na dinâmica de oficial-auxiliar entre Frodo e seu jardineiro Sam, enquanto viajam juntos na perigosa missão de destruir o Anel. Estudiosos e comentadores interpretaram essa relação de diferentes maneiras, desde uma amizade íntima, mas não necessariamente homossexual, até abertamente homoerótica, ou como uma amizade heroica idealizada.

Peter Jackson
Peter Robert Jackson, ONZ, KNZM (Pukerua Bay, 31 de outubro de 1961), é um cineasta neozelandês. Filho de Bill e Joan Jackson, ambos imigrantes ingleses, ele ficou conhecido por dirigir a trilogia épica O Senhor dos Anéis, adaptada por ele, juntamente com Fran Walsh e Philippa Boyens, da obra homônima de J. R. R. Tolkien. Dirigiu também a história que antecede O Senhor dos Anéis, chamada O Hobbit também baseada num dos livros de J. R. R. Tolkien, The Hobbit: An Unexpected Journey estreou em 14 de dezembro de 2012. A segunda parte (The Hobbit – The Desolation of Smaug) estreou em 13 de dezembro de 2013 e o capítulo final da trilogia (The Hobbit – The Battle of the Five Armies) chegou aos cinemas dia 11 de dezembro de 2014.

Um de seus primeiros filmes, um sucesso do gênero Trash, é Braindead (1992). Mais tarde, pelo seu filme Heavenly Creatures (1994), Jackson dividiu uma indicação para o Oscar de Melhor Roteiro Original com sua esposa, Fran Walsh.
Acalles ornatus
Acalles ornatus é uma espécie de insetos coleópteros polífagos pertencente à família Curculionidae.

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

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

Curculionídeos
Os curculionídeos (Curculionidae), também conhecidos como gorgulhos, compõem uma grande família de besouros cuja principal característica é o rostro comprido (bico encurvado ou tromba) que possuem. Devido a essa característica peculiar, esses insetos também recebem nomes populares tais como bicudo, nenerri e broca. Determinadas espécies desses besouros são daninhas à agricultura, sendo pragas relevantes em plantações de milho (gorgulho do milho), de cana-de-açúcar, de algodão, e em diversas espécies de palmeira.

A espécie Aphanarthrum piscatorium é uma das que compõe esta família de insetos.
Team Jayco AlUla
Team Jayco AlUla (código UCI: JAY) é uma equipa de ciclismo profissional australiana de categoria UCI WorldTeam, iniciando desde a temporada de 2012, sendo a primeira equipa de dito país em conseguir a máxima categoria do ciclismo mundial.

Clássicas das Ardenas
As Clássicas das Ardenas (também conhecidas como a Trilogia das Ardenas ou o Tríptico das Ardenas) são três corridas de ciclismo que se disputam a cada ano no mês de abril na zona das Ardenas: Amstel Gold Race, Flecha Valona e Liège-Bastogne-Liège. As três clássicas, de reconhecido prestígio e tradição, disputam-se nessa ordem numa mesma semana.
Chad Perris
Chad Perris (nascido em 15 de junho de 1992) é um atleta paralímpico australiano. O atleta nasceu com albinismo. Perris obteve a medalha de prata no Campeonato Mundial de Atletismo Paralímpico, em 2015, na prova masculina dos 200 metros da categoria T13.

Perris defendeu as cores da Austrália disputando os Jogos Paralímpicos do Rio de Janeiro, em 2016, onde conquistou a medalha de bronze nos 100 metros masculino – T13, com 10,83 segundos.

Atleta
O atleta (do grego "athlētēs"; derivado de "aethos": "esforço") ou esportista, é uma pessoa que compete em um ou mais esportes que envolvem força física, velocidade, potência ou resistência. O atleta pode ser amador ou profissional.

A maioria dos atletas profissionais tem físicos particularmente bem desenvolvidos obtidos por treinamento físico extensivo e exercício rigoroso acompanhado por um regime dietético rigoroso.
Michael Taussig
Michael Taussig (Sydney, Austrália, 3 de abril de 1940) é um antropólogo formado em medicina pela Universidade de Sydney, tendo recebido seu doutorado em Antropologia pela London School of Economics. É professor na Universidade de Colúmbia de Nova Iorque e na European Graduate School da Suiça. Seus trabalhos relacionam a antropologia e a medicina; assim como dialoga com algumas categorias desenvolvidas pelo filósofos alemães Walter Benjamin e Karl Marx, principalmente o fetichismo na mercadoria. Seus escritos etnográficos seguem um estilo acadêmico anticonvencional que mistura fatos e realidade ficcional (Biografia no site da European Graduate School). Ele recebeu o Prêmio Berlim (2007) da American Academy de Berlim.

Walter Benjamin
Walter Benedix Schönflies Benjamin (Berlim, 15 de julho de 1892 — Portbou, 27 de setembro de 1940) foi um ensaísta, crítico literário, tradutor, filósofo e sociólogo judeu alemão. Associado à Escola de Frankfurt e à Teoria Crítica, foi fortemente inspirado tanto por autores marxistas, como Bertolt Brecht, como pelo místico judaico Gershom Scholem. Entre as suas obras mais conhecidas, contam-se A Obra de Arte na Era da Sua Reprodutibilidade Técnica (1936), Teses Sobre o Conceito de História (1940) e a monumental e inacabada Paris, Capital do século XIX, enquanto A Tarefa do Tradutor constitui referência incontornável dos estudos literários.
Batalha de Dublin
A Batalha de Dublin, ou, na sua forma portuguesa, de Dublim, foi um grande confronto armado ocorrido na capital da Irlanda que durou de 28 de junho e foi até 5 de julho de 1922, marcando o início da Guerra Civil Irlandesa. A luta começou quando tropas do Governo Provisório do Estado Livre Irlandês atacaram o prédio da Four Courts que havia sido ocupado por homens das forças anti-tradado do Exército Republicano Irlandês (IRA). Depois de tomar o centro da cidade, as tropas partidárias do Tratado perseguiram os rebeldes por toda Dublin e acabaram por expulsa-los da capital. Logo após esta batalha, as forças do Governo Provisório passariam os proximos 11 meses lutando contra os rebeldes do IRA até o fim da guerra civil, que decretou o nascimento do Estado Livre Irlandês.

Guerra Civil Irlandesa
A Guerra Civil Irlandesa (em irlandês:  Cogadh Cathartha na hÉireann, em inglês:  Irish Civil War; 28 de junho de 1922 — 24 de maio de 1923) foi um conflito que acompanhou a criação do Estado Livre Irlandês como uma entidade independente do Reino Unido dentro do Império Britânico.

O conflito foi travado entre dois grupos opostos de nacionalistas irlandeses: as forças do novo governo do Estado Livre, apoiantes do Tratado Anglo-Irlandês, e os republicanos, para quem o Tratado representava uma traição da República da Irlanda. A guerra foi ganha pelas forças governistas.

Segundo historiadores, a guerra civil na Irlanda pode ter levado mais vidas do que a guerra da independência contra a Grã-Bretanha, que a precedeu, e deixou a sociedade irlandesa dividida e ressentida nas décadas seguintes. Atualmente, os dois principais partidos políticos da República Irlandesa, a Fianna Fáil e a Fine Gael, são os descendentes diretos dos lados opostos desta guerra.
Salcacovite
Salcacovite (em armênio: Ծաղկահովիտ գետ; romaniz.: Całkahovit) é uma aldeia e município da província de Aragatsotn, na Armênia. De acordo com o censo de 2011, havia 1 611 habitantes no centro urbano e 9 393 no município.

Aragatsotn
Aragatsotn (em armênio: Արագածոտն;  [ɑɾɑɡɑˈt͡sɔtən] (ajuda·info)) é uma das dez províncias da Arménia, situada na parte ocidental do país, com capital em Astaraque. Além da capital, engloba duas outras cidades (Aparã e Talim) e 111 comunidades rurais.
Calanna
Calanna é uma comuna italiana da região da Calábria, província de Reggio Calabria, com cerca de 1.184 habitantes. Estende-se por uma área de 10 km², tendo uma densidade populacional de 118 hab/km². Faz fronteira com Fiumara, Laganadi, Reggio di Calabria, San Roberto.

Régio da Calábria (província)
A Régio da Calábria (em italiano: Reggio Calabria) é uma província italiana da região da Calábria com cerca de 564 223 habitantes, densidade de 177 hab/km². Está dividida em 97 comunas, sendo a capital Régio da Calábria.

Faz fronteira a norte com a província de Vibo Valentia e a província de Catanzaro, a sul e a este com o Mar Jónico, e a oeste com Mar Tirreno.
Joe Gacy
Joseph Ruby (Franklinville, 8 de agosto de 1987) é um lutador profissional americano. Ele trabalha atualmente para a WWE, na marca SmackDown onde atua sob o nome de ringue Joe Gacy e é membro da facção The Wyatt Sicks. Ele foi uma vez campeão de duplas da WWE, ao lado de seu companheiro de grupo Dexter Lumis.

Gacy é mais conhecido por seu trabalho na Combat Zone Wrestling (CZW), onde conquistou três vezes o CZW World Heavyweight Championship e três vezes o CZW Wired Championship. Ele também apareceu na Evolve, onde foi campeão de duplas uma vez.

Slammy Award
Os Slammy Awards ("Prêmios Slammy") é um conceito usado pela WWE, antes conhecida como World Wrestling Federation (WWF), no qual prêmios, similares ao Óscar e ao Grammy Award, são entregues a lutadores e personalidades da WWE. Já ocorreram 13 edições do evento, com as duas primeiras em 1986 e 1987. Após um hiato de sete anos, o conceito retornou em 1994 como um episódio especial do WWF Mania. A cerimônia voltou a acontecer em 1996 e 1997 em forma de um banquete. O conceito foi novamente colocado de lado, retornando somente em 2008 quando tornou-se um evento anual. Os vencedores do prêmio recem uma estátua que retrata um lutador segurando outro sobre a cabeça.
Manuel de Azevedo
Manuel Rodrigues Monteiro de Azevedo ou Manuel de Azevedo (Folhadela, 6 de agosto de 1916 – Lisboa, 6 de julho de 1984) foi um jornalista cultural e de intervenção, e um cinéfilo português. Foi firme na militância associativa, sindical e cívica e dedicado à luta antifascista e aos valores da liberdade e defesa da cultura democrática.

O Primeiro de Janeiro
O Primeiro de Janeiro foi um jornal diário que se publicou na cidade do Porto pela primeira vez em 1 de Dezembro de 1868. A publicação deve o seu título às manifestações da Janeirinha, que em 1 de Janeiro de 1868 iniciaram o processo que levou ao fim da Regeneração. No cabeçalho indicava tratar-se do órgão do Centro Eleitoral Portuense.
Älmhult
Älmhult  ( OUÇA A PRONÚNCIA) é uma cidade da província da Småland, na região histórica da Gotalândia, no Sul da Suécia. É a sede da comuna de Älmhult, pertencente ao condado de Kronoberg. Possui 9,77 quilômetros quadrados e segundo censo de 2018, havia 10 195 habitantes. É conhecida por ter a primeira loja da IKEA, fundada em 1958 por Ingvar Kamprad aos 17 anos. Ainda hoje, tem o armazém central da IKEA.

Kronoberg
O Condado de Kronoberg (em sueco: Kronobergs län;  pronúncia) é um dos 21 condados da Suécia.

Ocupa 2% da superfície total do país, e tem uma população de 203 317 pessoas (2024).                                                                                                                A sua sede administrativa (residensstad) está na cidade de Växjö.
Dilema construtivo
Dilema construtivo é uma regra de inferência válida da lógica proposicional. É a inferência que diz: se P implica Q e R implica S, e P ou R é verdade, então Q ou S tem que ser verdade. Em suma, se duas condicionais são verdade e pelo menos um de seus antecedentes também o é, então pelo menos um de seus consequentes também precisa ser. Dilema construtivo é a versão disjuntiva do modus ponens, enquanto, o
dilema destrutivo é a versão disjuntiva do Modus tollens. Formalmente:

ou seja: sempre que instâncias de "", "", e"" aparecerem numa linha de alguma prova, "" pode ser concluído na linha seguinte.

Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático. Tecnicamente,  Os Elementos de Euclides, com um modelo consistindo de 23 definições e 10 postulados/axiomas publicados em 13 livros de teoremas com provas, é frequentemente considerado o primeiro sistema formal e mostra as características de um sistema formal. A implicação de um sistema por sua base lógica é o que distingue o sistema formal de outros que podem ter alguma base em um modelo abstrato. Muitas vezes, o sistema formal será a base, ou será identificado por si só, como uma teoria maior ou um campo consistente com o uso da matemática moderna, como a teoria dos modelos.