hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Algebra di Heyting
Un'algebra di Heyting (dal matematico olandese Arend Heyting) è la struttura di verità della logica intuizionista.

Un'algebra di Heyting soddisfa queste proprietà: chiusura rispetto all'unione (più in generale, rispetto ad un operatore binario ) e rispetto all'intersezione (operatore binario ). A differenza dell'algebra di Boole (che rappresenta il modo di ragionare in logica classica), non è necessariamente chiusa rispetto al complemento (negazione): per cui, ogni algebra di Boole è di Heyting.
Interpretando delle proposizioni (diciamole A e B) in elementi dell'algebra a e b, l'interpretazione di "" va in , mentre "" va in .
L'interpretazione di  è, come si evince dalla definizione stessa, .

Un'algebra di Heyting è completa se è chiusa rispetto al  numerabile, ovvero rispetto all'implicazione.

Esempi di algebre di Heyting complete sono le topologie; una qualsiasi algebra di Heyting può essere immersa in una topologia costruita ad hoc.

Unione (insiemistica)
In matematica, e in particolare in teoria degli insiemi, esiste un'operazione detta unione (simbolo ) di insiemi. Il simbolo  deriva da U, l'iniziale della parola "unione". Dati due insiemi  e , la loro unione è un insieme formato da tutti e soli gli elementi
che appartengono:

al solo insieme ,

al solo insieme ,

a entrambi.

L'unione è un'operazione binaria. Nell'algebra booleana corrisponde all'operatore OR; in logica, corrisponde alla disgiunzione inclusiva.
Stazione meteorologica di Capo Pertusato
La stazione meteorologica di Capo Pertusato (in francese: Station météorologique de Cap-Pertusato, in corso: Statzioni meteurologhjca di Capu Partusatu) è la stazione meteorologica di riferimento per l'Organizzazione Mondiale della Meteorologia relativa all'omonima località costiera lungo la costa meridionale della Corsica, nei pressi della città di Bonifacio.

Lingua corsa
La lingua corsa (nome nativo: corsu o lingua còrsa) è una lingua appartenente alla famiglia indoeuropea ed è costituito dall'insieme dei dialetti italo-romanzi parlati in Corsica e nella Sardegna settentrionale, nelle varianti galluresi, castellanesi e turritane.

Strettamente legato al toscano medievale e impiegato nei suoi dialetti come vernacolo locale nell'isola prima a fianco dell'italiano, lingua coufficiale in Corsica fino al 1859, e dalla metà dell'Ottocento in poi del francese, il corso era la parlata autoctona anche dell'isola di Capraia fino al XX secolo.
Guaglione
Guaglione significa ragazzo in lingua napoletana, esistono altre varianti ortografiche presenti in altri dialetti dell'Italia meridionale, come le dialetti siciliani, calabresi o pugliesi, significando la stessa cosa.

Ragazzo
Per ragazzo, dal latino medievale ragatius, si intende un giovane essere umano di sesso maschile, solitamente un bambino o un adolescente. Il termine può essere adoperato per riferirsi alle sue peculiarità biologiche sessuali, o per denotare la leggerezza, l'immaturità o la minore età che lo distingue dall'adulto.
Stazione di Modica
La stazione di Modica è lo scalo ferroviario di RFI a servizio della città siciliana di Modica. In passato è stata un'importante stazione ferroviaria, sede di Deposito locomotive e di officina riparazioni.
Da Modica hanno origine treni viaggiatori per Gela, Canicattì, Caltanissetta, Palermo, Siracusa e Augusta.

Augusta (Italia)
Augusta è un comune italiano di 34 651 abitanti del libero consorzio comunale di Siracusa, in Sicilia.

La città fu fondata nei pressi del sito dell'antica città dorica di Megara Iblea dall'imperatore Federico II di Svevia nel 1232 con l'appellativo di Augusta Veneranda. La città fu ricostruita dopo il terremoto del Val di Noto del 1693. Nella seconda guerra mondiale era una delle principali basi della Regia Marina, e fu uno dei porti di sbarco delle forze anglo-americane.
D-mannitolo ossidasi
La D-mannitolo ossidasi è un enzima appartenente alla classe delle ossidoreduttasi, che catalizza la seguente reazione:

mannitolo + O2 ⇄ mannosio + H2O2

