hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Estensione conservativa
In logica matematica, nell'ambito della teoria della dimostrazione, un'estensione conservativa di una teoria logica T1 è una teoria T2 tale che:

tutti i simboli di T1 sono presenti anche in T2

ogni teorema di T1 è anche un teorema di T2

ogni teorema di T2 esprimibile usando soltanto il linguaggio di T1 è un teorema di T1.

Nella teoria dei modelli, T2 si dice un'estensione conservativa di T1 se ogni modello di T1 può essere esteso in un modello di T2. Tutte le estensioni conservative nel senso della teoria dei modelli lo sono anche nella definizione della teoria della dimostrazione.

Teoria della dimostrazione
La teoria della dimostrazione è la branca della logica matematica che considera le dimostrazioni a loro volta come oggetti matematici, facilitando la loro analisi con tecniche matematiche. Le dimostrazioni sono solitamente presentate come strutture dati definite induttivamente (ad esempio, liste o alberi), costruite secondo gli assiomi e le regole di inferenza del sistema logico.

La teoria della dimostrazione non solo gioca un ruolo primario nella teoria dei linguaggi di programmazione, ma è anche uno dei cosiddetti quattro pilastri dei fondamenti della matematica, assieme alla teoria dei modelli, alla teoria assiomatica degli insiemi e alla teoria della calcolabilità.
Uuden Musiikin Kilpailu 2021
La decima edizione di Uuden Musiikin Kilpailu si è svolta a Tampere il 20 febbraio 2021 e ha selezionato il rappresentante finlandese all'Eurovision Song Contest 2021 a Rotterdam.

I vincitori sono stati i Blind Channel con Dark Side.

Finlandia all'Eurovision Song Contest
La Finlandia partecipa all'Eurovision Song Contest dall'edizione del 1961 e da allora ha preso parte alla manifestazione ogni anno fatta eccezione per le edizioni del 1970, 1995, 1997, 1999, 2001 e 2003. La partecipazione è curata dall'azienda radiotelevisiva pubblica Yleisradio (Yle).

Ha vinto una volta nel 2006 coi Lordi e la loro Hard Rock Hallelujah e conseguentemente ha ospitato a Helsinki l'edizione del 2007.
Aftershock (personaggio)
Aftershock, il cui vero nome è Allison Dillon, è un personaggio dei fumetti, creato da Sean McKeever (testi) e Casey Jones (disegni), pubblicato dalla Marvel Comics. È apparso per la prima volta in Spider-Girl (vol. 1) n. 51 (novembre 2002).

Fa parte della realtà alternativa di Terra-982, le cui storie sono ambientate nel futuro, raccolte sotto l'etichetta editoriale MC 2. È la figlia di Max Dillon, alias Electro uno dei principali nemici dell'Uomo Ragno.

Spider-Girl
Spider-Girl, il cui vero nome è May "Mayday" Parker, è un personaggio dei fumetti, creato da Tom DeFalco (testi) e Ron Frenz (disegni), pubblicato da Marvel Comics. La sua prima apparizione avviene in What If ...?  (vol. 2) n. 105 (febbraio 1998).

È la figlia di Peter Parker (Spider-Man) in una realtà alternativa alla Terra-616, ambientata nel futuro di questa linea temporale differente dalla continuity classica. Il What If n. 105 è di fatto l'albo iniziale di una linea editoriale denominata MC2 (letteralmente Marvel Comics 2). La linea temporale venne in seguito codificata come Terra-982.
UNI EN ISO 140-5
La norma tecnica UNI EN ISO 140-5 si intitola "Acustica - Misurazione dell'isolamento acustico in edifici e di elementi di edificio - Misurazioni in opera dell'isolamento acustico per via aerea degli elementi di facciata e delle facciate" e contiene indicazioni per effettuare la misurazione dell'isolamento acustico aereo di elementi di facciata e di intere facciate; il primo tipo di misura è denominato metodo degli elementi mentre il secondo, metodo globale.

Il metodo degli elementi, utilizzando una sorgente di rumore artificiale o direttamente il rumore del traffico esterno, è utilizzato per la stima del potere fonoisolante di un elemento di facciata. Il metodo globale ha, invece, lo scopo di stimare, a partire dal rumore indotto dal traffico reale, la differenza di livello sonoro esterno – interno nelle reali condizioni di traffico.

