hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Sémantique algébrique (logique mathématique)
En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. Par exemple, la logique modale S4 se caractérise par la classe des algèbres booléennes topologiques—à savoir, des algèbres booléennes possédants un opérateur intérieur. D'autres logiques modales sont caractérisées par diverses autres algèbres avec des opérateurs. La classe des algèbres booléennes caractérise la logique propositionnelle classique, et la classe des algèbres d'Heyting de la logique intuitionniste.

Logique algébrique
En  logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres.

Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
Granica (Bileća)
Granica (en serbe cyrillique : Граница) est un village de Bosnie-Herzégovine. Il est situé dans la municipalité de Bileća et dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, il compte 38 habitants.

Bileća
Bileća (en serbe cyrillique : Билећа) est une ville et une municipalité de Bosnie-Herzégovine située dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, la ville intra muros compte 8 220 habitants et la municipalité 11 536.
NGC 7752
NGC 7752 est une galaxie irrégulière située dans la constellation de Pégase. NGC 7752 a été découverte par l'astronome irlandais R. J. Mitchell en 1854.

NGC 7752 forme avec sa voisine NGC 7753 une paire de galaxies en interaction gravitationnelle. La paire figure dans l'atlas des galaxies particulières d'Halton Arp sous la cote Arp 86, avec la note suivante : « galaxie avec double bras menant au compagnon ».

Leurs orbites respectives favorisent le transfert de matières, ce qui pourrait expliquer l'important taux de formation d'étoiles chez NGC 7752. On estime en effet qu’environ 5% de la masse des gaz présents dans la grande galaxie (NGC 7753) a été transférée à cette dernière.

Galaxies en interaction
L'interaction de galaxies est le résultat de la perturbation d'une galaxie par le champ gravitationnel d'une deuxième et réciproquement. Un exemple d'interaction mineure est le cas d'une galaxie satellite perturbant les bras d'une galaxie spirale primaire. Un exemple d'interaction majeure serait la collision et la réunion de deux galaxies. À notre échelle, les galaxies sont tellement loin que nous avons peine à nous imaginer la distance, mais à l'échelle galactique, certaines sont plus proches que d'autres, ce qui donne lieu à des interactions massives.
North Shore City
North Shore City (plus communément appelé North Shore ou tout simplement The Shore) est une ville de la région d'Auckland, sur l'île du Nord de la Nouvelle-Zélande. Lors du recensement de juin 2006 on comptait 205 605 personnes habitant North Shore City, la faisant la quatrième ville la plus peuplée de Nouvelle-Zélande. C'est également la quatrième plus grande ville, avec une superficie totale de 129,81 km2. C'est l'une des quatre villes de la région métropolitaine d'Auckland. Elle a été intégrée au conseil municipal d'Auckland en 2010. Cette ville est la ville de Nouvelle-Zélande la plus densément peuplée, la plus grande partie de sa superficie étant urbaine ou suburbaine.

Auckland (région)
La région d'Auckland (en anglais : Auckland Region ;  en maori de Nouvelle-Zélande : Tāmaki Makaurau) est une des seize régions de Nouvelle-Zélande située dans l'Île du Nord de la Nouvelle-Zélande. Nommée par la ville d'Auckland, la plus grande de Nouvelle-Zélande, c'est la région la plus peuplée et la plus prospère, économiquement.
Forces armées estoniennes
Les Forces armées estoniennes (en estonien: Eesti Kaitsevägi) sont les forces armées unifiées de la république d'Estonie. L'armée estonienne est une force de défense composée des forces terrestres, de la marine, de l'armée de l'air et d'une organisation paramilitaire. La politique de défense nationale vise à garantir la préservation de l'indépendance et la souveraineté de l'État, l'intégrité de son territoire, de ses eaux territoriales et de son espace aérien ainsi que son ordre constitutionnel.

Ses principaux objectifs restent le développement et le maintien d'une capacité crédible pour défendre les intérêts vitaux de la nation et le développement des forces de défense d'une manière qui garantit leur interopérabilité avec les forces armées des États membres de l'OTAN et de l'Union européenne pour participer à l'ensemble des missions de ces alliances militaires.