L'enzima catalizza anche l'ossidazione del D-arabinitolo e, in maniera minore, del D-glucitolo (sorbitolo), mentre L-l'arabinitolo non è un buon substrato. L'enzima delle lumache Helix aspersa e Arion ater si trova in un organello tubolare specializzato che viene chiamato mannosoma.

Substrato (biochimica)
In biochimica si definisce substrato una molecola sulla quale agisce un enzima: i substrati sono dunque le molecole di partenza nelle reazioni chimiche catalizzate dagli enzimi. 
Il substrato lega il sito attivo dell'enzima, formando il complesso enzima-substrato; in seguito, il substrato è convertito in un prodotto, quindi rilasciato dal sito attivo, che diventa nuovamente pronto a ricevere il substrato.

Un'equazione generale può essere la seguente:

E + S ⇌ ES → EP ⇌ E + P
(E = enzima, S = substrato/i, P = prodotto/i)

La reazione segue solitamente la cinetica di Michaelis-Menten quando l'enzima non ha caratteristiche allosteriche. Solo il passaggio intermedio (ES → EP) è irreversibile.
Fiordi della Groenlandia
Di seguito è riportata la lista dei fiordi della Groenlandia. Sono ordinati secondo il comune di appartenenza (Avannaata, Kujalleq, Qeqertalik, Qeqqata e Sermersooq), poi in ordine alfabetico (secondo il nome groenlandese ove possibile).

Qeqqata
Il Qeqqata Kommunia, o semplicemente Qeqqata, è un comune della Groenlandia di 115.500 km²; si trova nella parte occidentale della Groenlandia: a nord confina con il comune di Qeqertalik, a est e a sud con il comune di Sermersooq e a ovest si affaccia sullo Stretto di Davis.

Il comune di Qeqqata è stato istituito il 1º gennaio 2009 dopo la riforma che ha rivoluzionato il sistema di suddivisione interna della Groenlandia: i precedenti comuni di Maniitsoq e Sisimiut si sono fusi e hanno formato l'attuale comune di Qeqqata.

Nel territorio del comune attuale si trova il colle di Alanngorsuaq.
Suore della Santissima Trinità
Le Suore della Santissima Trinità (in francese Sœurs Trinitaires de Valence) sono un istituto religioso femminile di diritto pontificio: le suore di questa congregazione pospongono al loro nome la sigla C.S.S.T.

Sigle degli istituti di perfezione cattolici
Ad ogni istituto di perfezione cattolico, cioè un istituto di vita consacrata oppure una società di vita apostolica, viene associata una sigla (solitamente acronimo del nome latino) che viene posposta ai nomi degli appartenenti all'ordine o alla congregazione.
La tabella seguente riporta: a) le sigle in ordine alfabetico; b) la denominazione ufficiale; c) il nome popolarmente attribuito ai membri (vulgo); d) il nome latino dell'istituto.
Mondial Australian Women's Hardcourts 2008
Il Mondial Australian Women's Hardcourts 2008  è stato un torneo di tennis giocato sul cemento.
È stata la 12ª edizione del Mondial Australian Women's Hardcourts,
che fa parte della categoria Tier III nell'ambito del WTA Tour 2008.
Si è giocato sulla Gold Coast dell'Australia, dal 31 dicembre 2007 al 5 gennaio 2008.

WTA Tier III
I Tornei WTA Tier III erano una serie di tornei di tennis femminili giocati dal 1988 al 2008.

Dal WTA Tour 2009, la WTA ha riformato tutte le categorie dei tornei femminili, inserendo la maggior parte di quelli della categoria Tier III nella nuova categoria chiamata International.
Metropolia di Oltenia
La metropolia di Oltenia (in romeno: Mitropolia Olteniei), è una delle metropolie (o province ecclesiastiche) della chiesa ortodossa rumena in Romania. La metropolia è stata fondata il 7 novembre del 1939, ha sede a Craiova, nella regione storica dell'Oltenia. L'attuale metropolita è Irineu Popa.

Lingua romena
La lingua romena o rumena, nota anche come dacorumeno (nome nativo limba română), è una lingua romanza balcanica appartenente al gruppo indoeuropeo.

