hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Cronologia do CERN
Construído no meio de campos verdejantes em 1954, a ideia dos pais fundadores tornou-se a actual Organização Europeia para a Pesquisa Nuclear mas em mais de "50 anos de CERN"  -  há datas de uma importância especial para a organização antes de se tornar o que é hoje.

Sempre com o objectivo da pesquisa fundamental não  impede o CERN, bem ao contrário, de ser o berço da World Wide Web nos anos 1989 e hoje em dia o iniciador da Grelha de cálculo LHC.

Lista da algumas das datas do CERN mais marcantes.

Nêutron
Um nêutron (português brasileiro) ou neutrão (português europeu) é um bárion eletricamente neutro. Composto por dois quarks down e um quark up, forma o núcleo atômico juntamente com o próton e, uma vez fora deste, é instável e tem uma vida média de cerca de 15 minutos, emitindo um elétron e um antineutrino, convertendo-se em um próton.

Foi descoberto pelo físico inglês James Chadwick em 1932, que recebeu o Prêmio Nobel de Física em 1935 por essa descoberta.

Para saber a quantidade de nêutrons que um átomo possui, basta fazer a subtração entre o número de massa (A) e o número atómico (Z).
Estação de Lille-Europe
A Estação de Lille-Europe, também chamada de "Lille Eurostar" ou "Lille Europe International", é uma estação ferroviária francesa da linha de alta velocidade de Fretin à Fréthun, localizada na borda do centro da cidade de Lille, cidade central da Metrópole europeia de Lille, prefeitura do departamento do Norte e da região dos Altos da França.

Ela foi inaugurada em 1994, durante a abertura da linha de alta velocidade (LGV). É a segunda estação ferroviária da cidade, para o tráfego de passageiros, após a sua vizinha, a estação de Lille-Flandres.

Estação da Société nationale des chemins de fer français (SNCF), que é servido pelo Eurostar, pelo Thalys, pelo TGV e pelos TERGV. Ela permite conexões com a estação de metrô Gare Lille-Europe.

Société Nationale des Chemins de Fer Français
A SNCF, ou Société Nationale des Chemins de fer Français é uma das principais empresas públicas francesas. Ela exerce uma atividade dupla: por um lado, é uma empresa ferroviária encarregada da exploração comercial dos serviços de transporte ferroviário de passageiros e de mercadorias; e por outro, é encarregada da exploração e da manutenção da rede férrea nacional francesa, por intermédio do SNCF Réseau.
Aceite
Aceite, em Direito, é o ato cambial pelo qual uma pessoa ou mais pessoas entram em comum acordo de aceitação, em que ambos tem o dever e/ou o poder de aceitar ou não tal acordo. Por exemplo: "Algumas pessoas se colocaram contra essa lei orgânica, mas para a maioria foi aceite.".

Essa palavra se vincula à obrigação cambial, colocando sua assinatura no título contra ela sacado (letra de câmbio ou duplicata). O momento do aceite será qualquer data anterior à do vencimento do título. O aceitante é o devedor principal do título; caso haja recusa ao aceite, ocorre o vencimento antecipado do título, podendo o beneficiário cobrar diretamente do sacador.

Duplicata
A fatura duplicata mercantil ou simplesmente duplicata é uma espécie de título de crédito que constitui o instrumento de prova do contrato de compra e venda. No Brasil ela é regulada  pela Lei N° 5.474 de 18 de julho de 1968 - Lei das Duplicatas. O conjunto de duplicatas é chamado de "carteira", ou seja, um conjunto de ativos financeiros, que tem como portador, tanto a pessoa física como a jurídica.
António Arnao Metello
António Carlos Dejante Pinto de Magalhães Arnao Metello CvA (Paiva de Andrade, Lunda Norte, 2 de Junho de 1938 — Macau, 29 de Julho de 2008) foi um militar do Exército Português, engenheiro civil e político que, entre outras funções de relevo, foi Ministro da Administração Interna, entre 26 de Março e 8 de Agosto de 1975, e vice-primeiro-ministro de Vasco Gonçalves, entre 8 de Agosto e 19 de Setembro de 1975.

Cambulo
Cambulo é uma cidade e município de Angola, na província da Lunda Norte.

Tem cerca de 77 mil habitantes. É limitado a norte e a leste pela República Democrática do Congo, a sul pelo município de Saurimo, e a oeste pelos municípios de Lucapa e Chitato.