Cyberguerre
La cyberguerre, guerre cybernétique (en anglais : cyberwarfare) ou guerre de la toile consiste en l'utilisation d'ordinateurs et d'Internet pour mener une guerre dans le cyberespace.

Depuis le début du XXIe siècle, le réseau Internet est devenu un lieu d'affrontement, tout objet numérique devenant une cible d'attaquants potentiels.

Le terme « cyberguerre » est cependant contesté par de nombreux observateurs, le principal argument étant son absence de létalité.
Championnat d'Allemagne de football de quatrième division 1996-1997
L'Oberliga 1996-1997 est la 3e édition de l'Oberliga en qualité de quatrième division allemande de football. Le championnat se compose de dix groupes géographiques depuis la saison 1991-1992. En outre, depuis la saison 1994-1995, l'Oberliga Nord est scindée en deux groupes (Basse-Saxe/Brême et Hambourg/Schleswig-Holstein), tandis que la NOFV-Oberliga est passée de trois à deux groupes.

Le championnat se compose de cent-soixante-six équipes réparties en dix groupes géographiques.

Le nombre d'équipes promues et reléguées est variable selon les Oberligen.

Championnat d'Allemagne de football de quatrième division 1994-1995
L'Oberliga 1994-1995 est la 1re édition de l'Oberliga en qualité de quatrième division allemande de football. Le championnat se compose de dix groupes géographiques depuis la saison 1991-1992. Cependant, à partir de cette saison, l'Oberliga Nord est scindée en deux groupes (Basse-Saxe/Brême et Hambourg/Schleswig-Holstein), tandis que la NOFV-Oberliga – Centre est dissoute.

C'est la dernière saison où une victoire vaut deux points. À partir de la saison suivante, la règle des trois points entrera en vigueur.

Le championnat se compose de cent-soixante-cinq équipes réparties en dix groupes géographiques.

Le nombre d'équipes promues et reléguées est variable selon les Oberligen.
Monastère bénédictin de Schlüchtern
Le monastère de Schlüchtern est une ancienne abbaye bénédictine à Schlüchtern dans la haute vallée de la Kinzig, dans le Land allemand de la Hesse. Aujourd'hui, le bâtiment abrite le lycée « Ulrich-von-Hutten-Gymnasium (de) » et le centre de formation de musique d'église de l'Église évangélique de Kurhessen-Waldeck, actuel propriétaire du monastère.

Le lieu était dédié à Sainte Marie. La structure la plus ancienne qui subsiste, une crypte, date du début de la période carolingienne et est structurellement proche d'autres éléments architecturaux aux environs de l'abbaye de Fulda. Au-delà de ce repère architectural et historique, les premiers temps du monastère sont inconnus.

Diocèse de Wurtzbourg
Le diocèse de Wurtzbourg (en latin Dioecesis Herbipolensis) est un diocèse catholique romain d'Allemagne, situé en Basse-Franconie. Il a son siège à la cathédrale Saint-Kilian de Wurtzbourg, et est suffragant de l'archidiocèse de Bamberg.

