hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Méthode des tableaux
En théorie de la démonstration, les tableaux sémantiques sont une méthode de résolution du problème de la décision pour le calcul des propositions et les logiques apparentées, ainsi qu'une méthode de preuve pour la logique du premier ordre. La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques. C'est la méthode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut inventée par le logicien hollandais Evert Willem Beth.

Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts. Il est considéré comme la forme moderne de la logique stoïcienne.
BMW X7
La BMW X7 est un SUV haut de gamme produit par le constructeur automobile allemand BMW, présenté au salon de Los Angeles en novembre 2018 pour une commercialisation en mars 2019. Il est le cousin technique du Rolls-Royce Cullinan présenté la même année.

Rolls-Royce Cullinan
Le Rolls-Royce Cullinan est une automobile du constructeur automobile britannique Rolls-Royce, filiale du groupe allemand BMW. Elle est le premier SUV et le premier modèle à transmission intégrale de la marque.
Hannah Mitchell
Hannah Mitchell, née Hannah Maria Webster (11 février 1872, Hope Woodlands - 22 octobre 1956, Newton Heath), est une suffragette britannique et militante socialiste.

Née dans une famille d'agriculteurs pauvres du Derbyshire, Hannah Maria Webster quitte la maison familiale très jeune pour travailler comme couturière à Bolton, où elle s'implique dans le mouvement socialiste. Elle travaille pendant de nombreuses années dans des organisations liées au socialisme, au suffrage des femmes et au pacifisme. Après la Première Guerre mondiale, elle est élue au conseil municipal de Manchester. Elle officie un temps comme magistrate avant de travailler pour le dirigeant du parti travailliste, Keir Hardie.

Derbyshire
Le Derbyshire /dɑːbɪʃə(ɹ)/ est un comté rattaché à la région des Midlands de l'Est, en Angleterre. Réputé pour ses paysages attrayants, il comprend la plus grande partie du parc national de Peak District, la chaîne des Pennines dans sa partie nord et une partie de la forêt nationale. Alors que 13 villes dépassent les 10 000 habitants, il existe une grande quantité de terres agricoles peu peuplées : 75 % de la population habite 25 % du territoire. Bien que le Derbyshire soit rattaché au Midlands de l'Est, certaines zones, comme le district de High Peak, sont dans l'aire d'influence de Manchester et Sheffield, en Angleterre du Nord.

Le gouvernement local est organisé à deux niveaux : le County Council basé à Matlock et huit District Councils. Avant 1998, le comté administratif incluait la ville de Derby. Derby est maintenant une autorité unitaire, bien que la ville garde son statut de capitale à titre cérémonial.
Wilhelm Emmanuel von Ketteler
Wilhelm Emmanuel von Ketteler, né le 25 décembre 1811 à Münster (département de Lippe) et mort le 13 juillet 1877 à Burghausen, évêque de Mayence, est un théologien et homme politique (Zentrum) allemand. Il développera les grands thèmes du christianisme social et sera surnommé l'Évêque social.

Zentrum
La Deutsche Zentrumspartei (en abrégé Zentrum, « Centre ») est un des principaux partis politiques de l'Empire allemand puis de la république de Weimar. Fondé en 1870 et initialement dissous le 5 juillet 1933, il représente les idées des catholiques, minoritaires en Allemagne. Le parti est refondé après la Seconde Guerre mondiale mais est marginalisé rapidement par la CDU qui devient le principal parti de la démocratie chrétienne en Allemagne.
YAML
YAML, acronyme de Yet Another Markup Language dans sa version 1.0, devenu l'acronyme récursif de YAML Ain't Markup Language (« YAML n’est pas un langage de balisage ») dans sa version 1.1, est un format de représentation de données par sérialisation Unicode. Il reprend des concepts d'autres langages comme XML, ou encore du format de message électronique tel que documenté par RFC 2822. YAML a été proposé par Clark Evans en 2001, et implémenté par ses soins ainsi que par Brian Ingerson et Oren Ben-Kiki.

Son objectif est de représenter des informations plus élaborées que le simple CSV en gardant cependant une lisibilité presque comparable.

