hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Métalogique
La métalogique est l'étude de la métathéorie de la logique. Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités.

Les objets de base de l'étude métalogique sont les langages formels des systèmes formels, et leurs interprétations. L'étude de l'interprétation des systèmes formels est la branche de la logique mathématique appelée théorie des modèles, et l'étude des systèmes déductifs est appelée la théorie de la démonstration.

Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.

Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité.
Pointe du Spernéguy
La pointe du Spernéguy est située au nord-est du site naturel de la pointe de Penhap sur l'île aux Moines (Morbihan).

Elle est située à 1,2 km au nord de la pointe de Brannec et à 2,4 km au sud-ouest de la pointe de Brouel.

Pointe de Penhap
La pointe de Penhap est un site naturel de l'île aux Moines (Morbihan).

Elle se termine dans sa partie méridionale par la pointe de Nioul qui offre une vue étendue sur le petit port du Logéo de la presqu'île de Rhuys et sur l'entrée du golfe du Morbihan.
France au Concours Eurovision de la chanson 1957
La France a participé au deuxième Concours Eurovision de la chanson diffusé le 3 mars 1957 à Francfort-sur-le-Main, en Allemagne Fédérale.   La chanson La Belle Amour chantée par Paule Desjardins a été choisie pour représenter la France.

France au Concours Eurovision de la chanson
La France participe au Concours Eurovision de la chanson depuis sa première édition, en 1956, et l'a remporté à cinq reprises, en 1958, 1960, 1962, 1969 et 1977.

La France fait partie des cinq plus importants contributeurs financiers de l'UER, avec l’Allemagne, l’Espagne, l’Italie et le Royaume-Uni. Ensemble, ils constituent le groupe dit des « Big Five ». Depuis l'édition 1999 du concours, ceux-ci ont la garantie d’une place automatique en finale, indépendamment de leur résultat l'année précédente et sans passer par les demi-finales.
District de Vác
Le district de Vác (hongrois : Váci járás) est un des 18 districts du comitat de Pest en Hongrie. Il compte 67 781 habitants et rassemble 18 localités : 16 communes et 2 villes dont Vác, son chef-lieu.

Cette entité existait déjà auparavant, jusqu'à la réforme territoriale de 1983.

District (Hongrie)
Le district (hongrois : járás [ˈjaːɾaːʃ]) désigne l'échelon territorial intermédiaire entre la commune et le comitat qui a existé au sein de l'ancien royaume de Hongrie, en Hongrie jusqu'à fin 1983 puis actuellement depuis la réforme territoriale du 1er janvier 2013. Entretemps, c'étaient les micro-régions (kistérség) qui occupaient cet échelon.
Canton de Vic-sur-Cère
Le canton de Vic-sur-Cère est une circonscription électorale française qui est située dans le département du Cantal et qui a conservé le nom de l'ancienne région auvergnate du Carladès qui était autrefois beaucoup plus étendue.
À la suite du redécoupage cantonal de 2014, les limites territoriales du canton sont remaniées. Le nombre de communes du canton passe de 12 à 23.

Carladès
Le Carladès ou Carladez est un pays traditionnel de France (Carladés en carladézien,), situé au centre-ouest du Massif central. Une partie de cette région se trouve dans le département du Cantal et l'autre dans celui de l'Aveyron. Ses origines remontent à l'ancienne vicomté de Carlat, une subdivision du comté d’Auvergne, dont les dimensions étaient sensiblement plus vastes que la région naturelle actuelle.
Grégoire XVI
Bartolomeo Alberto (en religion Mauro) Cappellari, né à Bellune (en italien Belluno), ville du nord de la république de Venise, le 18 septembre 1765 et décédé à Rome le 1er juin 1846, est un moine, prêtre et abbé camaldule qui fut le 254e pape de l'Église catholique sous le nom de Grégoire XVI (en latin Gregorius XVI, en italien Gregorio XVI), successeur de Pie VIII.