Créé en 743, il constitua une principauté ecclésiastique du Saint-Empire romain germanique qui fut médiatisée en 1803 (voir évêché de Wurtzbourg  pour l'histoire de cet État). Il faisait alors partie de l'ancienne province ecclésiastique de Mayence.

Le diocèse sécularisé fut rétabli en 1818.
Westmere
Westmere est la famille de microprocesseurs d'Intel qui succède à la famille Nehalem. Conservant une microarchitecture Nehalem, le procédé de fabrication de ces processeurs, s'inscrivant dans le cadre de la stratégie tic-tac d'Intel, utilise cependant une photolithographie dont la précision maximale est meilleure, 32 nm au minimum.

Cette famille apporte également, par rapport à Nehalem, sept nouvelles instructions spécifiques au chiffrement AES. La microarchitecture ne change pas significativement par rapport à celle de la famille Nehalem,.

La famille de microprocesseurs qui a succédé à Westmere est Sandy Bridge, en 2011.

Nehalem (microarchitecture)
La microarchitecture Nehalem est une microarchitecture x86 d'Intel, utilisée par les familles Nehalem et Westmere. Elle succède à Core, par rapport à laquelle elle apporte plusieurs changements majeurs, comme l'intégration du contrôleur mémoire et l'utilisation d'un nouveau bus de données système et inter-processeur (QPI). Les déclinaisons Clarkdale intègrent en outre un contrôleur PCI Express.

Le premier processeur Nehalem a été le Core i7 920 sorti en novembre 2008. La microarchitecture suivante est Sandy Bridge.
Houdjefa Ier
Houdjefa Ier est un roi hypothétique de l'Égypte antique, appartenant à la IIe dynastie, et dont le nom est mentionné dans certaines listes royales du Nouvel Empire, ainsi que dans l'œuvre de Manéthon. Ce roi n'est cependant pas attesté par les sources contemporaines de la dynastie.

XIXe dynastie égyptienne
La XIXe dynastie pharaonique, aux XIIIe et XIIe siècles avant notre ère, dans la seconde moitié du Nouvel Empire, est une dynastie dont la plus grande partie de l'histoire est brillante, marquée par le règne de Ramsès II, mais dont les deux dernières décennies sont marquées par la guerre civile, ce qui mènera à sa chute et à l'avènement d'une nouvelle dynastie.
Luna 28
Luna 28 ou Luna-Grunt est une mission spatiale d'exploration de la Lune étudiée par l'Agence spatiale fédérale russe (Roscosmos). L'objectif de la mission est de ramener un échantillon du sol lunaire. Le projet fait partie d'une stratégie d'exploration de la Lune mise au point progressivement  dans les années 2000 par l'Institut de recherche spatiale de l'Académie des sciences de Russie et Roscosmos. Celle-ci prévoit le lancement de plusieurs sondes spatiales de complexité croissante. Selon ces plans, Luna 28 doit être lancée en 2027.

Institut de recherche spatiale de l'Académie des sciences de Russie
L'Institut de recherche spatiale de l'Académie des sciences de Russie (en russe : Институт космических исследований Российской Академии Наук / ИКИ РАН) ou IKI RAN   est la principale institution de l'Académie des sciences de Russie consacrée  aux applications scientifiques de l'exploration spatiale. L'institut mène des recherches dans le domaine de l'astrophysique, de la planétologie, de la physique du Soleil, des relations Soleil-Terre, du plasma cosmique et de la géophysique non linéaire. L'IKI participe à des programmes scientifiques de recherche spatiale et teste de nouvelles techniques spatiales en collaboration avec l'Académie des sciences de Russie et l'Agence spatiale russe.

L'institut a été créé en 1965 par un décret du conseil des ministres de l'Union soviétique sous l'appellation « Institut de recherche spatiale de l'Académie des sciences de l'Union soviétique ». L'Institut est situé à Moscou et emploie 290 scientifiques.
Pierres de Stora Hammars
Les pierres de Stora Hammars sont quatre pierres historiées remontant à l'Âge des Vikings (entre le VIe et VIIIe siècles) et situées à Stora Hammars, près de Lärbro sur l'île de Gotland en Suède.

La pierre historiée de Stora Hammars I est organisée en six scènes guerrières mythologiques. La partie inférieure présente un imposant bateau viking dotée d'une voile rectangulaire. La troisième scène s'organise autour d'un autel surmonté d'un valknut associé à Odin. En dessous se trouve l'une des rares représentations de batailles de cette époque.

Gotland
Gotland est une île de Suède située en mer Baltique. Il s'agit de la plus grande île du pays. Le Gotland est aussi le nom du comté et de la commune présente sur l'île.

Autour de l'île de Gotland se trouvent plusieurs îles plus petites dont les plus importantes sont Fårö, Gotska Sandön, Stora Karlsö et Lilla Karlsö.

La seule ville de Gotland est Visby, ancienne ville hanséatique située sur la côte ouest, dont la vieille ville est inscrite au patrimoine mondial de l'UNESCO.
Filmprüfstelle
Le Filmprüfstelle (Bureau des critiques de films) est un organisme qui était, dans la République de Weimar, et plus tard dans l'Allemagne nazie, responsable de la censure de l'industrie cinématographique en Allemagne.

Le Bureau avait deux sites, à Berlin et à Munich.

Ministère de l'Éducation du peuple et de la Propagande du Reich
Le ministère de l’Éducation du peuple et de la Propagande du Reich (Reichsministerium für Volksaufklärung und Propaganda, RMVP, ou tout simplement Propagandaministerium) était un ministère du Reich allemand créé le 11 mars 1933 par le régime nazi pour Joseph Goebbels ; il avait pour mission de contrôler l’ensemble du secteur culturel et des médias et de les mettre au service de la propagande nazie. Goebbels était également depuis 1930 chargé de la propagande du parti nazi. Les locaux du ministère se trouvaient à la Wilhelmplatz en Berlin-Mitte.
Shooter Jennings
Waylon Albright « Shooter » Jennings (né le 19 mai 1979) est un artiste américain de country musique / rock sudiste. Il est le seul enfant des artistes Waylon Jennings et Jessi Colter. Son deuxième nom (Albright) vient du nom du batteur de son père Richie Albright. Son père le surnomma « Shooter » après qu'à sa naissance il urina sur une infirmière.

David Allan Coe
David Allan Coe (né le 6 septembre 1939 à Akron, Ohio) également appelé DAC, est un chanteur américain de musique country qui a acquis une certaine notoriété à la fin des années 1970 et durant les années 1980. Il a écrit et joué plus de 280 chansons tout au long de sa carrière.
Čavarine
Čavarine (en serbe cyrillique : Чаварине) est un village de Bosnie-Herzégovine. Il est situé sur le territoire de la ville d'Istočno Sarajevo, dans la municipalité de Sokolac et dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, il compte 70 habitants.

Sokolac (république serbe de Bosnie)
Sokolac (en serbe cyrillique : Соколац) est une ville et une municipalité de Bosnie-Herzégovine située sur le territoire de la ville d'Istočno Sarajevo et dans la république serbe de Bosnie. Selon les premiers résultats du recensement bosnien de 2013, la ville intra muros compte 5 919 habitants et la municipalité 12 607.
Capot (véhicule)
Le capot est un élément mobile de la carrosserie d'un véhicule automobile. Il recouvre et protège le moteur.

L'espace situé sous le capot s'appelle baie moteur ou compartiment moteur.

Le mot Capot fut utilisé pour la première fois sur La Mancelle d'Amédée Bollée en 1878.

Carrosserie
Le terme carrosserie désigne l'enveloppe rigide d'un véhicule, destinée à protéger ses occupants et les éléments mécaniques des intempéries. À l'origine il désignait une entreprise de fabrication de carrosses.
Emil Sutovsky
Emil Davidovich Sutovsky (hébreu : אמיל סוטובסקי), né le 19 septembre 1977, est un grand maître international d'échecs israélien. C'est l'un des nombreux grands maîtres nés dans la capitale de Bakou, en Union soviétique (aujourd'hui en Azerbaïdjan), comme les champions Garry Kasparov, Teimour Radjabov et Vladimir Akopian.

