hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Teoria degli insiemi di Von Neumann-Bernays-Gödel
Nello studio dei fondamenti della matematica, la teoria degli insiemi di Von Neumann-Bernays-Gödel (NBG) è una teoria assiomatica degli insiemi che costituisce un'estensione conservativa della canonica teoria assiomatica degli insiemi di Zermelo-Fraenkel con l'assioma della scelta (ZFC). Una formula nel linguaggio di ZFC è dimostrabile in NBG se e solo se è dimostrabile in ZFC. L'ontologia di NBG include le classi proprie, oggetti che possono avere elementi ma che non possono essere elementi a loro volta. Il principio di comprensione di NBG è predicativo; le variabili quantificate nella formula possono spaziare solo all'interno di insiemi. Permettere la comprensione impredicativa trasforma NBG nella teoria degli insiemi di Morse-Kelley (MK). NBG, a differenza di ZFC e di MK, può essere finitamente assiomatizzata.

Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine, detto anche logica dei predicati del primo ordine,  è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni ..." (∀) ed "esiste..." (∃). L'espressione "del primo ordine" indica che c'è un insieme di riferimento e i quantificatori possano riguardare solo gli elementi di tale insieme e non i sottoinsiemi; ad esempio si può dire "per tutti gli x elementi dell'insieme vale P(x)" ma non si può dire "per tutti i sottoinsiemi A vale P(A)" (le teorie in cui ci sono quantificatori che spaziano sui sottoinsiemi dell'insieme di riferimento sono dette invece del secondo ordine).
Demofobia
La demofobia è la fobia o timore ossessivo della folla. Di solito è associata all'agorafobia, alla claustrofobia o alla centrofobia. Può essere indizio di temperamento timido e ossessivo.
Non è da confondere con la misantropia, che è l'avversione per l'umanità, mentre il demofobico è avverso solo alle folle e ai gruppi numerosi.

Centrofobia
La centrofobia (dal greco κέντρον, kentron, punto in senso topologico, e φόβος, phobos, paura, etimologicamente "paura del punto") è la sensazione di paura provata da un essere umano quando si trova in un luogo molto frequentato, spesso coincidente con il centro di una città.

È assimilabile alla claustrofobia, ma si verifica soltanto in luoghi aperti e molto frequentati, come strade, portici o piazze. Si tratta di una fobia semplice, in quanto si verifica semplicemente a seguito dell'esposizione del soggetto a uno di tali luoghi.
Partito Socialista Polacco
Il Partito Socialista Polacco (in polacco Polska Partia Socjalistyczna - PPS) è un partito politico di orientamento socialista e socialdemocratico attivo in Polonia

Fondato nel 1892, fu una delle più importanti forze politiche in Polonia. Operò come Partito Socialista Polacco - Libertà, Uguaglianza, Indipendenza durante l'occupazione della Polonia (1939-1944) e fu attivo in esilio per quasi tutto il periodo della Repubblica Popolare Polacca (1947-1989).

Il partito fu rifondato in Polonia nel 1987, in continuazione della tradizione del PPS. Nel 1990 il PPS in esilio e i due rami principali del PPS presenti in Polonia si fusero dando vita a un nuovo Partito Socialista Polacco unificato.