Al 2025, è parlata circa da 24-26 milioni di parlanti madrelingua ed in totale da 30 milioni di parlanti considerando anche i parlanti esteri.
Drop It on Me
Drop It on Me è un brano del cantante portoricano Ricky Martin, pubblicato come secondo singolo tratto dal suo decimo album Life del 2005.

Il singolo, che vede la collaborazione di Daddy Yankee, è stato prodotto da will.i.am e Luny Tunes.

Nonostante le aspettative, il singolo è stato uno dei maggiori flop commerciali di Martin, non riuscendo ad entrare praticamente in nessuna classifica.

Luny Tunes
Luny Tunes è una produzione di un duo di reggaetoneros della Repubblica Dominicana, Francisco Saldaña (Luny) nato il 29 giugno 1979 e Víctor Cabrera (Tunes) nato il 12 aprile 1981 sono originari rispettivamente di La Romana e di El Cibao. Si sono conosciuti come membri del personale di cafétaria della università di Harvard a Boston. Si trasferirono successivamente a Porto Rico dove si uniscono al DJ Noriega e cominciano ad usare lo pseudonimo Luny Tunes, ispirato ai cartoni animati Looney Tunes. DJ Nelson e Noriega (Más Flow) sono stati i loro coach e si sono occupati della produzione musicale di diverse opere di reggaeton collettive cui parteciparono artisti come Baby Rasta y Gringo, Ivy Queen, Héctor y Tito, Zion y Lennox con Hay Algo En Ti Trebol Clan, con Bailando Provocas, Daddy Yankee Gasolina. Il tema del perreo è onnipresente nelle loro opere…
Apella (Licciana Nardi)
Apella è una frazione del comune di Licciana Nardi, in provincia di Massa-Carrara, in Lunigiana.

Il borgo ha origine medioevale ed è stato eretto in corrispondenza dei terreni meno fertili della zona, in maniera da permettere la coltivazione dei fondi circostanti, caratterizzati tutti da una notevole pendenza. Nel centro storico di Apella è presente la casa natale dei due eroi del Risorgimento, Biagio Nardi e Anacarsi Nardi, che ebbero un ruolo preminente nei moti di Modena del 1831 e, Anacarsi, anche nella spedizione dei Fratelli Bandiera durante la quale morì. La casa è oggi un museo e centro visita del Parco Nazionale dell'Appennino Tosco-Emiliano.

Fratelli Bandiera
Attilio Bandiera (Spalato, 24 maggio 1810 – Cosenza, 25 luglio 1844) ed  
Emilio Bandiera (Venezia, 20 giugno 1819 – Cosenza, 25 luglio 1844) furono due patrioti italiani, protagonisti del Risorgimento.

Furono giustiziati per fucilazione  in seguito alla sentenza della corte marziale del Regno delle Due Sicilie nel Vallone di Rovito presso Cosenza il 25 luglio 1844 dopo un fallito tentativo di sollevare le popolazioni calabresi contro il regno di Ferdinando II nella prospettiva di un'unificazione nazionale italiana.
Associazione Calcio Femminile Aurora Bergamo
L'Associazione Calcio Femminile Aurora Bergamo è stata una società calcistica femminile milanese con sede nella città di Settala (MI). Ha disputato quattro campionati di Serie A femminile nelle stagioni 1981, 1988-1989, 1989-1990 e 1991-1992.