Élu le 2 février 1831, il fut sacré et intronisé le 6 du même mois. Défenseur résolu de la doctrine traditionnelle face aux idées nouvelles, il s’employa également à préserver les États pontificaux contre les assauts des mouvements patriotiques italiens. Son pontificat fut marqué par un renouveau de l’engagement missionnaire outre-mer. Il demeure enfin le dernier pape à mourir en tant que souverain des États pontificaux, ceux-ci ayant été annexés en 1870 lors de la prise de Rome, sous le pontificat de son successeur.

Pie VIII
Francesco Saverio Castiglioni, né le 20 novembre 1761 à Cingoli (États pontificaux) et mort le 30 novembre 1830 à Rome (États pontificaux), est le 253e pape de l'Église catholique, élu le 31 mars 1829 sous le nom de Pie VIII (en latin Pius VIII, en italien Pio VIII). Il meurt un an et sept mois après son élection, faisant de son pontificat le plus court du XIXe siècle.
Association populaire et démocratique timoraise
L' Association populaire et démocratique timoraise (portugais : Associação Popular Democratica Timorense ou APODETI) était un parti politique du Timor oriental, créé en 1974, favorable à son intégration par l’Indonésie.  Avec l’Union démocratique timoraise (UDT), un autre parti Timorais, ils signent en 1975 une pétition appelant l’Indonésie à annexer la région.

Union démocratique timoraise
L’Union démocratique timoraise (União Democrática Timorense) est un parti politique conservateur du Timor oriental. Il a été le plus ancien parti politique timorais, créé en 1974 à la suite de la révolution des Œillets au Portugal. Ses fondateurs appartiennent à l’élite traditionnelle.
Onias IV
Onias IV (hébreu : חוֹנִיּוֹ Ḥōniyyō) est le fils d'Onias III et l'héritier de la lignée zadokite des grands-prêtres d'Israël. Il construit un nouveau temple juif à Léontopolis, en Égypte ptolémaïque, où il règne en tant que grand-prêtre rival de la hiérarchie de Jérusalem. S'il ne parvient jamais à s'imposer en Judée, il conserve une certaine influence en Égypte ; le territoire le plus peuplé par les Juifs fut appelé le Pays d'Onias en référence à son influence.

Onias III
Le grand prêtre Onias III (hébreu חוניו), fils de Simon (probablement Simon le Juste), est un grand prêtre du Temple de Jérusalem au IIe siècle av. J.-C. (187 à 175 av. J-C). Il est le dernier des grands prêtres légitimes, car considérés comme descendants de la lignée de Sadoq. Onias III est déposé en -175. Son frère et successeur Jason, qui est imposé par Antiochus IV, est considéré comme un usurpateur.
Gare de Rompsay
La gare de Rompsay est une halte ferroviaire française, fermée, de la ligne de Nantes-Orléans à Saintes. Elle est située sur le territoire de la commune de Périgny, dans le département de la Charente-Maritime, en région Nouvelle-Aquitaine.

Mise en service en 1897, la halte est fermée au service ferroviaire en 1980.

Ligne de Nantes-Orléans à Saintes
La ligne de Nantes-Orléans à Saintes est une ligne ferroviaire française à écartement standard, reliant Nantes (Loire-Atlantique) à Saintes (Charente-Maritime), où elle rejoint la ligne de Chartres à Bordeaux-Saint-Jean, constituant ainsi une partie de la grande ligne transversale de la façade atlantique, entre la Bretagne et l'Aquitaine.

Initialement concédée à la Compagnie du chemin de fer Grand-Central, la ligne est construite dans les années 1860 sous quatre concessions attribuées l'une à la Compagnie d'Orléans, les autres à la Compagnie des Charentes. L'État rachète les concessions de la Compagnie des Charentes en 1877 et celle de la Compagnie d'Orléans en 1883.