Regno di Polonia (1916-1918)
Il Regno di Polonia (in polacco: Królestwo Polskie), noto anche come Reggenza del Regno di Polonia (in polacco: Królestwo Regencyjne), fu uno Stato fantoccio proposto dalla legge del 5 novembre 1916 dalla Germania e istituito ufficialmente il 14 gennaio del 1917 nei territori del precedente Regno del Congresso (o Nazione della Vistola), con lo scopo di legittimare l'occupazione tedesca della Polonia in seguito alle vittorie austro-tedesche sul fronte orientale della prima guerra mondiale. In seguito all'armistizio di Compiègne firmato l'11 novembre 1918 dalla Germania e dalla coalizione alleata, che decretò la resa dei tedeschi e la fine della guerra e all'insurrezione nota come sollevazione della Grande Polonia, il Regno cessò di esistere e il suo territorio fu incorporato nella successiva Seconda Repubblica di Polonia.
Athenian League
L'Athenian League fu una lega calcistica dilettantistica inglese che copriva la zona di Londra e dintorni. La lega fu fondata nel 1912 con dieci squadre, poi scomparve nel 1914 a causa della prima guerra mondiale. Fu ricreata nel 1920, con solo tre squadre, rispetto alle dieci di dodici anni prima. Però alcune squadre lasciarono l'Athenian League per entrare a far parte della Isthmian League, un altro campionato dilettantistico che copriva l'area di Londra. Quindi ci furono dai dodici ai sedici club rimasti nella lega fino al 1963, quando ha assorbito delle squadre dalle due leghe "rivali", ossia la Corinthian League (per formare la Division One), e dei club della Delphian League (per formare la Division Two), e sempre nel 1963 ha creato anche la Premier Division. Negli anni successivi, la lega perse squadre di rilievo, in quanto molte squadre andarono a unirsi alla Isthmian League o alla Southern League, nel 1984 la lega cessò di esistere.

Southern Football League
La Southern Football League è una lega calcistica semiprofessionistica inglese a cui prendono parte squadre del Sud dell'Inghilterra.

La lega organizza quattro campionati, le due Premier Division che stanno al 7º livello della piramide inglese mentre la Division One Central e la Division One South risultano all'8º livello.
Squadra speciale (film 1956)
Squadra speciale (Rocket Squad) è un film del 1956 diretto da Chuck Jones. È un cortometraggio d'animazione della serie Merrie Melodies, uscito negli Stati Uniti il 10 marzo 1956; esso è una parodia della serie televisiva Dragnet. Alcune scenografie furono riciclate dal precedente cortometraggio di Jones L'eroe del XXIV secolo e mezzo (1953). Dal 1997 viene distribuito col titolo Squadra spaziale.

Merrie Melodies
Le Merrie Melodies (Allegre Melodie), sono una serie di cortometraggi animati prodotta dalla Warner Bros. dal 1931 al 1969. Come nella serie parallela Looney Tunes, vi compaiono alcuni dei più famosi personaggi immaginari dei cartoni animati della Warner Bros., come Bugs Bunny, Daffy Duck, Titti, Porky Pig, Yosemite Sam e Taddeo.
Crazy from the Heat
Crazy from the Heat è l'EP d'esordio di David Lee Roth, pubblicato nel gennaio 1985. Il cantante era all'epoca ancora nei Van Halen, tuttavia abbandonerà il gruppo poche settimane più tardi per dedicarsi alla carriera solista. Il disco è composto interamente da cover di altri artisti. Con lo stesso titolo David Lee Roth ha pubblicato nel 1997 la sua autobiografia.

Just a Gigolo
Just a Gigolo è il titolo di una canzone scritta nel 1929 da Leonello Casucci, detto Nello, pianista in un'orchestra di tango.

Casucci scrisse la musica di questa canzone mentre si trovava in tournée in Germania nel 1929, ed il primo testo, in tedesco, venne scritto da Julius Brammer con il titolo Schöner Gigolo, armer Gigolo; le prime versioni del brano furono incise nello stesso anno in tedesco da vari cantanti, tra cui Fritz Imhoff. La prima versione italiana fu incisa il 16 gennaio 1930 dall'orchestra del livornese Armando Di Piramo.
Stefano Delle Chiaie (politico)
Stefano Delle Chiaje, riportato nei media come Delle Chiaie (Caserta, 13 settembre 1936 – Roma, 9 settembre 2019), è stato un terrorista italiano, esponente dell'estrema destra extraparlamentare neofascista, fondatore di Avanguardia Nazionale. Venne coinvolto in alcuni processi nell'ambito della strategia della tensione, come quello sulla strage di piazza Fontana e la strage di Bologna.

Associazione sovversiva
Un'associazione sovversiva è un'organizzazione che si prefigge di sovvertire, anche con l'uso della violenza, l'ordine politico e sociale di uno Stato.