Mediglia
Mediglia (Medija in dialetto milanese, AFI: /me'dija/) è un comune italiano sparso di 12 308 abitanti della città metropolitana di Milano in Lombardia. La sede comunale si trova nella località di Triginto.
Jizhou
Il distretto di Jizhou (cinese semplificato: 蓟县; cinese tradizionale: 薊縣; mandarino pinyin: Jìzhou Qu) è un distretto di Tientsin. Ha una superficie di 1.593 km² e una popolazione di un milione di abitanti. Successe alla Contea di Ji nel 2016.

Tientsin
Tientsin, conosciuta anche come Tianjin (in cinese 天津S, TiānjīnP, lett. "guado fluviale celeste", pr. cinese: [tʰjɛ́ndʑín]; pr. it. [tjɛnˈd͡ʒin], detta Tianjin Municipality nelle versioni per l'estero dei siti ufficiali), è una delle quattro municipalità della Repubblica Popolare Cinese direttamente controllate dal governo centrale.

La città metropolitana si estende su una superficie di 11 760 km² e nel 2020 aveva una popolazione di 14 000 000 di abitanti, che la rendono la quarta municipalità della Cina per popolazione dopo Shanghai, Pechino e Chongqing. Negli anni 2000 Tientsin, grazie alla presenza di un significativo bacino produttivo tecnologico, ha registrato una tra le maggiori crescite di PIL su base annua tra le città cinesi. Dal 2007 ospita la sessione estiva del Forum economico mondiale di Davos.
Forth (The Verve)
Forth è il quarto ed' ultimo album del gruppo britannico The Verve, pubblicato in gran parte del mondo il 25 agosto 2008, fatta eccezione per gli Stati Uniti ed il Giappone, dove è stato pubblicato rispettivamente il 26 agosto ed il 3 settembre. È stato il primo album ad essere pubblicato dalla riunione della band avvenuta nel 2007 ed arriva dieci anni dopo Urban Hymns uscito nel 1997. Registrato nel 1998 2007

Il primo singolo dell'album, "Love is Noise", è stato trasmesso per la prima volta sul canale BBC Radio 1 il 23 giugno 2008 da Zane Lowe. Una settimana dopo è stata pubblicata "Mover", una canzone non contenuta nel album e scaricabile gratuitamente. Per una settimana, a partire dal 19 agosto, è stato possibile ascoltare l'intero album sul MySpace della band.

Zane Lowe
Alexander Zane Reid Lowe, noto semplicemente come Zane Lowe (Auckland, 7 agosto 1973), è un disc jockey, conduttore radiofonico, conduttore televisivo e produttore discografico neozelandese.

Famoso per la conduzione di programmi radiofonici e televisivi su BBC Radio 1 e su MTV, ha ricevuto più premi per il suo lavoro come DJ e VJ.
Harry Potter e il prigioniero di Azkaban (videogioco)
Harry Potter e il prigioniero di Akzaban (Harry Potter and the Prisoner of Azkaban) è un videogioco pubblicato nel 2004 in concomitanza con l'uscita del film. Terzo capitolo della serie, è basato sul romanzo di J. K. Rowling Harry Potter e il prigioniero di Azkaban, terzo nella serie di Harry Potter. Esistono versioni del gioco per PC, GBA, Xbox, GameCube e PS2.

Per gli esperti, il terzo capitolo videoludico della saga di Harry Potter ha rappresentato un notevole balzo in avanti, sia per quanto riguarda la parte tecnica (grafica e giocabilità) che dal punto di vista della sceneggiatura. Il gioco sfrutta, per la parte grafica, il motore grafico utilizzato per gli effetti speciali del film.

J. K. Rowling
J. K. Rowling, pseudonimo di Joanne Rowling (pron. [d͡ʒəʊˈæn ˈrəʊlɪŋ]; Yate, 31 luglio 1965), è una scrittrice, sceneggiatrice e produttrice cinematografica britannica.

La sua fama è legata principalmente alla serie di romanzi di Harry Potter, che ha scritto firmandosi con lo pseudonimo J. K. Rowling (in cui "K" sta per Kathleen, nome della nonna paterna), motivo per cui la scrittrice è indicata erroneamente anche come "Joanne Kathleen Rowling". Nel 2013 pubblica la sua prima opera con lo pseudonimo di Robert Galbraith. Nel 2011 è stata inserita da Forbes nella classifica delle donne più ricche del Regno Unito.
M577
Il veicolo M577 è un carro comando derivato dal veicolo trasporto truppe (VTT) M113.

Il mezzo si presenta con il tetto rialzato per permettere di stare in piedi all'interno del veicolo, e con la possibilità di ampliare lo spazio con una tenda esterna. All'interno del veicolo trovano posto anche radio e generatori elettrici.

Esiste inoltre un'ulteriore variante, l'M1068 Standard Integrated Command Post System Carrier equipaggiato per i moderni sistemi automatici di comando e controllo dell'Esercito americano.

Il veicolo è anche capace di guadare corsi d'acqua con altezze massime di 1 metro.

In Italia è anche utilizzato come veicolo comando gruppo di artiglieria semovente.

Veicolo trasporto truppe
Un veicolo trasporto truppe o VTT (talvolta indicato anche come APC dall'inglese Armoured Personnel Carrier, "trasportatore corazzato di personale") è un mezzo corazzato militare terrestre sviluppato a partire dal periodo della seconda guerra mondiale; il mezzo è destinato al trasporto della fanteria fino al limite del campo di battaglia, offrendo ad essa un minimo di protezione balistica.

L'armamento di un VTT è minimo e solitamente consiste in una mitragliatrice di calibro inferiore a 20 mm, spesso posta in postazione non protetta; ciò è dovuto al fatto che l'armamento a bordo serve esclusivamente per appoggiare la fanteria appena sbarcata dal veicolo, con il mezzo stesso che svolge solo funzioni di trasporto senza operare dentro al campo di battaglia vero e proprio. Per via dei loro compiti, questi mezzi hanno una bassa protezione balistica privilegiando la manovrabilità e la spaziosità interna, e possono essere sia ruotati sia cingolati sia semicingolati.
Adolf Schreiber
Adolf Schreiber (Schaan, 31 agosto 1913 – Triesen, 20 agosto 1983) è stato un ciclista su strada liechtensteinese.

Nel 1936 fu l'unico ciclista della squadra del Liechtenstein alle Olimpiadi estive del 1936 a Berlino, e prese parte alla corsa su strada, ritirandosi.

Schreiber risiedeva nel comune di Schaan e lavorava come operaio nell'azienda tessile Jenny, Spoerry & Cie.

Ciclismo ai Giochi della XI Olimpiade - Corsa in linea
La corsa in linea maschile di ciclismo su strada dei Giochi della XI Olimpiade si svolse il 10 agosto 1936 a Berlino, in Germania.

La gara era una prova in linea su un circuito di 100 km con partenza e arrivo allo Automobil-Verkehrs- und Übungsstraße.
King's Valley
King's Valley (王家の谷?, Ōke no Tani) è un videogioco sviluppato nel 1985 e pubblicato da Konami per MSX. Una conversione ufficiale per Tatung Einstein uscì solo nella raccolta 4 Game Disc Arcade. Inoltre esistono alcuni cloni e versioni non ufficiali. Più recentemente venne incluso nella raccolta Konami Antiques MSX Collection per PlayStation e Sega Saturn.

Konami
Konami Group Corporation (コナミグループ株式会社?, Konami Gurūpu Kabushiki-gaisha) è una società di progettazione e sviluppo di videogiochi fondata in Giappone nel 21 marzo 1969.

Il suo videogioco più venduto è la serie calcistica Winning Eleven/Pro Evolution Soccer, con un ammontare di quasi 90 milioni di unità vendute.
Bahraich
Bahraich è una suddivisione dell'India, classificata come municipal board, di 168.376 abitanti, capoluogo del distretto di Bahraich, nello stato federato dell'Uttar Pradesh. In base al numero di abitanti la città rientra nella classe I (da 100.000 persone in su).

Uttar Pradesh
L'Uttar Pradesh (abbreviato U.P.; in hindī उत्तर प्रदेश, IAST: Uttara Pradeśa, in urdu اتر پردیش‎?, [ˈʊt̪t̪ər prəˈd̪eːʃ], lett. "provincia del nord") è uno Stato federato dell'India settentrionale. È il quinto Stato per estensione dell'India e il più popolato, che ne fa la più popolata unità amministrativa di primo livello nel mondo, superata in questo da soli cinque Stati nazionali.
Horihone Saizō
Horihone Saizō (掘骨砕三?, Saizō Horihone ; ...) è un fumettista giapponese, i cui lavori (come il mangaka Henmaru Machino) hanno come prominente caratteristica lo sviluppo di temi come l'ermafroditismo (futanari), coprofiilia, shotacon, lolicon, e la trasformazione del corpo (monster girl). La maggior parte dei suoi lavori sono pubblicati by Sanwa Comics.

Futanari
Futanari (ふたなり?) è un termine giapponese che letteralmente significa "doppia forma"; questo termine viene usato per riferirsi a materiale pornografico "hentai" i cui protagonisti sono ermafroditi o anche doppio sesso oppure per riferirsi ai protagonisti del genere stesso.
Geremia IV di Costantinopoli
Geremia IV (in greco Ιερεμίας Δ'; Creta, XVIII secolo – Mitilene, 1824) è stato un arcivescovo ortodosso greco, che ha ricoperto la carica di Patriarca ecumenico di Costantinopoli dal 1809 al 1813.

Veniva da Creta. Divenne protosincello del Patriarcato ecumenico e in seguito fu eletto vescovo metropolitano di Mitilene (dal 1783 al 1809). Nel 1809 fu eletto Patriarca ecumenico di Costantinopoli.

Anche se di istruzione media, è considerato un Patriarca di successo, essendo stato prudente con notevoli capacità amministrative. Era anche caratterizzato come un protettore straordinariamente coraggioso degli interessi della Chiesa. Nel 1813 si dimise per motivi di salute. Si ritirò a Mitilene, dove morì nel 1824.

Protosincello
Un Protosincello (protosyncellus in latino o greco protosynkellos (πρωτοσύγκελλος), è il vicario principale del vescovo di un'eparchia per l'esercizio del potere amministrativo in una Chiesa ortodossa d'Oriente o nelle Chiese Cattoliche particolari di Rito Orientale. La posizione equivalente nelle chiese dell'Occidente Cristiano è il vicario generale.
Logica modale classica
In logica modale, una logica modale classica è una logica che contiene (come assioma o come teorema) la dualità degli operatori modali:

che è anche chiusa sotto la regola:

In alternativa, si può definire L tale che L è classica se e solo se contiene (come assioma o come teorema):

ed è chiusa sotto la regola:

Il sistema più debole di logica modale classica è di solito indicato con E e non è normale. Sia la semantica algebrica che quella di Scott–Montague caratterizzano sistemi di logica modale classica noti che sono ancora più deboli della più debole logica normale K.

Ogni logica modale regolare è classica e ogni logica modale normale è regolare e quindi anche classica.

Sistema
Un sistema può essere definito come l'unità fisica e funzionale, costituita da più parti o sottosistemi (tessuti, organi o elementi ecc.) interagenti (o in relazione funzionale) tra loro (e con altri sistemi), che formano un tutt'uno in cui ogni parte dà il proprio contributo per una finalità comune (o un obiettivo identificativo).

Spesso, in anatomia, il termine "sistema", proprio per lo scopo comune dei suoi componenti, viene confuso con il termine "apparato", ma la struttura e la funzionalità dei sistemi ne rendono la semantica ben più ampia, articolata o complessa rispetto a quella degli apparati.
Latham 47
Il Latham 47 fu un idrovolante a scafo centrale, bimotore in configurazione traente-spingente e biplano, sviluppato dall'azienda aeronautica francese Société Latham & Cié nei tardi anni venti.

Adottato dalla Marine nationale, la marina militare francese, per la sua componente aerea, la Aéronautique navale, come idroricognitore/bombardiere, è più noto per essere il velivolo utilizzato dall'esploratore norvegese Roald Amundsen nella ricerca del dirigibile Italia schiantatosi sulla banchina polare e sul quale non fece più ritorno si presume per incidente sorvolando le acque del mare di Barents.

Hispano-Suiza 12Y
L'Hispano-Suiza 12Y era un motore aeronautico a 12 cilindri a V, raffreddato a liquido. Fu prodotto in Francia dall'azienda franco-spagnola Hispano-Suiza tra il 1932 ed il 1940; dietro cessione della licenza di produzione, fu costruito anche in Unione Sovietica e Cecoslovacchia.
Kroger St. Jude International and the Cellular South Cup 2002 - Singolare femminile
Il singolare femminile del torneo di tennis Kroger St. Jude International and the Cellular South Cup 2002, facente parte del WTA Tour 2002, ha avuto come vincitrice Lisa Raymond che ha battuto in finale Alexandra Stevenson con il punteggio di 4–6, 6–3, 7–6(9).

WTA Tour 2002
Il WTA Tour 2002 è iniziato il 31 dicembre 2001 con il Thalgo Australian Women's Hardcourts 2002 e l'ASB Classic 2002 e si è concluso con la finale del WTA Tour Championships 2002.

Il WTA Tour è una serie di tornei femminili di tennis organizzati dalla WTA. Questa include i tornei del Grande Slam (organizzati in collaborazione con la International Tennis Federation (ITF)), il WTA Tour Championships e i tornei delle categorie Tier I, Tier II, Tier III, Tier IV e Tier V.