O município é constituído pela comuna-sede, correspondente à cidade de Cambulo (também chamada Nzagi ou Zaze), e pelas comunas de Luia, Cachimo e Canzar.

No período colonial tinha o nome de "Paiva de Andrade".
Me and My Shadow
Me and My Shadow era um futuro filme de animação digital/tradicional dos gêneros fantasia e comédia americano produzido pela DreamWorks Animation e distribuído pela 20th Century Fox.
Dirigido por Alessandro Carloni a partir de um roteiro de Tom J. Astle e Matt Ember, e estrelado por Bill Hader, Josh Gad e Kate Hudson. Encontra-se em development hell.

Development hell
Development hell (lit.  "Inferno do desenvolvimento") é o período em que um filme ou outro projeto está com sua produção parada. Um filme, jogo eletrônico, programa de televisão, roteiro, software, conceito ou ideia presos no inferno do desenvolvimento levam um tempo particularmente longo para darem seguimento a sua produção, e em alguns casos chegam até mesmo a nunca retornarem ao estágio de desenvolvimento.
Kawanishi Baika
O Kawanishi Baika foi uma aeronave protótipo que seria alimentada por um motor a jato, que foi concebida para a Marinha Imperial Japonesa no final da Segunda Guerra Mundial. Quando a guerra terminou, nenhum exemplar havia ainda sido construído.

Aeronave
Aeronave é qualquer máquina capaz de sustentar voo, e a grande maioria também é capaz de alçar voo por meios próprios. Ele contrabalança a força da gravidade utilizando ou sustentação estática ou sustentação dinâmica de um aerofólio, ou em alguns casos, empuxo vertical devido à tração de motores a reação.

Apesar de foguetes e mísseis também serem capazes de viajar pela atmosfera, não são normalmente considerados aeronaves. Tanto por não serem pilotáveis (dirigíveis) quanto por contar com tração do foguete como meio primário de sustentação.

A atividade humana que se relaciona com aeronaves é chamada de aviação. Aeronaves tripuladas são voadas por um piloto a bordo, enquanto aeronaves não tripuladas são comandadas por controle remoto ou controladas autonomamente por computadores a bordo.
Minchancaman
Minchançaman, Minchan Çaman ou Minchanzaman, foi o último Cie Quich ou Chimú Cápac ((quechua: Chimu Qapaq, «Gran Chimú»)? : , ‘Grande Chimú’) é um grande conquistador; durante seu governo os Chimú dominaram toda a costa norte do Peru. Desde Tumbes até Lima (Rio Chillón), numa extensão a mais de 1000 km. No entanto, Minchanzaman teve o destino fatal de ver a queda de seu extenso reino. Um exército a mais de 30 mil soldados comandados por Túpac Inca Yupanqui, filho de Pachacútec, conseguiu sua rendição. De acordo às evidências históricas, foi uma conquista pacífica. Isto permitiu que a cidade de Chan Chan não fosse saqueada. O governante foi levado ao Cuzco com centos de artesãos: ceramistas, ourives e tecelões.

Em Chan Chan  o herdeiro de Minchanzaman, seu filho Chumuncaur, ascendeu ao trono. Os representantes cuzquenses situaram seu centro de operações em no Velho Chiquitoy, Vale Chicama, o que significou a decadência e abandono de Chan Chan.

Túpac Yupanqui
Túpac Yupanqui  (Quíchua: Tupaq Inka Yupanki, 1441 - 1493), um dos últimos governantes foi décimo Sapa Inca e o 2º Inca do Tawantinsuyu. Sendo o sucessor de Pachacuti. Ele assumiu o co-reinado provavelmente entre os 25 e 30 anos (entre 1466 e 1471). Em seguida, após a morte de seu pai, passou a controlar absolutamente o poder, nesta época devia ter pouco mais que 30 anos. Governou de 1471 até sua morte, em 1493.
Dustin Rhodes
Dustin Patrick Runnels (Austin, 11 de abril de 1969) é um lutador de wrestling profissional estadunidense que atualmente luta para a AEW sob o nome de Dustin Rhodes. Ele também já lutou na World Wrestling Entertainment na World Championship Wrestling e na Total Nonstop Action Wrestling como Goldust Dustin Rhodes, Black Reign e Seven. Runnels é filho de "The American Dream" Dusty Rhodes e meio-irmão de Cody Rhodes.