Negli ordinamenti liberal-democratici l'associazione è ritenuta sovversiva solo se è finalizzata alla sovversione con mezzi violenti, altrimenti è lecita e tutelata dalla Costituzione. Il reato derivante può anche escludere in sé l'attentato, rientrante nella fattispecie dell'omicidio, il delitto comune o il terrorismo, ma configurarsi solo nell'associazione per delinquere per commettere cospirazione o sovversione.
Maria Santissima della Libera
Maria Santissima della Libera o Madonna della Libera è un titolo tradizionale con il quale la Chiesa cattolica venera Maria, madre di Gesù. Non è presente nel martirologio romano e quindi non ha nell'anno liturgico una festa specifica, trattandosi di un titolo associato a diverse feste mariane in base alle consuetudini locali e alla storia dei singoli santuari.

Santuario
Un santuario è un luogo sacro o un edificio ritenuto sacro da una tradizione religiosa per manifestazioni ritenute divine, per la presenza di sepolture o reliquie, o perché connesso a eventi considerati soprannaturali. In particolare, nella religione ebraica era la parte più interna del tempio, cioè il sancta sanctorum mentre, in quella cristiana, è generalmente un luogo legato a eventi o giochi o manifestazioni divine della Madonna o dei santi o quella parte della chiesa dove sono conservate reliquie ed è quindi oggetto di pellegrinaggi.
Anno II del calendario rivoluzionario francese
L'anno II del calendario rivoluzionario francese corrispondeva a un periodo ricompreso tra gli anni 1793 e 1794 del calendario gregoriano. Esso ebbe inizio il 22 settembre 1793 (1º vendemmiaio II), ma entrò in vigore il giorno successivo alla data del decreto che lo istituì.

Calendario rivoluzionario francese
Il calendario rivoluzionario francese o calendario repubblicano francese (calendrier révolutionnaire français o calendrier républicain français) fu stabilito nell'ottobre 1793 per commemorare la fine della monarchia e la nascita della repubblica durante la rivoluzione francese. La sua epoca, cioè il Capodanno dell'anno I, fu stabilita il 22 settembre 1792, giorno seguente alla proclamazione della Repubblica con la votazione che dichiarò abolita la monarchia. Restò in vigore sino al 31 dicembre 1805, ma fu riadottato per soli 18 giorni dalla comune di Parigi del 1871.
Blackhorse Road (metropolitana di Londra)
Blackhorse Road è una stazione della linea Victoria della metropolitana di Londra, situata a Walthamstow, nel borgo di Waltham Forest. È stata aperta nel 1968 in corrispondenza dell'omonima stazione ferroviaria.

London Overground
La London Overground (LO) è un servizio ferroviario urbano del Regno Unito. Entrato in servizio l'11 novembre 2007, copre una larga parte della Grande Londra e parte del Hertfordshire, con 112 stazioni su nove linee. La rete è parte della National Rail ma è posta sotto il controllo di Transport for London.
BraveStarr
BraveStarr è una serie a cartoni animati creata da Donald Kushner e Peter Locke e prodotta dalla Filmation e dal Group W Productions nel 1987; è stata l'ultima serie animata a essere prodotta dallo studio. La prima messa in onda fu in syndication dal settembre del 1987 fino al febbraio del 1989. Venne creata in simultanea anche una linea di action figure dedicate. Questa serie è una rivisitazione in chiave fantascientifica del classico canovaccio western. Alcuni fumetti dedicati furono pubblicati nel periodico Magic Boy.

Cowboy
Un cowboy (letteralmente "ragazzo delle mucche", da cow = vacca e boy = ragazzo, in inglese) era un mandriano che curava le mandrie nei ranch degli Stati Uniti d'America, dove erano preposti alla conduzione del bestiame verso le zone di pascolo, alla sua protezione e al suo controllo.
Storia della Baviera
La ricca storia della Baviera si estende su un arco lunghissimo di secoli a partire dagli antichi insediamenti paleolitici, passando attraverso la Rezia romana, il primo ducato franco (VI secolo), l'inclusione nel Sacro Romano Impero sotto la dinastia dei Wittelsbach e il regno indipendente nell'Ottocento, fino a giungere all'attuale assetto statale all'interno della Repubblica Federale di Germania