En 2015, Symfony 2, Drupal 8 et phpMyAdmin, entre autres, l'utilisent pour leurs formats d'entrée et de sortie.

Comma-separated values
Comma-separated values, connu sous le sigle CSV, est un format texte ouvert représentant des données tabulaires sous forme de valeurs séparées par des virgules. Ce format n'a jamais vraiment fait l'objet d'une spécification formelle. Toutefois, la RFC 4180 décrit la forme la plus courante et établit son type MIME « text/csv », enregistré auprès de l'IANA.

Un fichier CSV est un fichier texte, par opposition aux formats dits « binaires ». Chaque ligne du texte correspond à une ligne du tableau et les virgules correspondent aux séparations entre les colonnes. Les portions de texte séparées par une virgule correspondent ainsi aux contenus des cellules du tableau. Une ligne est une suite ordonnée de caractères terminée par un caractère de fin de ligne (line break – LF ou CRLF), la dernière ligne pouvant en être exemptée.
Lower Harbor Keys
Les Lower Harbor Keys sont des îles des Keys, archipel des États-Unis d'Amérique situé dans l'océan Atlantique au sud de la péninsule de Floride. Elles sont situées dans les Lower Keys et relèvent du comté de Monroe.

Lower Keys
Les Lower Keys constituent un archipel américain du golfe du Mexique situé dans le sud de la Floride. Partie du comté de Monroe accueillant son siège, Key West, cet archipel relève de celui des Keys, qui comprend également les Middle Keys et les Upper Keys, plus au nord.
Louis de Chapt de La Corne, l'aîné
Louis de Chapt de La Corne (15 mai 1696 - 2 avril 1762) était un militaire de la Marine royale française et un seigneur de Terrebonne. Il a participé dans les guerres des Renards et il est à l'origine de l'augmentation de Lacorne, qui préfigurera la future municipalité de Sainte-Sophie.

Guerres des Renards
Les guerres des Renards sont deux conflits entre les Mesquakies (appelés Renards par les Français) et les Français de Nouvelle-France et leurs alliés amérindiens dans la région des Grands Lacs entre 1712 et 1737. Le premier conflit commence en 1712 et se conclut par une paix en 1716, puis la guerre revient en 1728 pour se finir militairement en 1733.
Jean Panno
Jean Panno, né le 21 juillet 1932 à Chenières et mort le 26 juin 1991 à Sainte-Bazeille, est un joueur de rugby à XIII qui devient par la suite directeur technique de l'équipe de France de rugby à XIII.

Il effectue sa carrière sportive à Villeneuve-sur-Lot avec lequel il remporte plusieurs titres de Championnat de France (1959 et 1964) et Coupe de France (1958 et 1964) en compagnie d'Antoine Jimenez, Jean-Pierre Clar, Christian Sabatié, Angélo Boldini et Jacques Merquey.

Fort de ses performances en club, il est un joueur régulier de l'équipe de France entre 1959 et 1965 et des succès contre l'Australie ou la Grande-Bretagne.

Après sa carrière sportive, il devient dirigeant au sein du club de Tonneins puis directeur technique de l'équipe de France de rugby à XIII.