Ultima versione pubblicata: UNI EN ISO 140-5:2000

Isolamento acustico
L'isolamento acustico è il ramo della tecnica che si occupa di limitare la diffusione del suono e del rumore.

L'isolamento acustico è spesso applicato per ridurre rumori che disturbano gli occupanti di edifici residenziali e non, quali ad esempio rumore del traffico urbano, calpestio dai piani superiori, rumori associati al funzionamento di apparecchiature elettriche, rumori provenienti dai vicini.

Il fenomeno dell'isolamento acustico prevede l'utilizzo di materiali fonoisolanti, che riflettono il rumore in modo da non farlo passare attraverso il materiale stesso, a differenza dei materiali fonoassorbenti, che invece di riflettere il rumore lo assorbono.
Baltacı Mehmed Pascià
Baltacı Mehmed Pascià (Osmancık, 1652 – Lemno, luglio 1712) è stato un politico e militare ottomano. Fu Gran Visir dell'Impero Ottomano, prima dal 1704 al 1706 e di nuovo dal 1710 al 1711, e Capitan pascià (grande ammiraglio della Marina ottomana) nel 1704.

Capitan pascià
Il grado di capitan pascià (in turco ottomano کپودان پاشا; traslitterato: kapudan paşa; in turco moderno kaptan paşa), precedentemente noto come kapudan-ı derya (turco ottomano: کاپیتان دریا), oggi reso come kaptan-ı derya, letteralmente "capitano del mare", equivalente al "grande ammiraglio" occidentale) indicava il comandante in capo della Marina ottomana.
Episodi di Daredevil (prima stagione)
La prima stagione della serie televisiva Daredevil, composta da tredici episodi, è stata interamente pubblicata dal servizio on demand Netflix il 10 aprile 2015. In Italia è disponibile su Netflix dal 22 ottobre 2015. La prima stagione è stata trasmessa in chiaro su Rai 4 dal 15 giugno 2020, ogni lunedì sono stati trasmessi due episodi fino al 27 luglio 2020.

La stagione è stata rimossa da Netflix il 1º marzo 2022 e pubblicata negli Stati Uniti il 16 marzo 2022 su Disney+, mentre in Italia è stata pubblicata il 29 giugno 2022.

Gli antagonisti principali della stagione sono: Wilson Fisk, Leland Owlsley e Madame Gao.

Gufo (Marvel Comics)
Il Gufo (Owl), il cui vero nome è Leland Owlsley, è un personaggio dei fumetti, creato da Stan Lee (testi) e Joe Orlando (disegni), pubblicato dalla Marvel Comics. La sua prima apparizione avviene in Daredevil (Vol. 1) n. 3 (agosto 1964).

Avido finanziere fraudolento divenuto supercriminale, come sottolinea il suo nome di battaglia, il Gufo è ossessionato dagli uccelli (in modo particolare i gufi) tanto da sottoporsi a continui esperimenti per modificarsi geneticamente e diventare sempre più simile a loro. È un nemico ricorrente di Devil, dell'Uomo Ragno e della Gatta Nera.
Chiesa di San Giuseppe dei Falegnami
La chiesa di San Giuseppe dei Falegnami, già di San Giuseppe a Campo Vaccino, è un luogo di culto cattolico di Roma, sito nel rione Campitelli presso il clivo Argentario, sopra il carcere Mamertino. È rettoria e rientra all'interno del territorio della parrocchia di San Marco Evangelista al Campidoglio.

Su questa chiesa insiste la diaconia di San Giuseppe dei Falegnami, istituita il 18 febbraio 2012.

Clivus Argentarius
Il clivo Argentario (clivus Argentarius) è un'antica strada di Roma che correva a mezza costa sulle pendici del Campidoglio, alle spalle del Foro di Cesare. 
Il nome attuale risale al Medioevo, quello antico con molta probabilità era clivus Lautumiarum.
Fleming Summit
Il Fleming Summit è una montagna dell'Antartide alta oltre 4200 m situata circa 1,5 km a ovest del Monte Kirkpatrick, nella catena montuosa dei Monti della Regina Alessandra.