Boi
I Boi (sing. Boio) o Galli Boi furono una popolazione celtica dell'Età del ferro originaria dell'antica Gallia, dove erano stanziati fin dal VI secolo a.C., o dell'Europa centrale, forse dalla stessa regione che ancor oggi porta il loro nome: Boemia.
Roberta Bianconi
Roberta Bianconi (Rapallo, 8 luglio 1989) è una pallanuotista italiana, attaccante del Rapallo e della Nazionale Italiana.

Nel 2015 è stata eletta miglior giocatrice d'Europa ricevendo - prima italiana a riuscirvi - il prestigioso LEN Award. Si è aggiudicata il riconoscimento in altre due occasioni, nel 2016 e nel 2023.

Supercoppa LEN (femminile)
La Supercoppa LEN (fr. Supercoupe LEN, ingl. LEN Supercup), anche chiamata Supercoppa d'Europa, è una competizione pallanuotistica europea organizzata dalla LEN (la federazione europea di nuoto) e che vede di fronte la più recente campione d’Europa e la più recente vincitrice della Coppa LEN. È analoga, per rango, ad esempio, alla Supercoppa UEFA di calcio.

Non ha una sede fissa: essa è infatti itinerante e può disputarsi sia in campo neutro sia in casa di uno dei due contendenti.
Bianca Bianchi
Bianca Bianchi (Vicchio, 31 luglio 1914 – Firenze, 9 luglio 2000) è stata un'insegnante, politica e scrittrice italiana, ricordata per essere stata una delle 21 donne elette all'Assemblea costituente italiana.

Partito Socialista Democratico Italiano
Il Partito Socialista Democratico Italiano (PSDI), spesso abbreviato in Partito Socialdemocratico Italiano, è stato un partito politico italiano di ispirazione socialdemocratica. Fu fondato l'11 gennaio 1947 con la denominazione, in rievocazione dell'antecedente esperienza prefascista, di Partito Socialista dei Lavoratori Italiani, in seguito alla scissione di Palazzo Barberini dal Partito Socialista Italiano. La denominazione mutò in PSDI nel 1952.

Entrato in una lunga fase di agonia dopo lo scoppio dello scandalo di Tangentopoli fra il 1992 e il 1994, scomparve nel 1998 per aderire ai Socialisti Democratici Italiani. Nel 2004 il PSDI fu rifondato con nome e simbolo identici, in continuità giuridica con l'esperienza precedente, senza tuttavia riottenere una significativa consistenza politica.
Thomas Greminger
Thomas Greminger (Lucerna, 22 aprile 1961) è un diplomatico svizzero.
Dal 18 luglio 2017 al luglio 2020 è stato Segretario Generale dell'Organizzazione per la sicurezza e la cooperazione in Europa (OSCE). Da Maggio 2021 è Direttore del Geneva Centre for Security Policy. È altresì un alto ufficiale delle forze militari svizzere.

Helga Schmid
Helga Maria Schmid (Dachau, 8 dicembre 1960) è una diplomatica tedesca, dal 2020 al 2024 Segretario generale dell'Organizzazione per la sicurezza e la cooperazione in Europa (OSCE). Prima di ricoprire questo incarico, è stata Segretario Generale del Servizio europeo per l’azione esterna (SEAE).
Eliotropo (colore)
Eliotropo è il colore mostrato (a destra nella versione desktop e in alto nella versione mobile) ed è una via di mezzo fra il porpora ed il rosa, ed è una rappresentazione del fiore dell'Heliotropium.

Un altro nome per questa tonalità è lavanda brillante.

Il primo uso della parola "eliotropo" per indicare tale colore è stato fatto nel 1882.

Lavanda (colore)
Il colore lavanda è una tonalità chiara di viola o violetto, che prende il nome dalla pianta lavandula. Può essere descritto come un viola medio o grigiastro, un viola bluastro pallido o un viola rosato chiaro.

Lavanda rosata è il colore mostrato a destra.

Lavanda foschia è il colore mostrato a destra.

Lavanda blu è il colore mostrato a destra.

Lavanda grigio è il colore mostrato a destra.

Lavanda rosa è il colore mostrato a destra.

Lavanda rosa vivo è il colore mostrato a destra.

Lavanda magenta è il colore mostrato a destra.

Lavanda indaco è il colore mostrato a destra.