Il a présidé l'Association of Chess Professionnals et est actuellement directeur général de la Fédération internationale des échecs (FIDE).

Teimour Radjabov
Teimour Radjabov (en azéri : Teymur Boris oğlu Rəcəbov), né le 12 mars 1987 à Bakou (RSS d'Azerbaïdjan, URSS), est un joueur d'échecs azerbaïdjanais. Grand maître international depuis 2001 (à quatorze ans), il a remporté la Coupe du monde d'échecs 2019.
RootkitRevealer
RootkitRevealer était un programme publié par SysInternals (en) (qui a rejoint Microsoft.com) permettant de détecter si le système Microsoft Windows n'a pas été compromis par un rootkit.

Il détecte les rootkits qui essaient de se cacher aux fonctions Windows de parcours d'un système de fichiers (resp. de la base de registre), en comparant le résultat d'un scan du système fait avec les appels système Windows aux données écrites au plus bas niveau possible, à savoir les données brutes du disque dur (resp. de la base de registre).

Base de registre
La base de registre (BDR) est une base de données utilisée par le système d'exploitation Windows. Elle contient les données de configuration du système d'exploitation et des autres logiciels installés désirant s'en servir. Depuis 1998, Microsoft utilise plutôt le terme Registre Windows pour parler de cette base de données.

Le plus souvent, les utilisateurs modifient la base de registre de façon transparente, via une interface graphique. Il existe des cas où aucune interface graphique n'est prévue : il est alors nécessaire d'utiliser l'outil Regedit, mais dans ce cas, il n'y a pas de garde-fou, le logiciel ne vérifie aucun des paramètres modifiés par l'utilisateur, qui peut donc endommager le système.
Bubble Pond Bridge
Le Bubble Pond Bridge est un pont en arc américain sur l'île des Monts Déserts, dans le comté de Hancock, dans le Maine. Construit en 1928, il est protégé au sein du parc national d'Acadia. C'est en outre une propriété contributrice au district historique dit « Carriage Paths, Bridges and Gatehouses », lequel est inscrit au Registre national des lieux historiques depuis le 14 novembre 1979.

Parc national d'Acadia
Le parc national d'Acadia (Acadia National Park) préserve une grande partie de l'île des Monts Déserts, et les îles associées au large de la côte atlantique du Maine. La zone inclut des montagnes, la côte et des lacs.
Bogdanki (Grande-Pologne)
Bogdanki (prononciation : [bɔɡˈdanki]) est un village polonais de la gmina de Poniec dans le powiat de Gostyń de la voïvodie de Grande-Pologne dans le centre-ouest de la Pologne.

Il se situe à environ 12 kilomètres au nord-est de Poniec (siège de la gmina), à 10 kilomètres à l'ouest de Gostyń (siège du powiat) et à 62 kilomètres au sud de Poznań (capitale régionale).

Le village possédait une population de 167 habitants en 2014.

Poniec (ville)
Poniec (prononciation : [ˈpɔɲet͡s], en allemand : Punitz) est une ville de la voïvodie de Grande-Pologne et du powiat de Gostyń.

Elle est située à environ 20 kilomètres au sud-ouest de Gostyń, siège du powiat, et à 72 kilomètres au sud de Poznań, capitale de la voïvodie de Grande-Pologne.
Elle est le siège administratif de la gmina de Poniec.

Elle s'étend sur 3,48 km2.
Jacques Rouchouse
Jacques Rouchouse, né le 13 avril 1946 à Lyon et mort le 4 septembre 2024 à Avignon, est un essayiste et critique musical français.

Producteur de nombreuses émissions musicales radiophoniques, il est un des plus ardents promoteurs de l'opérette en France, notamment par ses écrits plusieurs fois primés (Grand prix de littérature musicale de l'Académie Charles-Cros en 1995).