Durante sua carreira, Runnels ganhou diversos títulos. Na World Championship Wrestling ele foi duas vezes Campeão dos Estados Unidos, uma vez Campeão Mundial de Trios da WCW e duas vezes Campeão Mundial de Duplas da WCW. Na World Wrestling Federation / Entertainment, ele foi duas vezes três vezes Campeão Intercontinental, nove vezes Campeão Hardcore, e uma vez Campeão Mundial de Duplas da WWE.

WCW World Tag Team Championship
O World Championship Wrestling (WCW) Tag Team Championship foi um campeonato de wrestling profissional que era de posse da World Championship Wrestling. Ficou ativo de 1975, até a venda da WCW para a WWE em 2001. Neste mesmo ano, foi unificado com o WWF Tag Team Championship.
Aparelho reprodutor masculino
O aparelho reprodutor masculino ou sistema genital masculino é o sistema responsável pela produção dos gametas masculinos, tal como a maturação e introdução destes no aparelho reprodutor feminino. Como processos fisiológicos relacionadas a essas funções, há a produção de hormônios e do sêmen. Sua forma e função está intimamente relacionada à evolução dos sistemas de acasalamento em primatas e ao conflito sexual entre macho e fêmea.

Existem três formas de se dividirem os órgãos do sistema genital masculino: anatomicamente, funcionalmente ou embriologicamente. A divisão anatômica compreende uma parte externa e uma parte interna. Na parte externa, está o pênis e o escroto, tal como as camadas do testículo. A parte interna compreende as vias espermáticas, as glândulas acessórias e os testículos. É formado por diversos órgãos, os testículos, os epidêmios, os ducto deferentes, as glândulas seminais, a próstata, o ducto ejaculatório e o pênis.

Sémen
Sêmen, também chamado de fluido seminal, é um fluido corporal que contém espermatozoides secretado pelas gônadas (glândulas sexuais) masculinas e por outros órgãos sexuais de macho ou hermafrodita animals. Nos humanos e em mamíferos placentários, o fluido seminal é ejaculado pelo pênis e contém enzimas proteolíticas e outras enzimas, além de frutose, substância que favorece a sobrevivência dos espermatozoides e fornece um meio em que eles podem se deslocar ou “nadar” da vagina até o útero para fertilizar o óvulo feminino e formar um zigoto.

O sêmen é coletado de animais para inseminação artificial ou crioconservação de material genético. A crioconservação de recursos genéticos animais é uma prática voltada à conservação de raças específicas.
Campeonato Equatoriano de Futebol de 2016 - Série A
O Campeonato Equatoriano de Futebol de 2016 - Série A ou Copa Banco del Pacífico 2016 foi a 58ª edição da primeira divisão do Campeonato Equatoriano. O torneio foi organizado pela Federação Equatoriana de Futebol e consistiu em um sistema de 3 etapas. A 1ª e a 2ª etapas foram disputadas no sistema de todos contra todos, com jogos de ida e volta, totalizando 22 jogos por equipe em cada etapa, enquanto a 3ª fase, que não chegou a ser disputada, consistiria na final do torneio em jogos de ida e volta disputados pelos vencedores das etapas anteriores. Foram atribuídas 4 vagas para a Copa Libertadores da América de 2017 (duas para a fase de grupos, uma para a segunda fase classificatória e uma para a primeira fase classificatória), além de 4 vagas para a Copa Sul-Americana de 2017. Ao final do campeonato, as duas equipes com menor pontuação no agregado das duas primeiras etapas foram rebaixadas para a segunda divisão do campeonato nacional de 2017 (Serie B).

Copa Sul-Americana de 2017
A Copa Sul-Americana de 2017, oficialmente nomeada CONMEBOL Sul-Americana 2017, foi a 16.ª edição da competição de futebol realizada anualmente pela Confederação Sul-Americana de Futebol (CONMEBOL). Participaram clubes das dez associações sul-americanas.