Cette ligne porte le numéro 530 000 du réseau ferré national.
Église de l'Euthanasie
L’Église de l'Euthanasie (en anglais : Church of Euthanasia) est un groupe religieux malthusianiste fondé par Chris Korda et Robert Kimberk à Boston, Massachusetts, en 1992. Il prône la réduction de la population humaine dans le but de préserver l'environnement. Son unique commandement est « Tu ne procréeras point » (« Thou shalt not procreate »), son slogan le plus connu «Sauve la planète, tue-toi» («Save the Planet, Kill Yourself») et ses quatre « piliers » sont le suicide, l'avortement, le cannibalisme et la sodomie; elle rejette toutefois le meurtre et l'eugénisme. Elle rapproche elle-même ses méthodes du mouvement dadaïste, considérant que le monde moderne est tellement absurde que pour atteindre le public le message doit être absurde lui aussi.

Malthusianisme
Le malthusianisme est une doctrine politique prônant la restriction démographique inspirée des travaux de l'économiste britannique Thomas Malthus. Le terme est utilisé pour la première fois par Pierre-Joseph Proudhon en 1849.

À l'origine doctrine hostile à l'accroissement de la population d'un territoire ou d'un État et préconisant la restriction volontaire de la natalité, le mot « malthusianisme » désigne aussi par extension toute attitude réservée devant la vie et le développement.
Pavillon Phanmun
Le pavillon Phanmun est un bâtiment nord-coréenne situé dans la partie nord de Panmunjeom (dans la Joint Security Area), qui est en face du bâtiment sud-coréen la Maison de la Paix. Il a été construit en septembre 1969, c'est un bâtiment de deux étages à 80 mètres au nord de la Maison de la Paix.

Pour le sommet inter-coréen d'avril 2018, Kim Jong-un a quitté le pavillon Phanmun à 9 heures (UTC+08:30) et a atteint la Ligne de Démarcation militaire à Panmunjeom.

Ligne de Démarcation militaire

Bâtiments sous administration nord-coréenne

Bâtiments sous administration conjointe des Nations Unies et de la Corée du Sud

Maison de la paix inter-coréenne
La Maison de la paix (ou Maison de la paix inter-coréenne) est un lieu de rencontre pour les pourparlers de paix entre la Corée du Nord et la Corée du Sud. Le bâtiment est situé dans la Joint Security Area au sud de la ligne de démarcation militaire qui divise la zone en deux. La Maison de la paix est située sur un ancien village, Panmunjon, qui — avant la guerre de Corée, qui divisa le pays en deux en 1953 — était composé de propriétaires[pas clair].

Ligne de Démarcation militaire

Bâtiments sous administration nord-coréenne

Bâtiments sous administration conjointe des Nations Unies et de la Corée du Sud
Tournoi de tennis US Clay Court (ATP 2019)
L'édition 2019 du tournoi de tennis de Houston se déroule du 8 au 14 avril, sur terre battue en extérieur. Elle appartient à la catégorie ATP 250. Cristian Garín remporte l'épreuve en simple, Santiago González et Aisam-Ul-Haq Qureshi celle en double.

Saison 2019 de l'ATP
Cet article rassemble les résultats des tournois de tennis masculin de la saison 2019. Celle-ci est constituée de 67 tournois individuels et 1 compétition par équipes répartis en plusieurs catégories :

63 organisés par l'ATP : 
les Masters 1000, au nombre de 9 ;
les ATP 500, au nombre de 13 :
les ATP 250, au nombre de 39 ;
les ATP Finals qui réunissent les huit meilleurs joueurs et paires au classement ATP Race en fin de saison ;
les Next Generation ATP Finals qui réunissent les huit meilleurs joueurs de moins de 21 ans au classement ATP Race en fin de saison ;

5 organisés par l'ITF :
les 4 tournois du Grand Chelem ;
la Coupe Davis (compétition par équipes).

La Hopman Cup est une compétition mixte (par équipes), elle est organisée par l'ITF.

Marin Čilić, Juan Martín del Potro, Novak Djokovic, Roger Federer, Andy Murray, Rafael Nadal et Stanislas Wawrinka sont les sept joueurs en activité qui ont remporté au moins un tournoi du Grand Chelem en simple.
William Collins Whitney
William Collins Whitney, né le 5 juillet 1841 à Conway (Massachusetts) et mort le 2 février 1904 aux États-Unis, est un homme politique et homme d'affaires américain. Membre du Parti démocrate, il est secrétaire à la Marine entre 1885 et 1893 dans la première administration du président Grover Cleveland.