Société des gens de lettres
La Société des gens de lettres (SGDL) est une association française de promotion du droit et de défense des intérêts des auteurs. Elle a été fondée à Paris le 31 décembre 1837, sur une idée de Louis Desnoyers, soutenue par Honoré de Balzac et un comité d'écrivains. C'est une association privée reconnue comme établissement d'utilité publique par décret en date du 10 décembre 1891.

Son siège est situé, depuis 1928, à l'hôtel de Massa à Paris.
Nikolaï Ozerov
Nikolaï Nikolaïevitch Ozerov (en russe : Никола́й Никола́евич О́зеров), né le 11 décembre 1922 à Moscou et mort le 2 juin 1997 dans la même ville, est un ancien joueur de tennis, animateur et commentateur sportif soviétique. Décoré de l'ordre olympique d'argent en 1992, il est introduit dans le temple de la renommée du hockey russe en 2014 et dans le temple de la renommée de l'IIHF en 2016.

Commentateur sportif
Un commentateur sportif est la personne qui assure le commentaire et l'explication d'une rencontre sportive, à la radio ou plus couramment à la télévision.

Lors de retransmissions sportives, un commentateur émet des commentaires sur  un match en cours ou un événement en temps réel, généralement pendant une émission présentée en direct.
Les commentaires prennent la forme d’une voix off. Dans le cas d’un événement sportif retransmis à la  télévision, le commentateur n’apparaît que très rarement à l’écran. 
Souvent, le commentateur principal, appelé ‘commentateur play-by-play’, est assisté par un consultant, et parfois d’un correspondant sur le terrain.