O Independiente, da Argentina, se sagrou campeão pela segunda vez da competição ao derrotar o Flamengo, do Brasil, por 2–1 no jogo de ida, em Avellaneda, e empatar em 1–1 no jogo de volta no Rio de Janeiro. Com o título o clube argentino ganhou o direito de disputar a fase de grupos da Copa Libertadores da América de 2018. Além disso, disputou a Recopa Sul-Americana de 2018 contra o Grêmio, vencedor da Copa Libertadores de 2017, e a Copa Suruga Bank de 2018.
Ole Rømer
Ole Christensen Rømer (Aarhus, 25 de setembro de 1644 – Copenhage, 19 de setembro de 1710) foi um astrônomo dinamarquês que, em 1676, demonstrou pela primeira vez que a luz viaja a uma velocidade finita. Rømer também inventou o termômetro moderno que mostra a temperatura entre dois pontos fixos, nomeadamente os pontos em que a água respectivamente ferve e congela.

Rømer fez sua descoberta sobre a velocidade da luz enquanto trabalhava no Observatório Real de Paris e estudava a lua de Júpiter, Io. Ele estimou que a luz leva cerca de 11 minutos para viajar do Sol à Terra. Usando o conhecimento atual da distância Sol-Terra, isso equivaleria a uma velocidade da luz de aproximadamente 220 000 quilômetros por segundo, comparada ao valor aceito hoje de pouco menos de 300 000 quilômetros por segundo.

Na literatura científica, grafias alternativas como "Roemer", "Römer" ou "Romer" são comuns.

Aarhus
Aarhus ( PRONÚNCIA DINAMARQUESA; até 2011 grafada Århus) é uma cidade portuária da Dinamarca, situada na costa oriental da península da Jutlândia e banhada pelo estreito do Categate.
É a 2ª maior cidade do país, e um importante centro comercial e industrial.

A cidade de Aarhus tem uma área de 91 km² e uma população de 285 273 habitantes (2022). 
É o centro administrativo da comuna de Aarhus, pertencente à Região da Jutlândia Central (Midtjylland).
Ana Sofia de Brandemburgo
Ana Sofia de Brandemburgo (em alemão:  Anna Sophia; Berlim, 18 de março de 1598 – Berlim, 19 de dezembro de 1659) foi princesa de Brandemburgo por nascimento, e duquesa de Brunsvique-Luneburgo e princesa de Brunsvique-Volfembutel como esposa de Frederico Ulrico.

Jorge Guilherme, Eleitor de Brandemburgo
Jorge Guilherme (Cölln, 13 de novembro de 1595 – Königsberg, 1 de dezembro de 1640) foi o Eleitor de Brandemburgo e Duque da Prússia de 1619 até sua morte. Seu reinado foi marcado por um governo ineficiente durante a Guerra dos Trinta Anos.
Chacina de Sinop
Chacina de Sinop foi um crime ocorrido em 21 de fevereiro de 2023, no Bruno Snooker Bar, no bairro Lisboa, em Sinop, Mato Grosso, no Brasil, e que levou à morte sete pessoas, incluindo uma jovem de 12 anos de idade.

O crime aconteceu pouco mais de um mês após outra chacina na região Centro-Oeste do Brasil, quando 10 pessoas de uma família do Distrito Federal foram mortas.

O caso repercutiu em grandes veículos de imprensa do Brasil, como no portal g1 da Globo, no R7 da Record, na CNN Brasil, entre outros. O delegado regional de Sinop, Carlos Eduardo Muniz, disse que o crime foi uma "tragédia sem precedentes".

Sinop
Sinop é um município brasileiro do estado de Mato Grosso, na região Centro-Oeste. Sua população, conforme estimativa do Instituto Brasileiro de Geografia e Estatística (IBGE) de 2024, era de 216 029 habitantes.
Sara Wesslin
Sara Wesslin (Finlândia, 7 de novembro de 1991) é jornalista Skolt Saami e âncora de notícias da Finlândia e uma forte defensora da língua Skolt Sámi, língua materna de sua avó Olga. Ela obteve financiamento do Ministério da Educação e Cultura da Finlândia para o Centro de Recursos Nórdicos para as línguas Sami.

Em outubro de 2019, ela foi uma das "mulheres mais inspiradoras e influentes do mundo" incluídas pela BBC em seu programa 100 Mulheres da BBC. Sara Wesslin usou seus recursos de mídia e seu acesso à cultura popular para ajudar a reviver a língua Skolt Sámi. Ela também se concentrou em ensiná-la a mulheres que ela acredita desempenharem um papel importante na manutenção do idioma em suas famílias. Em junho de 2020, ela foi selecionada para o prêmio One Young World Journalist of the Year.