La denominazione è stata attribuita nel 1995 dal Comitato consultivo dei nomi antartici (Advisory Committee on Antarctic Names, US-ACAN) in onore del geologo Thomas H. Fleming della Ohio State University, che aveva condotto ricerche sul campo in questa zona dal 1985 al 1986 e dal 1990 al 1991.

Monte Kirkpatrick
Il Monte Kirkpatrick è una montagna elevata e generalmente priva di ghiaccio che fa parte dei Monti della Regina Alessandra nell'Antartide.

Situato circa 8 km a ovest del Monte Dickerson, con i suoi 4.528 m di altezza il Monte Kirkpatrick è la vetta più elevata non solo dei Monti della Regina Alessandra, ma anche dei Monti Transantartici, che rappresentano la catena madre del gruppo. Fu scoperto dalla Spedizione Nimrod, una spedizione inglese che esplorò l'Antartide negli anni 1907-1909, e da questa denominato in onore di un uomo d'affari scozzese che era stato uno dei finanziatori della spedizione.
Sergio Martínez
Sergio Daniel Martínez Alzuri (Montevideo, 15 febbraio 1969) è un ex calciatore uruguaiano, di ruolo attaccante. Ha partecipato al campionato del mondo 1990 e ha vinto la Copa América 1995 con la nazionale di calcio uruguaiana.

Campionato mondiale di calcio 1990
Il campionato mondiale di calcio 1990 (in inglese 1990 FIFA World Cup, "Coppa del Mondo FIFA 1990") fu la 14ª edizione della massima competizione calcistica per squadre nazionali maschili organizzata dalla FIFA.

Si tenne in Italia dall'8 giugno all'8 luglio 1990 e si concluse con la vittoria della Germania Ovest che batté in finale l'Argentina per 1-0.

Terza edizione a 24 squadre, è quella che nelle quattro edizioni complessivamente disputate con tale configurazione fece registrare la media-goal più bassa, 115 reti per 52 incontri pari a 2,21: tale media risulta anche la più bassa fra tutte le edizioni del campionato del mondo disputate – fino al 2022 incluso.
Binnie Hale
Beatrice Mary Hale-Monro, detta Binnie (Liverpool, 22 maggio 1899 – Hastings, 10 gennaio 1984), è stata un'attrice, cantante e ballerina inglese.

Fu una delle star del teatro musicale di maggior successo a Londra negli anni '20 e '30, in grado di cantare ruoli da protagonista in operetta e musical, ed era popolare come protagonista nella pantomima. I suoi ruoli più ricordati furono nei musical No, No, Nanette (1925) e Mr. Cinders (1929), in cui cantò "Spread a Little Happiness".

Negli anni '30 intraprese anche la carriera cinematografica e in seguito tenne un programma radiofonico insieme a suo fratello Sonnie Hale. Ha continuato a recitare e cantare sul palco fino agli anni '50.

Pantomimo
Nell'antichità greca e romana, il pantomimo era uno spettacolo affidato all'azione mimica di un attore, accompagnato da musica, e a volte da una voce narrante le azioni sulla scena. I Greci lo chiamavano danza italica. A Roma fu introdotto in età imperiale sotto Augusto (nel 22 a.C. circa) da Pilade di Cilicia e Batillo d'Alessandria; consisteva in una danza con orchestra (flauti e zampogne) e coro, su soggetti sia comici sia tragici o simili al dramma satiresco. Il termine pantomimo indica anche colui che pratica il pantomimo o la pantomima. Per via della forte associazione con la cultura francese, la pratica del mimo è stata inclusa nell'inventario del patrimonio culturale immateriale in Francia dal 2017.
Game Power
Game Power era una rivista italiana dedicata ai videogiochi per console, pubblicata mensilmente a partire dal dicembre 1991 e chiusa nel novembre 1997.
Aveva un taglio giovanile e umoristico, ma con recensioni comunque approfondite, ed era in diretta concorrenza con la rivista Consolemania.

Consolemania
Consolemania è stata la rivista mensile dedicata ai videogiochi per console più longeva nella storia dell'editoria italiana. Controparte naturale di The Games Machine, è stata anch'essa pubblicata dalla Xenia Edizioni con la sola esclusione dell'ultimo numero, pubblicato da Future Media Italy. La storia di Consolemania è durata senza interruzioni per un periodo di 14 anni, da ottobre 1991 a ottobre 2005.