Secrétaire à la Marine des États-Unis
Le secrétaire à la Marine des États-Unis (en anglais : United States Secretary of the Navy, abrégé en SECNAV) est le chef civil du département de la Marine. Le poste est occupé par un membre du cabinet du président des États-Unis jusqu'en 1947, quand la Marine, l'Armée de terre et l'Armée de l'air sont regroupées dans le nouvellement créé département de la Défense. Le poste de secrétaire à la Marine est alors placé sous l'autorité du secrétaire à la Défense au lieu d'être un membre du cabinet présidentiel.
Bellevue (quartier de Meudon)
Bellevue (ou Meudon-Bellevue) est un quartier de la ville de Meudon dans le département des Hauts-de-Seine. Le quartier est situé sur les hauteurs de Meudon, à proximité de la commune de Sèvres. Il est connu pour sa vue panoramique sur Paris et ses alentours.

Le quartier s'est développé au XIXe siècle sur l'emplacement du domaine du château de Bellevue, construit au XVIIIe siècle par la marquise de Pompadour.

Les habitants de Bellevue s'appellent les Bellevusiens.

Château de Bellevue (Meudon)
Le château de Bellevue, dit aussi château royal de Bellevue, est un ancien château construit au milieu du XVIIIe siècle pour Madame de Pompadour à Meudon (Hauts-de-Seine), sur le bord du plateau dominant la Seine. Son apogée a coïncidé avec toute la seconde moitié du XVIIIe siècle. Il ne faut pas le confondre avec le château de Meudon voisin. De nos jours, il n'en subsiste que de rares vestiges.
M7 (fusil d'assaut)
Le M7 (anciennement XM5) est un fusil d'assaut de calibre 6.8 mm, rechargé par emprunt de gaz, conçu par SIG Sauer pour le programme d'armement Next Generation Squad Weapon (en) en 2022 en remplacement de la carabine M4.

Le XM5 a été conçu à partir du SIG MCX.

En janvier 2023 l'armée américaine a fait changer le nom XM5 pour XM7, afin d'éviter un conflit de brevet avec la carabine Colt M5. Puis en 2025, le nom officiel du fusil est devenu M7.

Rechargement par emprunt de gaz
L'emprunt de gaz est un système de réarmement des armes à feu automatiques et semi-automatiques, dans lequel une partie du gaz sous pression généré par le tir de la cartouche est utilisé pour permettre l'éjection de l'étui et le chargement d'une nouvelle cartouche dans la chambre.

Dès que le projectile dépasse l'évent usiné dans le canon, les gaz sous pression s'y introduisent et viennent pousser un piston qui par son recul provoque le déverrouillage et le mouvement des pièces mobiles : le piston, poussé par les gaz fait reculer la culasse, éjectant l'étui utilisé. Le ressort replace le piston, accompagnant la culasse, qui met en position dans le canon la munition suivante lors de ce mouvement de replacement.
Tournoi de clôture du championnat du Salvador de football 2006
Le Tournoi Clausura 2006 est le seizième tournoi saisonnier disputé au Salvador.

C'est cependant la 63e fois que le titre de champion du Salvador est remis en jeu.

Lors de ce tournoi, le CD Vista Hermosa a tenté de conserver son titre de champion du Salvador face aux neuf meilleurs clubs salvadoriens.

Chacun des dix clubs participant était confronté deux fois aux neuf autres équipes. Puis les quatre meilleurs se sont affrontés lors d'une phase finale à la fin du tournoi.

Seulement une place était qualificative pour la Copa Interclubes UNCAF.

Championnat du Salvador de football
Le championnat du Salvador de football, aussi appelé Primerà Division, La Primera ou Liga Mayor, est le tournoi de football professionnel salvadorien le plus important du pays. Il a été créé en 1926 et se joue sous la forme de deux tournois semestriels appelée Clausura et Apertura depuis 1998.

Le CD FAS est le club qui a remporté le plus de titres de Primerà Division (19), le CD Luis Ángel Firpo et l'AD Isidro-Metapan étant quant à eux, les clubs qui ont remporté le plus de titres consécutifs (3).
Utopia of the Seas
Le Utopia of the Seas est un navire de croisière de la compagnie Royal Caribbean Cruise Line, construit aux Chantiers de l'Atlantique de Saint-Nazaire. Il est le premier et seul paquebot de la classe Oasis équipé de générateurs pouvant consommer du MGO ou du GNL.

Il est le sister-ship du Wonder of the Seas.

Wonder of the Seas
Le Wonder of the Seas est un navire de croisière de la compagnie Royal Caribbean Cruise Line, construit aux Chantiers de l'Atlantique de Saint-Nazaire entre octobre 2019 et novembre 2021.

Légèrement plus  grand et gros que ses sister-ships Symphony of the Seas et Harmony of the Seas, il est au début 2022 le plus gros paquebot au monde. Il est dépassé par l'Icon of the Seas en janvier 2024. Le Wonder of the Seas propose également des nouveautés par rapport à ses prédécesseurs de la classe Oasis, à commencer par l'architecture de certains ponts.
Parcs nationaux de Croatie
Les parcs nationaux de Croatie sont au nombre de huit : trois en zone montagneuse (Paklenica, Plitvice, Risnjak) et cinq en zone côtière (Brijuni (Brioni), Mljet, Kornati, Krka, Velebit) représentant une superficie de 79 320 hectares, soit 7,5 % du pays avec comme projet de doubler l’étendue des espaces protégés dans le cadre de parcs nationaux ou d’autres régimes de protection de l’environnement.

L'entrée de la plupart des parcs nationaux de Croatie est payante, les visiteurs doivent s'acquitter d'un droit d'entrée, en fonction de leur âge et de la saison, afin de participer au financement des parcs.

Les huit parcs sont en catégorie II de la classification CMAP.

Parc national de Krka
Le parc national de la Krka, s'étend à quelques kilomètres de Šibenik, en Croatie sur près de 109 km2.

Les chutes de la rivière Krka constituent sa principale attraction. Cette rivière, longue de 72 km, est le plus étonnant des cours d'eau du karst croate. Sur les deux tiers de sa longueur elle coule dans de profonds canyons en se frayant sa voie vers la mer Adriatique.
Saison 2019-2020 de l'AJ Auxerre
L'AJ Auxerre joue lors de la saison 2019-2020, sa huitième saison consécutive en deuxième division. Francis Graille commence sa troisième saison en tant que président du club et Jean-Marc Furlan sa première en tant d'entraîneur.

Championnat de France de football de deuxième division 2019-2020
La saison 2019-2020 de Ligue 2 est la quatre-vingt-unième édition du championnat de Ligue 2 (ou Division 2 jusqu'en 2002). Deuxième niveau de la hiérarchie du football en France après la Ligue 1, le championnat oppose en matches aller-retour, vingt clubs professionnels.

La saison est marquée par une suspension du championnat à partir de mi-mars après le début de la propagation de la pandémie de Covid-19 en France.
Extension quadratique
En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension finie de degré 2 d'un corps commutatif K, c'est-à-dire un corps contenant K et de dimension 2 en tant que K-espace vectoriel. Le corps K considéré est souvent celui des rationnels.

Une extension quadratique est un cas très simple d'extension de corps : c'est une extension simple, et elle est algébrique et normale car c'est un corps de décomposition. Sauf dans certains cas spécifiques à la caractéristique 2, elle est de plus séparable donc galoisienne, et même cyclique.

La notion d'extension quadratique possède de nombreuses applications ; on peut citer la théorie de Kummer ou les théorèmes de Wantzel et de Gauss-Wantzel.

Extension abélienne
En algèbre générale, plus précisément en théorie de Galois, une extension abélienne est une extension de Galois dont le groupe de Galois est abélien. Lorsque ce groupe est cyclique, l'extension est dite cyclique.

Toute extension finie d'un corps fini est une extension cyclique. L'étude de la théorie des corps de classes décrit de façon détaillée toutes les extensions abéliennes dans le cas des corps de nombres, et des corps de fonctions de courbes algébriques sur des corps finis, ainsi que dans le cas des corps locaux (Théorie du corps de classes local).
Bataille de Centuripe
La bataille de Centuripe est livrée du 2 au 4 août 1943 à la suite du débarquement allié en Sicile (Opération Husky). Les forces de la VIIIe armée britannique sont engagées dans de violents combats dans et autour de la ville de Centuripe dans la partie centrale de la Sicile dans la région montagneuse située entre les fleuves Dittaino et Salso. Elle aboutit au début de retrait des forces de l'Axe de Sicile.

La Wehrmacht avait fortifié la ville située sur un piton rocheux très élevé et accessible par une seule route sinueuse. Centuripe, défendue par la 1re division Fallschirm-Panzer Hermann Göring, est une position défensive-clé de l'ensemble des forces de l'Axe et sa chute signifierait également la perte d'Adrano qui pousserait les Allemands à se retirer de leurs positions.

Opération Husky
L’opération Husky ou débarquement en Sicile des troupes alliées (britanniques, américaines, françaises et canadiennes) en juillet 1943 est un épisode important de la Seconde Guerre mondiale, marquant l'ouverture d'un second front en Europe, réclamée depuis un certain temps par Staline à ses alliés occidentaux.

Le débarquement (le 10 juillet) est suivi de la conquête de la Sicile jusqu'au 16 août (prise de Messine), période durant laquelle un événement inattendu survient en Italie : la chute de Mussolini (le 24 juillet) et la mise en place du gouvernement du maréchal Badoglio, qui entre très vite en contact avec les Alliés.
KH-6
La courte série de satellites de reconnaissance Keyhole 6 ou KH-6, de nom de code Lanyard, a été produite de mars à juillet 1963 par les États-Unis. Le projet fut rapidement mené afin d'imager un site soviétique suspecté d'héberger des missiles intercontinentaux ICBM, près de Tallinn.

Les satellites étaient munis d'une chambre photographique E-5, conçue à l'origine pour le programme Samos, qui fut annulé par la suite. Les clichés couvraient une région de 14 km sur 74, avec une résolution au sol de 1,8 m. Les satellites pesaient 1 500 kg et éjectaient le film exposé vers la terre via une capsule unique. Ils étaient mis sur orbite depuis Vandenberg Air Force Base par des lanceurs Thor-Agena.

Sur les trois satellites lancés, il y eut deux échecs.

Satellite de reconnaissance
Un satellite de reconnaissance, ou satellite espion (en langage populaire), est un satellite artificiel utilisé pour des applications militaires ou de renseignement. Les satellites de ce type collectent généralement des informations sur les installations civiles et militaires d'autres pays au moyen d'un système optique ou radar pour des observations tous temps (à travers les nuages) ou de nuit.
Cour suprême du Bangladesh
La Cour suprême du Bangladesh (bengali : বাংলাদেশ সুপ্রীম কোর্ট) est la plus haute cour de justice du Bangladesh. Elle est composée de la High Court Division (Haute Cour) et de la Appellate Division (Division d'appel) et a été créée par la Partie VI, chapitre I, de la Constitution du Bangladesh adoptée en 1972. C'est également le bureau du juge en chef, des juges de la Division d'appel et des juges de la Haute Cour du Bangladesh. En Août 2024, il y avait 2 judges à la Division d'appel et 82 (80 sont permanents et 2 additional) à la Haute Cour.

Constitution du Bangladesh
La Constitution du Bangladesh (Bengali: বাংলাদেশের সংবিধান Bangladesh Shongbidhan) est la loi fondamentale de la république populaire du Bangladesh.

Elle définit le pays en tant que république laïque et démocratique où la souveraineté appartient au peuple, définit les champs d'action de l'État, et énonce les droits fondamentaux des citoyens. Adoptée par l'Assemblée constituante du Bangladesh le 4 novembre 1972, elle est entrée en vigueur le 16 décembre suivant.