100 Mulheres (BBC)
100 Mulheres é uma série multi-formato da BBC iniciada em 2013. A série examina o papel das mulheres no século XXI e inclui eventos em Londres, no México e no Brasil. Assim que a lista é divulgada, é o começo do que é descrito pelo projeto como a "temporada das mulheres da BBC", com duração de três semanas, que inclui a transmissão, relatórios online, debates e criação de conteúdo jornalístico sobre o tópico das mulheres. Mulheres de todo o mundo são incentivadas a participar através do Twitter[carece de fontes?] e comentar sobre a lista, bem como as entrevistas e debates que seguem a libertação da lista. Em parceria com a Wikimedia UK, são organizados eventos de edição (edit-a-thons) em que são produzidos artigos na Wikipédia sobre as mulheres presentes na lista de cada ano, bem como outras mulheres de relevância.
Francisco Pinto Balsemão
Francisco José Pereira Pinto de Balsemão GCCa • GCC • GCIH • GCL • GOB (Santa Isabel, Lisboa, 1 de setembro de 1937 – Cascais e Estoril, Cascais, 21 de outubro de 2025) foi um empresário português, primeiro-ministro de Portugal entre janeiro de 1981 e junho de 1983.

Jurista de formação, foi advogado, jornalista e, igualmente, dirigente político ativo, até se dedicar exclusivamente à vida empresarial, no setor da comunicação social.

Pinto Balsemão foi fundador e presidente do Grupo Impresa e presidente do Conselho de Administração da Sociedade Independente de Comunicação (SIC), a primeira estação de televisão privada em Portugal.

Ordem do Mérito
A Ordem do Mérito é uma ordem honorífica portuguesa que visa distinguir actos ou serviços meritórios que revelem abnegação em favor da coletividade, praticados no exercício de quaisquer funções, públicas ou privadas.

Para além dos cidadãos nacionais também os cidadãos estrangeiros podem ser agraciados com esta Ordem.
Cândido Firmino de Mello-Leitão
Cândido Firmino de Mello Leitão (Campina Grande, 17 de julho de 1886 – Rio de Janeiro, 14 de dezembro de 1948) foi um zoólogo brasileiro considerado o fundador da aracnologia na América do Sul. Publicou 198 artigos sobre taxonomia de aracnídeos.

Mello Leitão também se envolveu na educação, escrevendo livros para cursos de faculdade e contribuiu para a biogeografia, com estudos sobre a distribuição dos membros da classe Arachnida no continente sul-americano.

Aracnídeos
Os aracnídeos (formalmente chamados de Arachnida) são uma classe de animais artrópodes que inclui, dentre os bichos melhor conhecidos pela população por aranhas, carrapatos e ácaros, escorpiões e pseudoescorpiões, e os opiliões (ou aranhas-do-pau-podre). O nome desta classe de animais tem origem vem do grego antigo  ἀράχνη (aráchnē, significando aranha), que remete na mitologia grega à entidade Arachne, que teria sido uma humana castigada pelos deuses transformada em uma aranha. A classe historicamente levou o nome pois foram as aranhas os primeiros representantes formalmente descritos.

Quase todos animais aracnídeos atuais são animais terrestres, com poucas exceções vivendo em ambiente aquático, de água doce (como alguns ácaros e até aranhas anfíbias) e de ambientes marinhos. Existem mais de 110 000 espécies descritas de seres aracnídeos, dos quais cerca de 51,000 são de aranhas.
West Coast hip hop
West Coast Hip Hop ou West Coast Rap (traduzido para português: Hip Hop da Costa Oeste) é um movimento do hip hop que surgiu na Costa Oeste dos Estados Unidos (notoriamente no estado da Califórnia). Emergiu durante o final da década de 1980 por Ice T, e posteriormente por grupos de gangsta rap como N.W.A. e Compton's Most Wanted. Alguns artistas que emergiram da Costa Oeste incluem Eazy-E, Snoop Dogg, DJ Quik, Tupac Shakur, Dr. Dre, Too $hort, MC Eiht, Ice Cube, E-40 entre outros. A cena também deu origem ao G-funk.

Atualmente rappers como Kendrick Lamar, Roddy Ricch, Ty Dolla $ign, Baby Keem, Tyler, The Creator, YG, Tyga, Lil Mosey, G-Eazy, ScHoolboy Q e Vince Staples são alguns dos rappers mais famosos e aclamados do hip hop da Costa Oeste dos Estados Unidos, conseguindo obter bastante sucesso nos últimos anos.