L'ideatore di Consolemania fu Stefano Gallarini che ne fu anche il direttore dal 2005 al 2007 (compariva come caporedattore del primo numero poiché all'epoca non era ancora iscritto all'Albo), attualmente speaker su Radio Monte Carlo. A esso subentrò Alex Rossetto già dal numero 2; dal numero 101 lo sostituì Marco Auletta.
Protocollo (documento)
Il protocollo nella sua accezione originaria era l'insieme di formule iniziali di un documento in diplomatica (dal latino medievale protocollum, a sua volta dal greco prôtos, primo, e kólla, colla, cioè primo [foglio] incollato di un rotolo).
In seguito il termine venne usato per indicare il registro, su cui vengono trascritti progressivamente i documenti e gli atti in entrata e in uscita di un notaio e, per estensione, di un qualsiasi soggetto o ente (pubblico o privato).

Diplomatica
La diplomatica (derivante dal latino diploma, nel senso di lettera credenziale) è una disciplina nata nella seconda metà del secolo XVII che ha come oggetto di studio i concetti, le tecniche e le procedure per giudicare la genuinità giuridica o meno del documento medievale, sia nella sua dimensione pubblica sia in quella privata. Inizialmente vista come una scienza ausiliaria della storia, nel corso del XIX e XX secolo la diplomatica è diventata una scienza a sé stante, di aiuto nella ricerca storica.
Valle del Tasso-Sagittario
La Valle del Tasso-Sagittario è una valle dell'Appennino abruzzese, posta nella bassa provincia dell'Aquila, tra i Monti Marsicani, separando la zona degli Altipiani maggiori d'Abruzzo e la Valle del Gizio ad est, attraverso la dorsale montuosa del Monte Genzana-Monte Serra Rocca Chiarano e a ovest da quella dell'Alto Sangro attraverso la dorsale della Montagna Grande-Monte Marsicano.

Alto Sangro
L'alto Sangro è una valle nonché un'area storico-geografica della provincia dell'Aquila, in Abruzzo, corrispondente all'alto bacino idrografico del fiume Sangro a partire dalle sue sorgenti, localizzate nel territorio del comune di Gioia dei Marsi (nei pressi del valico di Gioia Vecchio o Passo del Diavolo a circa 1.400 m s.l.m.) fino al confine con la provincia di Chieti. Il medio e basso corso del fiume Sangro continuano nella val di Sangro, in provincia di Chieti. Parte del territorio è compreso nel parco nazionale d'Abruzzo, Lazio e Molise. Il centro più popoloso del territorio altosangrino è Castel di Sangro.
Curva del ritorno venoso
La curva del ritorno venoso è una curva che descrive la relazione tra l'output cardiaco, che dipende da postcarico, gittata cardiaca, volume sistolico e frequenza cardiaca, e le conseguenti variazioni del flusso del sangue che ritorna al cuore, ovvero del precarico. In condizioni fisiologiche il precarico risulta il principale fattore che limita la massima gittata cardiaca con un andamento descritto dalla legge di Frank-Starling.

La sovrapposizione della curva della funzione cardiaca e della curva del ritorno venoso è utilizzata in un modello emodinamico.