Aux États-Unis, le commentateur sportif endosse plusieurs fonctions : il peut être à la fois  présentateur, animateur, ou bien sportif professionnel. 
En Grande-Bretagne, le présentateur d'une émission sportive est habituellement distinct du commentateur, et il est souvent basé dans un studio de télévision hors du lieu de l’événement.
Critérium international 2015
La 84e édition du Critérium international a eu lieu du 28 au 29 mars 2015. La course fait partie du calendrier UCI Europe Tour 2015 en catégorie 2.HC.

Elle a été remportée par le Français Jean-Christophe Péraud (AG2R La Mondiale), vainqueur de la troisième étape, qui s'impose respectivement de dix et dix-huit secondes devant son compatriote Thibaut Pinot (FDJ) et l'Italien Fabio Felline (Trek Factory Racing).

Felline gagne le classement par points, son compatriote Marco Canola (UnitedHealthcare) celui de la montagne, Pinot finit meilleur jeune tandis que la formation française AG2R La Mondiale remporte le classement par équipes.

Critérium international de la route
Le Critérium international de la route est une course cycliste française créée en 1932 et supprimée après l'édition 2016. Elle était disputée le dernier week-end du mois de mars. De 2001 à 2009, elle s'est déroulée à Charleville-Mézières, dans les Ardennes. De 2010 à 2016, elle a eu lieu autour de Porto-Vecchio, en Corse.
Saison 2010-2011 du Football Club de Grenoble rugby
Cette page présente le récit de la saison 2010-2011 du Football club de Grenoble rugby en Pro D2. Classé 6e la saison précédente et éliminé de la course à la qualification à la faveur des points-terrains dans les confrontations avec la Section paloise, le club ambitionne, par l'intermédiaire de son président et de son directeur sportif, une place dans les trois premiers du championnat à l'issue de cet exercice,.

Lyon olympique universitaire rugby
Le Lyon olympique universitaire rugby, couramment abrégé en LOU rugby, est la section de rugby à XV du club omnisports du Lyon olympique universitaire. La section a été fondée sous le nom de Racing Club de Lyon en 1896 puis du Lyon olympique en 1901, et devient le Lyon olympique universitaire en 1910.

L'équipe masculine, créé en 1896, est notamment double champion de France (1932 et 1933). Après plusieurs allers-retours entre le Top 14 et la Pro D2 au début des années 2010, le LOU rugby évolue depuis la saison 2016-2017 en Top 14. Au niveau européen, il remporte le Challenge européen en 2022.

Le club comprend également une équipe féminine depuis 2008, qui évolue depuis 2019 en Élite 1.

Le club LOU Rugby est composé de l’association LOU Rugby, chargée du sport amateur  et de la société anonyme sportive professionnelle (SASP) LOU Rugby, qui gère l’activité de sport professionnel et le centre de formation des joueurs.
Wadi Tiwi
Le Wadi Tiwi est un wadi – un oued dans la terminologie locale – issu du Hajar oriental et débouchant dans le golfe d'Oman à la hauteur de Tiwi, la localité du même nom, entre Qurayyat et Sour.

Comme le Wadi Shab qui lui est parallèle un peu plus au nord, il fait partie de la région Ash Sharqiyah.

C'est une destination de randonnée très populaire. La portion située entre les villages d'Umq Bīr et de Mibam est aussi un parcours - long et engagé - très apprécié par les pratiquants de canyonisme.

Sour (Oman)
Sour (ou Ṣūr ; en arabe : صور ) est une ville portuaire du nord-est du sultanat d'Oman.

Situé sur le golfe d'Oman, Sour hérite d'un passé tourné vers la mer (pêche, construction de boutres, commerce maritime...)