Costa Oeste dos Estados Unidos
A Costa Oeste dos Estados Unidos, (West Coast of the United States; West Coast), também conhecida por Costa do Pacífico (Pacific Coast), designa geralmente os três estados mais ocidentais do grupo de estados contíguos: Califórnia, Oregon e Washington. O Arizona e o Nevada, embora interiores, são por vezes incluídos na Costa Oeste devido à proximidade com o Pacífico e por razões económicas e culturais. Outras opções fazem incluir no grupo o Alasca e o Havaí.

Em 2020, quase 54 milhões de pessoas viviam na região.
Not safe for work
Not safe for work (expressão em inglês traduzida como Não seguro para o trabalho, muitas vezes abreviado para a sigla NSFW) é uma gíria da internet ou abreviação usada para marcar URLs e ligações que apontam para vídeos ou sites de páginas que contenham nudez, sexualidade intensa, palavrões, violência intensa, e/ou outro assunto potencialmente perturbador, que o espectador pode não querer ser visto olhando em um ambiente público ou formal, incluindo um local de trabalho, escola ou ambiente familiar. NSFW tem particular relevância para as pessoas que tentam fazer uso pessoal da Internet em locais de trabalho ou escolas que têm políticas que proíbem o acesso a material sexual e explícito.

A expressão similar Not safe for life ("Não seguro para a vida", encurtada para NSFL), também é usada, referindo-se a conteúdo que é tão nauseante ou perturbador que poderia ser emocionalmente traumático de se ver. Ligações marcadas como NSFL podem conter pornografia, fetiche e/ou violência letal.

Pornografia
A pornografia é definida como qualquer material produzido com objetivos recreativos, através da representação de atividades sexuais humanas explícitas ou da nudez humana explícita. Atualmente a pornografia assume caráter de atividade comercial, seja para os próprios profissionais da área, seja para as empresas do setor.

A pornografia, na maioria dos países, tem acesso proibido para menores de 18 ou 21 anos, tanto na produção quanto no consumo. Alguns países consideram esse tipo de material ilegal como a China, outros exigem algum tipo de censura gráfica como o Japão.

As mídias mais comuns para pornografia são o vídeo-doméstico (como VHS, DVD e Blu-ray), a World Wide Web (www), os serviços de streaming, também a televisão por assinatura, as revistas e mais raramente, videogames, livros, pinturas e esculturas. Recentemente a Internet modificou diversos paradigmas da Indústria, como a distribuição em mídias físicas, que vem sendo substituída pela distribuição on-line.
Morinaga & Company
Morinaga & Company, Ltd. (森永製菓株式会社, Morinaga Seika Kabushiki-gaisha) é uma doceria japonesa com sede em Tóquio fundada em 1899. É conhecida por suas propagandas com a cantora Ayumi Hamasaki e por seus biscoitos maria.

Maria (bolacha)
A bolacha Maria é um tipo popular de doce feito com farinha de trigo, açúcar, óleo e essência de baunilha. O nome "Maria" (ou equivalente em outras línguas) está gravado na superfície, com desenhos na beira.
Instanciação universal
Na lógica de predicados a Instanciação Universal (IU, também chamada Especificação Universal ou Eliminação Universal, e algumas vezes confundido com Dictum de omni) é uma regra de inferência válida a partir de uma verdade sobre cada membro de uma classe de indivíduos para a verdade sobre um grupo particular daquela classe. É geralmente dada como uma regra de quantificação para o quantificador universal, contudo também pode ser codificado em um axioma. Esse é um dos princípios utilizados na Lógica de primeira ordem.

Exemplo:

Em símbolos a regra em um esquema de axioma é

para algum termo a onde   é o resultado da substituição de a em todas as ocorrências de x em A.

E como uma regra de inferência é:

de  ⊢ ∀x A infer ⊢ A(a/x),

sendo A(a/x) o mesmo que foi mostrado acima.

Irving Copi  notou que a Instanciação universal "...resulta de variantes das regras para 'dedução natural',que foram elaboradas de forma independente por Gerhard Gentzen e Stanisław Jaśkowski em 1934."

Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado é uma afirmação universalmente quantificada. Em símbolos lógicos, o quantificador universal (usualmente ∀) é o símbolo usado para denotar o universo de quantificação, informalmente lido como "para todo" ou "para qualquer".