Coupe de France de rugby à XIII 1957-1958
La Coupe de France de rugby à XIII 1957-1958 est la 20e édition de la Coupe de France, compétition à élimination directe mettant aux prises des clubs de rugby à XIII amateurs et professionnels affiliés à la Fédération française de jeu à XIII (aujourd'hui Fédération française de rugby à XIII).
Coupe Memorial 2005
L'édition 2005 de la Coupe Memorial est présenté du 21 au 29 mai 2005 à London, Ontario. Elle regroupe les champions de chacune des divisions de la Ligue canadienne de hockey, soit la Ligue de hockey junior majeur du Québec (LHJMQ), la Ligue de hockey de l'Ontario (LHO) et la Ligue de hockey de l'Ouest (LHOu).

Ligue de hockey junior Maritimes Québec
La Ligue de hockey junior Maritimes Québec (LHJMQ) (anciennement, Ligue de hockey junior majeur du Québec), en anglais Quebec Maritimes Junior Hockey League (QMJHL), est l'une des trois ligues junior majeur qui constituent la Ligue canadienne de hockey (LCH). Elle inclut des équipes des provinces du Québec, de l'Île-du-Prince-Édouard, du Nouveau-Brunswick,de la Nouvelle-Écosse et de Terre-Neuve-et-Labrador, et avait auparavant des équipes dans le Maine et à New York aux États-Unis.
Gare de Saint-Christophe
La gare de Saint-Christophe, anciennement gare de Saint-Christophe - Marcillac, est une gare ferroviaire française de la ligne de Capdenac à Rodez, située sur le territoire de la commune de Saint-Christophe-Vallon dans le département de l'Aveyron, en région Occitanie.

Elle est mise en service en 1858 par la Compagnie du chemin de fer de Paris à Orléans (PO). C'est une halte la Société nationale des chemins de fer français (SNCF), desservie par des trains des réseaux Intercités de nuit et TER Occitanie.

TER Occitanie
Le TER Occitanie, ou liO Train (nom commercial utilisé aujourd'hui), est le réseau de lignes TER qui couvre la région administrative Occitanie, autorité organisatrice de transports depuis le 1er juillet 2017. Ce réseau est le résultat de la fusion des anciens réseaux TER Midi-Pyrénées et TER Languedoc-Roussillon propres aux anciennes régions.

550 trains circulent chaque jour sur 30 lignes ferroviaires, empruntant 2 636 km de voies et desservant 281 gares et points d'arrêt. 63 000 personnes voyagent quotidiennement sur le réseau en 2021.
Abdullah the Butcher
Lawrence Robert Shreve (né le 11 janvier 1941 à Windsor, Ontario) plus connu sous le nom de Abdullah The Butcher, est un catcheur (lutteur professionnel) canadien. Il est principalement connu pour son travail à l'All Japan Pro Wrestling où il popularise le catch hardcore au Japon. En 2011, il est intronisé au Hall of Fame de la World Wrestling Entertainment.

Windsor (Ontario)
Windsor (/ˈwɪn.zɚ/) est une municipalité séparée du sud-ouest de l'Ontario, au Canada. Située à l'extrême sud du pays, elle est limitrophe de Détroit, aux États-Unis.

Le recensement de 2021 y a dénombré 229 660 habitants. Les Franco-Ontariens, qui sont présents dans la région depuis l'installation de premiers colons français au XVIIIe siècle, constituent encore une minorité importante de la population.
Raïon de Ponyri
Le raïon de Ponyri (en russe : Поныровский райо́н, Ponyrovski raïon) est un raïon de l'oblast de Koursk en Russie européenne. Son centre administratif est le village de Ponyri, et sa population s'élevait à 10 893 habitants en 2021.

Oblast de Koursk
L'oblast de Koursk (en russe : Ку́рская о́бласть, Kourskaïa oblast) est un sujet fédéral de Russie (oblast). Sa capitale administrative est la ville de Koursk. Il est frontalier de l'oblast de Soumy en Ukraine.

À partir d'août 2024, une partie de ce territoire est occupée par l'armée ukrainienne.
Branche Ouest de la rivière Gounamitz
La Branche Ouest de la rivière Gounamitz est un affluent de la Rivière Gounamitz laquelle constitue à son tour un affluent de la tête de la rivière Ristigouche. Ces plans d'eau coulent dans le Nord-Ouest du Nouveau-Brunswick, au Canada.

Le cours de la « Branche Ouest de la rivière Gounamitz » traverse successivement:

le comté de Restigouche: paroisse de Saint-Quentin;

le comté de Madawaska: paroisse de Rivière-Verte.

Une route forestière longe la rive Nord de la partie inférieure de la rivière.

Paroisse de Rivière-Verte
La paroisse de Rivière-Verte est à la fois une paroisse civile et un ancien district de services locaux (DSL) canadien du comté de Madawaska, au nord-ouest du Nouveau-Brunswick. Dans le cadre de la réforme de la gouvernance locale du 1er janvier 2023, une partie du DSL a été fusionné à la nouvelle ville de Vallée-des-Rivières, et une autre au district rural du Nord-Ouest.
James Bentley (rugby à XIII)
James Bentley , né le 19 octobre 1996 à Leeds (Angleterre), est un joueur de rugby à XIII anglais d'origine irlandaise évoluant au poste de deuxième ligne, troisième ligne ou talonneur dans les années 2010 et 2020. Il fait ses débuts professionnels avec Bradford en 2017 où il est formé. Il rejoint en 2018 St Helens et y remporte à deux reprises la Super League en 2019 et 2020. Il est prêté au cours de la saison 2019 à Leigh.

Ce joueur a la réputation d'être un excellent plaqueur ; ainsi lors de la finale de la Super League en 2020, il réalise près de 70 plaquages,.

Ayant des origines irlandaises, il dispute quelques rencontres internationales avec la sélection d'Irlande.

Saison 2019 de la Super League
La Saison 2019 de la Super League (connu pour des raisons de partenariats comme la Betfred Super League XXIV) est la vingt-quatrième saison de cette compétition depuis que celle-ci a été créée en 1996. Douze équipes joueront 23 journées de championnat (phase régulière), les cinq meilleures d'entre elles seront qualifiées pour la phase finale composée de quatre tours, à savoir le premier tour, le second tour, les demi-finales et la grande finale pour pouvoir gagner le trophée de la Super League. le dernier est relégué en Championship. La finale a lieu à Old Trafford à Manchester.
Écriture wisigothique
L'écriture wisigothique est une écriture apparue dans l'Espagne du haut Moyen Âge, un espace dominé par l'ancien royaume wisigoth mais passé sous l'autorité de l'empire arabo-islamique après la conquête omeyyade au début du VIIIe siècle. Elle est en particulier utilisée, à partir du VIIIe siècle, par les populations des royaumes chrétiens du nord de l'Espagne et par les populations mozarabes d'Al-Andalus – elle est d'ailleurs également désignée comme l'écriture mozarabe (en latin médiéval : littera mozarabica) ou encore comme l'écriture tolédane (en latin médiéval : littera toletana).

Elle est issue, comme l'écriture mérovingienne qui est utilisée dans les royaumes francs mérovingiens et carolingiens aux VIIe et VIIIe siècles, des écritures romaines – et particulièrement de  la cursive, de l'onciale et de la semi-onciale romaines. Elle connaît plusieurs variations au cours des siècles et reste en usage jusqu'au XIIe siècle.

Écriture mérovingienne
L'écriture mérovingienne, ou minuscule mérovingienne, est une écriture pré-caroline qui était utilisée dans le royaume franc aux VIIe et VIIIe siècles, sous la dynastie des Mérovingiens. Elle est issue des écritures romaines et a connu de nombreuses variations de par la situation géographique du royaume franc et la multiplication des ateliers monastiques et épiscopaux. Elle sera utilisée dans les documents et codex mérovingiens, puis carolingiens, jusqu'aux réformes de Charlemagne à la fin du VIIIe siècle.
Shellac
Shellac (quelquefois dénommé Shellac of North America) est un groupe de rock indépendant américain, originaire de Chicago, dans l'Illinois formé de Steve Albini (guitare et voix), Bob Weston (basse et voix) et Todd Trainer (batterie et voix). On les classe souvent dans le noise rock et le math rock mais eux-mêmes se décrivent comme un « trio de rock minimaliste ».

Le son de Shellac reste dans la continuité des formations précédentes d'Albini, avec des textures sonores volontairement « hostiles », et une attitude intransigeante, notamment au niveau de la publicité autour du groupe, qui reste pratiquement inexistante.

Math rock
Le math rock est un genre musical de rock expérimental et de rock indépendant caractérisé par une complexité rythmique et un enchaînement de riffs et mélodies, souvent dissonants ayant émergé à la fin des années 1980, influencé par des groupes de rock progressif comme King Crimson et de musique minimaliste comme Steve Reich. Il se caractérise par des signatures rythmiques atypiques, une composition en contrepoint et l'utilisation d'accord augmentés.

Ce style peut être rapproché dans une certaine mesure du post-rock, dans lequel sont habituellement classés certains groupes de math rock, bien que le premier puisse être différencié par un jeu de batterie généralement plus influencé par le jazz.
The Five O'Clock Girl (film)
The Five O'Clock Girl est un film américain réalisé par Robert Z. Leonard, tourné en 1928.

Il s'agit de l'adaptation de la comédie musicale américaine The Five O'Clock Girl produite à Broadway, avec un livret de Guy Bolton et Fred Thompson, sur une musique de Harry Ruby, dont la  première représentation a eu lieu au 44th Street Theatre à New York le 10 octobre 1927.

Le film — avec les interprètes de la comédie musicale, Marion Davies et Joel McCrea, dans les rôles principaux — n'est jamais sorti en salles, parce que le producteur William Randolph Hearst avait décidé qu'il n'était pas satisfait du résultat.

Guy Bolton
Guy Reginald Bolton (23 novembre 1884 à Broxbourne – 4 septembre 1979 à Londres) est un dramaturge anglo-américain, auteur de comédies musicales. Il a notamment écrit sour le nom de Stephen Powys : pseudonyme de sa quatrième épouse Virginia de Lanty (1906-1979), scénariste.
John Hallam (acteur)
John Hallam est un acteur britannique né le 28 octobre 1941 à Lisburn (Irlande du Nord) et mort le 14 novembre 2006 à Clifton (en) (Oxfordshire).

John Hallam commence sa carrière cinématographique en 1967 dans Much Ado About Nothing, il a aussi joué dans La Guerre de Murphy en 1971, Nicolas et Alexandra en 1971, Flash Gordon en 1980 ou Robin des Bois, prince des voleurs en 1991.

Flash Gordon
Flash Gordon est un comic strip américain de science-fiction créé le 7 janvier 1934 par Alex Raymond pour King Features Syndicate. Comptant parmi les pionniers du genre science-fiction, il est aussi connu en France sous le nom de Guy l'Éclair.

Flash Gordon est un héros qui est apparu avant l'âge d'or des comics et dont les aventures ont toujours été publiées depuis.
Fosse no 6 des mines de Marles
La fosse no 6 de la Compagnie des mines de Marles est un ancien charbonnage du Bassin minier du Nord-Pas-de-Calais, situé à Calonne-Ricouart. Le puits d'aérage est commencé le 9 avril 1902 et la fosse est mise en fonction en septembre 1908, date à laquelle est commencé le puits no 6 de la fosse no 6 bis - 6 ter (le puits no 6 ter est commencé douze ans plus tard), pour une mise en exploitation en 1912. Des cités sont construites au nord et à l'est de la fosse no 6, et une chapelle (par la suite démolie) à l'ouest.

La Compagnie des mines de Marles est nationalisée en 1946, et intègre le Groupe d'Auchel. Les fosses nos 6 bis - 6 ter et 6 sont concentrées en 1961 sur la fosse no 2 bis - 2 ter sise à Marles-les-Mines, et cette première cesse d'extraire. Le puits no 6 est remblayé en 1966. Ses installations sont ensuite détruites, et le carreau de fosse devient un stade.

Au début du XXIe siècle, Charbonnages de France matérialise la tête de puits no 6.

Calonne-Ricouart
Calonne-Ricouart est une commune française située dans le département du Pas-de-Calais en région Hauts-de-France. Ses habitants sont appelés les Calonnois. La commune est membre de la communauté d'agglomération de Béthune-Bruay, Artois-Lys Romane.

La commune de Calonne-Ricouart (nom porté depuis 1801) est située dans le sud-est du département du Pas-de-Calais et traversée par la Clarence. Commune du bassin minier du Nord-Pas-de-Calais, elle se trouve à 12 km, à vol d'oiseau, au sud-ouest de la commune de Béthune. C’est une commune de type ceinture urbaine, appartenant à l’unité urbaine de Béthune, avec une population de 5 369 habitants au dernier recensement de 2023, elle a connu un pic de population en 1926 avec 12 936 habitants.

À la suite de la Première Guerre mondiale, la commune est décorée de la croix de guerre 1914-1918.
Francesca Bellettini
Francesca Bellettini, née le 18 avril 1970, est une dirigeante d'entreprise italienne. Elle est la présidente-directrice générale de l'entreprise Yves Saint Laurent entre 2013 et 2023 puis directrice générale de Gucci à partir de 2025.

Gucci
Gucci est une maison italienne spécialisée dans la mode et le luxe dont le siège est situé à Florence en Italie. Gucci crée des collections de sacs-à-main, de prêt-à-porter, de chaussures, d'accessoires (montres et joaillerie), de produits cosmétiques, de parfums, et de produits de décoration d'intérieur.

Guccio Gucci fonde la boutique Gucci, spécialisée dans la maroquinerie haut-de-gamme, à Florence en 1921. Il développe avec ses trois fils une marque de luxe qui connaît une envolée internationale à partir des années 1950. Le groupe PPR (devenu Kering en 2013) devient propriétaire de Gucci en 1999, et en fait le socle de développement de son nouveau pôle luxe.

Francesca Bellettini est directrice générale depuis septembre 2025 et Demna Gvasalia sera à la direction artistique des collections prêt-à-porter de la maison à partir de juillet 2025. En 2024, Gucci enregistre un chiffre d'affaires de 7,7 milliards d'euros.
Warhammer: Mark of Chaos
Warhammer: Mark of Chaos est un jeu de tactique en temps réel développé par Black Hole Entertainment, publié par Namco Bandai le 14 novembre 2006 aux États-Unis et le 24 novembre 2006 en France. Il se base sur le jeu de figurines Warhammer et peut être joué en solo ou en multijoueur,.

Bandai Namco Entertainment
Bandai Namco Entertainment Inc. (BNEI) (株式会社バンダイナムコエンターテインメント, Kabushiki gaisha Bandai Namuko Entāteinmento) est une entreprise japonaise, créée le 31 mars 2006, qui établit son domaine d'activité dans le secteur du développement et de la commercialisation de jeux vidéo d'arcade et de salon, ainsi que sur téléphones portables,,.

Originellement nommée Namco Bandai Games en occident, la société est renommée Bandai Namco Games en janvier 2014. Le 1er avril 2015, Bandai Namco Holdings renomme le département de jeux en Bandai Namco Entertainment.
Élection gouvernorale de 2022 dans l'État de l'Acre
Une élection gouvernorale a lieu le 2 octobre 2022 dans l'État de l'Acre au Brésil, afin d'élire le gouverneur de l'État pour un mandat de 4 ans. Cette élection a lieu en même temps que l'élection présidentielle et les élections parlementaires.

Le gouverneur sortant, Gladson Cameli (PP), soutenu par Jair Bolsonaro, est réélu dès le premier tour avec 56,75% des suffrages, face au sénateur Jorge Viana (PT).

Élections parlementaires brésiliennes de 2022
Les élections parlementaires brésiliennes de 2022 ont lieu le 2 octobre 2022 afin de renouveler les 513 sièges de la Chambre des députés ainsi qu'un tiers des 81 sièges du Sénat composant le Congrès national du Brésil. Les élections du président de la République et des chambres et gouverneurs des États ont lieu le même jour.

Le Parti libéral du président de la République sortant Jair Bolsonaro progresse nettement et devient le premier parti à la Chambre des députés, avec près de 20 % des sièges. La coalition Brésil de l'espoir menée par le Parti des travailleurs de Luiz Inácio Lula da Silva  progresse également, arrivant deuxième avec 16 % des sièges.
Gare de Ferdrupt
La gare de Ferdrupt était une gare ferroviaire française de la ligne d'Épinal à Bussang, située sur le territoire de la commune de Ferdrupt, dans le département des Vosges en région Lorraine.

La commune est desservie par un service de cars TER Lorraine (Ligne 8).

Gare de Remiremont
La gare de Remiremont  est une gare ferroviaire française de la ligne d'Épinal à Bussang, située sur le territoire de la commune de Remiremont, dans le département des Vosges, en région Grand Est.

Elle est mise en service en 1864, par la Compagnie des chemins de fer de l'Est, et devient une gare terminus en 1989, après la fermeture de la section de Remiremont à Bussang.

C'est une gare de la Société nationale des chemins de fer français (SNCF), desservie par le TGV et des trains TER Grand Est.