Gittata cardiaca
Si definisce gittata cardiaca (GC) o portata cardiaca il volume di sangue che il ventricolo destro e il ventricolo sinistro riescono ad espellere in un minuto attraverso l'arteria polmonare e l'aorta, rispettivamente. Il valore medio della gittata cardiaca in condizioni di riposo in un adulto (di taglia media) è di circa 5-5,5 litri al minuto.
Geologia ambientale
La geologia ambientale è un settore multidisciplinare delle scienze applicate che si occupa dei rapporti e delle interazioni esistenti tra le attività dell'uomo e l'ambiente fisico. 
La geologia ambientale è strettamente in relazione con varie discipline che contribuiscono alle scienze ambientali quali la geologia applicata,  la geomorfologia, l'ingegneria naturalistica, l'ingegneria per l'ambiente e il territorio, l'idrogeologia, la geochimica, le scienze naturali.
La geologia ambientale studia le interazioni tra la geologia che caratterizza un sito di interesse, l'attività antropica sull'ambiente (ad esempio l'inquinamento, i dissesti idrogeologici, la deforestazione, ecc.) e i fenomeni naturali presenti o potenzialmente presenti (ad esempio terremoti, eruzioni vulcaniche, eventi meteorici eccezionali, tsunami, ecc.).

Scienze ambientali
La scienza ambientale è un campo accademico interdisciplinare che integra scienze fisiche, biologiche e dell'informazione (tra cui ecologia, biologia, fisica, chimica, scienze delle piante, zoologia, mineralogia, oceanologia, limnologia, scienze del suolo, geologia e geografia fisica (geodesia) e scienza atmosferica) allo studio dell'ambiente e alla soluzione dei problemi ambientali. La scienza ambientale è emersa dai campi della storia naturale e della medicina durante l'Illuminismo. Oggi fornisce un approccio integrato, quantitativo e interdisciplinare allo studio dei sistemi ambientali.
Roberto Aguirre-Sacasa
Roberto Aguirre-Sacasa (Managua, 15 novembre 1973) è uno sceneggiatore, drammaturgo e fumettista nicaraguense naturalizzato statunitense.

È noto per il suo lavoro alla Marvel Comics e per le serie tv di Glee e Big Love; successivamente è diventato capo creativo della Archie Comics.

Archie Comics
Archie Comics è una casa editrice di fumetti statunitense specializzata nelle serie destinate agli adolescenti.

Prende il nome dal personaggio di Archie, protagonista di varie serie a fumetti dal 1941 in poi. La casa editrice è anche nota per i personaggi di Shield, Sabrina, vita da strega, Josie and the Pussycats, e Katy Keene, nonché per la longeva serie Sonic the Hedgehog (e i suoi spin-off Knuckles the Echidna, Sonic X, Sonic Universe e Mega Man) tratta dall'omonima serie di videogiochi. Dai fumetti della Archie Comics sono stati tratti altri media, tra cui sceneggiati radiofonici, cartoni animati, serie televisive, film, e l'immaginario gruppo musicale The Archies.
Ricasso
Il ricasso (Fehlschärfe in lingua tedesca) è la parte non tagliente della lama di un'arma bianca manesca del tipo spada o coltello dalla quale si protende il codolo. Non obbligatoriamente presente in tutte le spade o i coltelli, resta in vista, fuoriuscendo dalla guardia, a differenza del codolo che viene invece ammanicato.

Nella scherma, il ricasso è la parte dell'impugnatura del fioretto o della spada, posizionata tra la coccia ed il gavigliano (crociera), sulla quale lo schermidore appoggia tre dita.

Lama (strumento)
Una lama è la parte di un attrezzo, un'arma o una macchina, con uno o entrambi i bordi affilati, progettata per perforare, tagliare, affettare o raschiare superfici o materiali. Le lame sono generalmente realizzate con materiali più duri di quelli su cui devono essere utilizzate. Le lame sono tra gli strumenti più antichi dell'umanità e continuano ad essere utilizzate per il combattimento, la preparazione del cibo e altri scopi.

Solitamente la lama è accompagnata da un manico, per assicurarne il controllo e il brandeggio. Una lama è in grado di recidere in virtù della ristretta superficie di applicazione: la capacità di taglio della lama è tanto più alta quanto più è ristretta la superficie a contatto con l'oggetto da dividere.
Nazionale femminile under 20 di calcio della Francia
La nazionale Under-20 di calcio femminile della Francia è la rappresentativa calcistica femminile internazionale della Francia formata da giocatrici al di sotto dei 20 anni, gestita dalla Federazione calcistica della Francia (Fédération Française de Football - FFF).

Come membro della Union of European Football Associations (UEFA) partecipa al Campionato mondiale FIFA Under-20.

Con il suo secondo posto, conquistato nell'edizione di Papua Nuova Guinea 2016 del Campionato mondiale femminile di calcio di categoria, al quale si aggiungono anche il terzo posto dell'edizione di Canada 2014 e il quarto a Cile 2008 è, al 2017, classificata al quinto posto tra le nazionali che hanno partecipato al torneo.

Campionato mondiale femminile under 20 di calcio 2014
Il Campionato mondiale femminile under 20 di calcio 2014, settima edizione della manifestazione, si è disputata in Canada dal 5 al 24 agosto 2014. Gli Stati Uniti sono la squadra campione in carica. La Germania vince il titolo per la terza volta battendo la Nigeria in finale.
Polikarpov R-Z
Il Polikarpov R-Z era un aereo da ricognizione/bombardiere leggero monomotore, biposto e biplano, sviluppato dall'OKB 84 diretto da Nikolaj Nikolaevič Polikarpov in Unione Sovietica negli anni trenta.

Derivato dal precedente Polikarpov R-5 venne impiegato successivamente sia per uso militare, dalla Voenno-vozdušnye sily (VVS), l'Aeronautica militare dell'Unione Sovietica, che per uso civile dall'Aeroflot come aereo da trasporto, rimase operativo fino all'inizio degli anni quaranta.

Nel ruolo dell'aerocooperazione e ricognizione tattica venne utilizzato durante la guerra civile spagnola dalle forze repubblicane.

Aereo da ricognizione
Un aereo da ricognizione, detto anche ricognitore, è un aereo militare usato per l'attività di ricognizione aerea ovvero monitorare le attività del nemico e di solito non trasporta armi. Vengono chiamati velivoli da ricognizione anche quelli impiegati in ambito civile, ad esempio per l'osservazione del traffico, per il controllo e il monitoraggio del territorio o dell'immigrazione clandestina. Il ricognitore viene spesso chiamato, specialmente nell'ambito dei mass media, aereo spia.
Embraer 190
L'Embraer E-190 è un aereo di linea regionale con turbina sviluppato dall'azienda aeronautica brasiliana Embraer nei primi anni duemila, caratterizzato da una capacità tra 94 e 114 passeggeri.

Si tratta di una versione allungata del modello Embraer E-170, con cui ha il 90% dei componenti in comune, tanto che la certificazione per pilotare l'E-170 e l'E-190 è la stessa. Equipaggiato con un'ala più grande ed un motore più potente, il turbofan GE CF34-10E della General Electric, che lo portano ad avere una maggiore capacità di carico e tangenza operativa rispetto al cugino minore.

Il suo nome originale era ERJ-190 (Embraer Regional Jetliner), successivamente modificato in E-190 per evitare che questi modelli fossero associati solo all'aviazione regionale.

Con i suoi 100 posti e la sua avionica avanzata si colloca nella stessa categoria dei Boeing 717-200 e 737-600, degli Airbus A318-100 e A220, e dei Bombardier CRJ900/CRJ1000.

Bombardier CRJ Series
I Bombardier CRJ (Canadair Regional Jet) sono una famiglia di aerei di linea bimotori utilizzati su rotte regionali oppure di bassa affluenza di passeggeri prodotto a partire dal 1991 da Bombardier e a partire dal 2020 da Mitsubishi Heavy Industries.
Cappellone degli Spagnoli
Il cappellone degli Spagnoli è l'antica sala capitolare della chiesa di Santa Maria Novella a Firenze. Famoso per il ricco ciclo di affreschi di Andrea di Bonaiuto (1365-1367), assunse il nome attuale nel 1566, quando fu ceduta alla colonia di spagnoli che era solita radunarsi qui, sin dall'arrivo in città al seguito di Eleonora di Toledo, andata in sposa a Cosimo I dei Medici nel 1539.

Vi si accede dal Chiostro Verde, ed oggi fa parte del Museo di Santa Maria Novella.

Cosimo I de' Medici
Cosimo I de' Medici (Firenze, 12 giugno 1519 – Firenze, 21 aprile 1574) è stato il secondo e ultimo duca di Firenze, dal 1537 al 1569, e, in seguito all'elevazione dello Stato mediceo a Granducato di Toscana, il primo Granduca di Toscana, dal 1569 fino alla morte.

Figlio del condottiero Giovanni de' Medici, detto delle Bande Nere, e di Maria Salviati, apparteneva per via paterna al ramo cadetto dei Medici detto dei Popolani, discendente da quel Lorenzo de' Medici detto il Vecchio, fratello di Cosimo il Vecchio, primo Signore de facto di Firenze, mentre era discendente per via materna dal ramo principale stesso, in quanto la madre era figlia di Lucrezia de' Medici, a sua volta figlia di Lorenzo il Magnifico, signore di Firenze.

In questo modo Cosimo I portò al potere il ramo cadetto dei Popolani e diede vita alla linea granducale.