Lavanda porpora è il colore mostrato a destra.

Lavanda scuro è il colore mostrato a destra.
Chengdu J-7
Il Chengdu J-7 (nome in codice NATO Fishbed), designato F-7 per il modello da esportazione, è un caccia multiruolo monomotore a getto ad ala a delta prodotto in Cina originariamente dall'azienda Chengdu Aircraft Corporation, quindi dalla Guizhou Aircraft Industry Corporation

Il J-7 è una copia non autorizzata del sovietico MiG-21F-13. Benché la produzione sia cessata nel 2006, continua ad essere in servizio operativo, principalmente nel ruolo di intercettore diurno a corto raggio, in varie forze aeree mondiali.

Caccia multiruolo
Un caccia multiruolo è un aereo da caccia capace di effettuare differenti tipi di missioni e capace di coprire diversi tipi di ruoli: caccia intercettore, cacciabombardiere, aereo da attacco al suolo o ancora aereo da ricognizione.
Silver Banshee
Silver Banshee il cui vero nome è Siobhan Smythe, è un personaggio dei fumetti creata da John Byrne nel 1987, pubblicata dalla DC Comics. La sua prima apparizione è in Action Comics 595.

Si è classificata al 73º posto nella classifica dei 100 migliori cattivi nella storia dei fumetti nella lista creata da IGN.

Barry Allen
Bartholomew Henry "Barry" Allen è un personaggio dei fumetti statunitensi creato da Gardner Fox (concetto), Robert Kanigher (testi) e Carmine Infantino (disegni), pubblicato dalla DC Comics. La sua prima apparizione avviene in Showcase (Vol. 1) n. 4 (ottobre 1956).

Seconda e più famosa incarnazione di Flash, generalmente considerato il primo supereroe della Silver Age.
UDBA
L'Uprava državne bezbednosti/sigurnosti/varnosti o UDBA (in serbo: Управа државне безбедности, УДБА; letteralmente: Amministrazione Sicurezza Statale) era la polizia segreta della Repubblica Federale Socialista di Jugoslavia. Fu responsabile dell'eliminazione di dozzine di nemici dello Stato, all'interno della Jugoslavia e al di fuori dei confini nazionali (si stimano 200 tra uccisioni e sequestri). Tra le persone eliminate figurano criminali di guerra come Vjekoslav Luburić o come Bruno Bušić, dissidente croato.

Jugoslovenska narodna armija
La Jugoslovenska narodna armija (JNA) o Armata Popolare Jugoslava (in cirillico Југословенска народна армија, JHA; in sloveno Jugoslovanska ljudska armada, JLA) è il nome dato alle forze armate della Jugoslavia dal 1945 al 1992.

Con la dissoluzione della RFS di Iugoslavia, l'Armata Popolare Jugoslava venne sciolta il 20 maggio 1992 e la sua eredità raccolta dalle forze armate della nuova Repubblica Federale di Jugoslavia.
Nogometni klub Mura
Il Nogometni klub Mura, noto come Mura, era una società calcistica slovena con sede a Murska Sobota, una località nella regione dell'Oltremura.

Fondato nel 1924, il club è fallito nel 2005 a causa di problemi economici.

Prva slovenska nogometna liga 1993-1994
La Prva slovenska nogometna liga 1993-1994 (in lingua italiana: Primo campionato calcistico sloveno), abbreviata in 1. SNL 1993-1994, è stata la terza edizione della massima serie del campionato di calcio sloveno, disputata tra il 22 agosto 1993 e il 12 giugno 1994 e conclusa con la vittoria del SCT Olimpia Lubiana, al suo terzo titolo.

Capocannoniere del torneo fu Štefan Škaper (NK Beltinci), con 23 reti.

Nel ranking UEFA 1993 la 1. SNL era al 35º posto, che per l'intervenuta serrata della Champions dava solo due posti in coppa UEFA.
Folgorazione
La folgorazione o elettrocuzione è il passaggio di una forte corrente elettrica attraverso il corpo umano. In medicina il termine è usato relativamente agli effetti patologici di tale fenomeno su chi lo subisce.

Il termine elettrocuzione può avere due significati:

si riferisce all'esecuzione di una sentenza di morte mediante il passaggio di una corrente elettrica attraverso il corpo del condannato. Il termine, reso anche da elettroesecuzione, è riferito alla sedia elettrica;

scarica accidentale di una corrente elettrica sull'organismo umano (nell'uso comune detta scossa o scossa elettrica), che può avere effetto mortale o essere causa di ustioni, di disturbi del ritmo cardiaco (fibrillazione), di lesioni degenerative dei muscoli e del sistema nervoso.

Hertz
L'hertz (simbolo Hz) è l'unità di misura della frequenza nel Sistema Internazionale. Prende il nome dal fisico tedesco Heinrich Rudolf Hertz che portò importanti contributi alla scienza nel campo dell'elettromagnetismo.

Hz [=] 1⁄s

oppure:

Hz [=] s−1

Tale unità di misura può essere applicata a qualsiasi evento periodico. Un hertz equivale a un evento o a un impulso al secondo. Ad esempio, si può dire che il ticchettio di un orologio da polso al quarzo ha una frequenza di 1 Hz.

Nelle vecchie pubblicazioni si trova l'unità equivalente cicli per secondo (cps).
Principato vescovile di Lubecca
Il Principato vescovile di Lubecca fu uno stato ecclesiastico tedesco inserito nel contesto del Sacro Romano Impero, che persistette nella propria esistenza dal 1180 al 1803. Il territorio del vescovato si estendeva principalmente attorno alla sua capitale Eutin.

Principe vescovo
Un principe vescovo o principe arcivescovo (Fürstbischof o Fürsterzbischof in tedesco) era un vescovo o arcivescovo che univa al suo ruolo religioso il potere temporale su un territorio (che non necessariamente coincideva esattamente con la diocesi su cui esercitava l'autorità religiosa). L'investitura religiosa era però necessaria per l'esercizio del potere temporale. Nel Sacro Romano Impero questa figura scomparve di fatto solo con lo scioglimento dell'Impero, nell'anno 1806. In Montenegro questo titolo sopravvisse fino al 1852, quando l'ultimo principe vescovo rinunciò alla dignità ecclesiastica, conservando, però, il potere temporale.
Tangenziale Est di Roma
La tangenziale Est di Roma è un arco di strada a scorrimento veloce interna alla città di Roma, a due corsie per senso di marcia, che collega le vie intorno a Porta Maggiore nella zona orientale con l'area settentrionale (in particolare la zona del Foro Italico e il quartiere Trionfale), attraversando diverse e importanti aree urbane, varie strade consolari e il tratto urbano dell'autostrada A24. Assieme al Grande Raccordo Anulare, al viadotto dei Presidenti, a via Cristoforo Colombo e alle stesse consolari, è un'importante arteria per la viabilità della Capitale.

Pur venendo comunemente indicata da segnaletica e informazioni stradali con il toponimo di Tangenziale Est l'arteria non ha mai ufficialmente assunto questa denominazione, essendo l'unione logica di più tratti viari, con toponimi e tempi di realizzazione differenti.

Trionfale
Trionfale è il quattordicesimo quartiere di Roma, indicato con Q. XIV.

Con lo stesso termine si designa la zona urbanistica 19E inclusa nel contiguo suburbio Della Vittoria, che ne rappresenta l'estensione in direzione nord-ovest. Entrambe le suddivisioni amministrative fanno parte del Municipio Roma XIV.
Gas Gas EC
La Gas Gas EC è una serie di motociclette con motore a due tempi della casa motociclistica spagnola Gas Gas per l'enduro.

La Gas Gas della serie EC ha prodotto tre cilindrate non presenti nella serie "MC" destinata al motocross (80, 200 e 300cm³), mentre non ha mai presentato la 65 in questa versione.

Questa serie è stata accompagnata a partire dal 2003 dalla serie EC FSE che si contraddistingue per il motore a quattro tempi.

Gas Gas EC F
La Gas Gas EC F, precedentemente Gas Gas EC FSR o più semplicemente Gas Gas FSR, precedentemente denominata Gas Gas FSE è una serie di motociclette con motore a quattro tempi della casa motociclistica spagnola Gas Gas per l'enduro.