hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Élimination de la conjonction
En calcul des propositions, l'élimination de la conjonction (aussi appelé élimination du et, élimination du ∧, ou simplification),, est une inférence immédiate[Quoi ?] valide, sous forme d'argument et de règle d'inférence qui rend la conclusion selon laquelle, si la conjonction A et B est vrai, alors A est vrai et B est vrai.[pas clair] La règle permet de raccourcir les démonstrations en dérivant l'un des conjontifs[Quoi ?] d'une conjonction sur une ligne[Quoi ?] par lui-même.

La règle est composée de deux sous-règles[Quoi ?] distinctes, qui peuvent être exprimées en langage formel[Comment ?]:

et

Les deux sous-règles signifient en même temps que, chaque fois qu'une instance "" apparaît sur une ligne[Quoi ?] d'une démonstration, soit "", soit "" peut être placé sur une ligne subséquente[Quoi ?] par lui-même[Qui ?].

Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels.

Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées. Un langage formel est souvent défini par une grammaire formelle, telle que les grammaires algébriques et analysé par des automates.
Gare de Forchies-la-Marche
La gare de Forchies-la-Marche est une ancienne gare ferroviaire belge de la ligne 112A, de Piéton à Roux située dans l'ancienne commune de Forchies-la-Marche, faisant maintenant partie de la commune de Fontaine-l'Évêque, dans la province de Hainaut en Région wallonne.

Fontaine-l'Évêque
Fontaine-l’Évêque (en wallon Fontinne-l’-Eveke) est une ville francophone de Belgique située en Région wallonne dans la province de Hainaut, entre Charleroi et Binche, région connue pour son riche folklore.
Chimère
Chimere

Le mot Chimère est issu, via le latin Chĭmæra, du grec Χίμαιρα / Khímaira, qui désigne originellement une jeune chèvre ayant passé un hiver (χεῖμα / kheîma). Comme le mot latin (et aussi le mot grec), il désigne en français, initialement, un animal fabuleux de la mythologie grecque.

Pris métaphoriquement, chimère est un nom commun, employé dans des contextes variés.

Les Filles du feu
Les Filles du feu est un recueil de nouvelles et de poèmes écrits par Gérard de Nerval qui est paru en janvier 1854, alors que Nerval est interné dans la clinique du docteur Émile Blanche à Passy. Il se compose d’une dédicace à Alexandre Dumas, de huit nouvelles (Angélique, Sylvie, Chansons et légendes du Valois, Jemmy, Octavie, Isis, Corilla, Emilie) et d'un ensemble de douze sonnets (Les Chimères).
Bain d'huile
En laboratoire de chimie, un bain d'huile est un équipement commun fabriqué à partir d'un récipient rempli d'huile. Il est utilisé pour fournir un chauffage uniforme pour un autre conteneur tel qu'un réacteur dans lequel se déroule une réaction chimique.

Laboratoire de chimie
Un laboratoire de chimie est un local équipé de divers instruments de mesure où sont réalisées des expériences, des synthèses de composés chimiques (synthèses organiques ou inorganiques), des analyses chimiques ou biologiques et des mesures physiques. C'est un cas particulier de laboratoire de recherche. Jusqu'au XIXe siècle, le terme de laboratoire ne concerne que l'alchimie puis la chimie.
Bataille de Goose Green
La bataille de Goose Green (28–29 mai 1982) — connue en espagnol sous le nom de batalla de Pradera del Ganso — est un combat entre les forces argentines et britanniques pendant la guerre des Malouines. Goose Green et l'établissement de Darwin (en) situé non loin de là sur l'île de Malouine orientale sont situées sur le détroit de Choiseul à l'est de l'isthme central de l'île reliant la partie nord à Lafonia. Ces deux villages sont situés à environ 21 km au sud du site où un important débarquement britannique a lieu dans San Carlos Water (opération Sutton) dans la nuit du 21 au 22 mai 1982.

Détroit de Choiseul
Le détroit de Choiseul (en anglais : Choiseul Sound, en espagnol : seno Choiseul) est un fjord des îles Malouines. Il est situé parallèlement au passage Eagle (en) entre Lafonia (au sud) et la partie nord de Malouine orientale. L'île Lively est située à son embouchure. Sur la rive nord du détroit, se trouve la zone humide de Bertha's Beach Important Bird Area, classée site Ramsar.

Le détroit a été nommé par Louis-Antoine de Bougainville d'après le Premier ministre de Louis XV, Étienne-François de Choiseul.
Concert exceptionnel aux Francofolies de La Rochelle
Concert exceptionnel aux Francofolies de la Rochelle est à la fois un album live (le 2d) et un DVD (le 1er) du groupe folk français Malicorne, sortis le 7 mars 2011.

Il s'agit de l'enregistrement du concert exceptionnel de reformation du groupe (dans sa formation « classique ») donné le 15 juillet 2010 dans le cadre des Francofolies de La Rochelle.

Francofolies
Francofolies (Les Francos) est un festival de musique francophone créé en 1985 à La Rochelle en Charente-Maritime par Jean-Louis Foulquier, soutenu par Michel Crépeau.

Ce festival de musique a lieu tous les ans durant cinq jours au mois de juillet à La Rochelle et repose sur une programmation essentiellement francophone. Environ 150 000 festivaliers se réunissent dans la ville pour assister à différents concerts qui se déroulent à la fois sur la Grande scène Jean Louis Foulquier, dans la salle de concert de La Sirène ou encore dans les salles de La Coursive.

Depuis plusieurs années, le festival a développé différents programmes gratuits[source secondaire souhaitée] comme Les Folles Rencontres (J'ai la mémoire qui chante , Les Folies Littéraires, Les Conférences Citoyennes, Les Balades Chantées, Les Dictées Chansons, Les Rencontres Métier, les expositions)
Cathédrale de Karlstad
La cathédrale de Karlstad (Karlstads domkyrka) est une cathédrale située sur l'île de Tingvallaön, en plein centre de Karlstad, dans le Värmland en Suède. C'est le siège de l'évêché de Karlstad.

Elle fut construite entre 1723 et 1730, à la suite de l'incendie de la cathédrale précédente, elle-même construite après l'incendie en 1616 de la précédente église du XIIIe siècle. Elle fut construite initialement dans un style baroque, mais après l'incendie de la ville en 1865, qui affecta en partie la cathédrale, elle fut restaurée dans un style plus néoclassique.

Comté de Värmland
Le comté de Värmland (Värmlands Län en suédois) est un comté suédois situé au centre-ouest du pays. Il est voisin des comtés de Dalécarlie, Örebro et Västra Götaland. Il partage également une frontière avec les comtés norvégiens d’Østfold, Akershus et Hedmark.
Juge puîné de la Cour suprême du Canada
Les juges puînés siègent sur le banc de la Cour suprême du Canada. Ce titre est conféré aux huit juges de cette Cour qui n'occupent pas la fonction de juge en chef. Lors de leur nomination les juges puînés doivent prêter le même serment d'office et se voient octroyer le titre « honorable » pour la durée de leur mandat.

Ils sont assujettis aux mêmes règles que le juge en chef du Canada quant à la durée de leur mandat comme juge à la Cour suprême.

La Loi sur la Cour suprême oblige le gouvernement fédéral à s'assurer qu'en tout temps, trois des neuf juges de la Cour proviennent du Québec. Cette obligation vise à assurer qu'une partie de la Cour provienne de la seule province de droit civil au Canada.

Droit romano-civiliste
Common law

Droit romano-civiliste

Droit coutumier

Droit musulman

Bijuridisme (droit romano-civiliste et common law)

Le droit romano-civiliste, appelé aussi droit romano-germanique (ou droit civil, uniquement au Québec) ou encore droit continental, est un système juridique, qui trouve son origine dans le droit romain, en vigueur dans les États qui admettent que le droit écrit issu de l'expression législative constitue la principale source du droit. Il est souvent opposé au système de common law, dont le cadre intellectuel provient historiquement de la jurisprudence non codifiée créée par les juges, et qui donne une autorité de précédent aux décisions judiciaires antérieures.
Destin brisé : Toni Braxton, une chanteuse sacrifiée
Destin brisé : Toni Braxton, une chanteuse sacrifiée (Toni Braxton: Unbreak My Heart) est un téléfilm biographique américain réalisé par Vondie Curtis-Hall, produit par Lifetime et diffusé le 23 janvier 2016 sur la chaine Lifetime.

Il obtient une première diffusion française le 11 juillet 2017 sur TF1.

11 juillet
Le 11 juillet est le 192e jour de l'année du calendrier grégorien, 193e lorsqu'elle est bissextile, il en reste ensuite 173.

Son équivalent était généralement le 23 messidor du calendrier républicain / révolutionnaire français, officiellement dénommé jour du haricot.
John Comyn (comte d'Angus)
John Comyn, comte d'Angus de jure uxoris, (mort en 1242) est un fils de William Comyn, seigneur de Badenoch futur comte de Buchan il devient Comte d'Angus, jure uxoris c'est-à-dire du droit de son épouse Matilda, fille et héritière de Máel Coluim comte d'Angus.

Comte de Buchan
Comte de Buchan est un titre dans la pairie d'Écosse. Le titre de comte de Buchan fait suite à celui de mormaer de Buchan, qui était donné au seigneur de la province médiévale de Buchan. Ce titre, ainsi que celui de comte de Mar, est lié à une ancienne province picte. Ces deux provinces appartiennent de nos jours à l'Aberdeenshire.

À partir des donations enregistrées dans le « Book of Deer » on peut reconstituer la liste des premiers mormaer de Buchan dont la trace est conservée. Le titre de comte passe ensuite par mariage à la famille Comyn.
Stephanitis typica
Stephanitis typica (punaise du bananier) est une espèce d'insectes hémiptères de la famille des Tingidae, originaire du Sud-Est asiatique. Cette espèce de punaise est un ravageur du bananier et du cocotier, notamment en Inde. Elle est également le vecteur d'un phytoplasme qui provoque chez les cocotiers une maladie marquée par un flétrissement et un jaunissement des feuilles.

Hemiptera
Les hémiptères (Hemiptera) sont un ordre d'insectes, de sous-classe des ptérygotes, de la section des néoptères et du super-ordre des paranéoptères.

Cet ordre comprend près de 100 000 espèces d'insectes le plus souvent suceurs de phloème, comme les cigales, pucerons, cochenilles et punaises. Son existence remonte à plus de 250 millions d'années.
Kuwait PSA Cup 2010
Le tournoi Kuwait PSA Cup 2010 est l'édition 2010  du tournoi de squash Kuwait PSA Cup qui se déroule à Koweït du 28 octobre au 2 novembre 2010. Cette édition fait partie des PSA World Series, catégorie la plus prestigieuse et la plus richement dotée.

Le tableau est composé de 32 joueurs dont huit places pour les joueurs issus des qualifications. Les huit meilleurs joueurs sont têtes de série. Abdullah Al Muzayen reçoit une wildcard pour le tableau principal.

Ramy Ashour l'emporte en finale face à Amr Shabana.

Abdullah Al Muzayen
Abdullah Al Muzayen, né le 8 février 1988 à Koweït, est un joueur professionnel de squash représentant le Koweït. Il atteint le 33e rang mondial en mai 2013, son meilleur classement. Il est médaille d'or aux Jeux asiatiques de 2014.
John Papworth
John Papworth (12 décembre 1921 - 4 juillet 2020) est un ecclésiastique, écrivain et militant britannique. Tout au long de sa vie, il a milité pour les causes de l'antimilitarisme, du localisme et de l'écologisme. Il a fondé le magazine Resurgence et a écrit dans de nombreuses autres revues.

En 1997, ses opinions controversées sur le vol à l'étalage dans les supermarchés attirent l’attention des médias.

Antimilitarisme
L'antimilitarisme est une idéologie qui s'oppose au militarisme, dans ses dimensions hiérarchiques et autoritaires, mais aussi bellicistes et nationalistes.

Antiautoritaires et internationalistes, les antimilitaristes se distinguent des pacifistes par le fait qu'ils ne s'opposent pas tous, par principe, au conflit armé (notamment dans le cadre de l'auto-défense sociale) mais à l'utilisation de l'institution militaire par l'État face à d'éventuels ennemis étrangers, à la nature aliénante de cette institution pour les individus et surtout au fait qu'elle garantisse un ordre social inégalitaire à l'intérieur du territoire national (l'« ennemi intérieur »).

Un exemple historique illustre cette position : en Espagne, lors de la révolution sociale de 1936 les milices confédérales anarcho-syndicalistes qui combattent par les armes les franquistes refusent la militarisation des milices par la Seconde République espagnole.
Friedrich Schorlemmer
Friedrich Schorlemmer, né le 16 mai 1944 à Wittenberge et mort le 8 septembre 2024 à Berlin, est un théologien protestant allemand. Membre éminent du mouvement des droits civiques en République démocratique allemande, il a poursuivi son engagement politique après la réunification allemande en 1990.

Opposition et résistance en RDA
L'opposition et la résistance en RDA désignent l'ensemble des différents mouvements, pour des raisons politiques ou religieuses, contre la dictature du Parti socialiste unifié d'Allemagne (SED) en République démocratique allemande.

Les militants des droits de l'homme ou des droits civiques sont principalement pour une réforme du système politique et subissent une surveillance, la "décomposition", et une oppression, comme l'emprisonnement et la perte de citoyenneté prononcée par le ministère de la Sécurité d'État. Il existe aussi une opposition ecclésiastique, qui disparait rapidement après la réunification.
8e régiment de transmissions
Le 8e régiment de transmissions est un régiment interarmées de l'Armée française dont la portion centrale est située à Suresnes, à la forteresse du Mont-Valérien, dans les Hauts-de-Seine. Le 1er août 2014, il fusionne avec la DIRISI d'Île-de-France. En 2025, il est rattaché au nouveau Commissariat au numérique de défense (CND) — qui succède à la DIRISI —, dont il devient l'une des directions d'appui au numérique zonale (DANZ).

Bataille d'Ypres (1915)
La deuxième bataille d'Ypres est une bataille de la Première Guerre mondiale opposant la IVe armée allemande aux troupes alliées britanniques, belges et françaises du 22 avril au 25 mai 1915. Cette bataille est la seconde tentative allemande pour prendre le contrôle de la ville flamande d'Ypres en Belgique, après celle de l'automne 1914. C'est lors de ces combats que l'armée allemande utilise pour la première fois des gaz de combat toxiques à grande échelle sur le front de l'Ouest.
La Dernière
La Dernière est une émission radiophonique satirique française diffusée depuis le 8 septembre 2024 sur Radio Nova tous les dimanches de 18 h à 20 h. Elle est présentée par Guillaume Meurice, accompagné de Juliette Arnaud, Pierre-Emmanuel Barré et Aymeric Lompret,.

Mathilde Larrère
Mathilde Larrère, née à Paris le 19 octobre 1970, est une historienne et femme politique française.

Elle est spécialiste des mouvements révolutionnaires et du maintien de l’ordre en France au XIXe siècle.

Engagée politiquement et proche de la gauche radicale, elle refuse la notion de neutralité historique et met en avant une vision politisée de l'Histoire.
Noyau (traitement d'image)
En traitement d'images, un noyau, une matrice de convolution ou un masque est une petite matrice utilisée pour le floutage, l'amélioration de la netteté de l'image, le gaufrage, la détection de contours, et d'autres. Tout cela est accompli en faisant une convolution entre le noyau et l'image.

Image numérique
L'appellation d'image numérique désigne toute image (dessin, icône, photographie…) acquise, créée, traitée et stockée sous forme binaire :

acquise par des convertisseurs analogique-numérique situés dans des dispositifs comme les scanners, les appareils photo ou les caméscopes numériques, les cartes d’acquisition vidéo (qui numérisent directement une source comme la télévision)

créée directement par des programmes informatiques, grâce à une souris, des tablettes graphiques ou par de la modélisation tridimensionnelle (ce que l’on appelle, par abus de langage, les « images de synthèse ») ;

traitée grâce à des outils graphiques, de façon à la transformer, à en modifier la taille, les couleurs, d’y ajouter ou d'en supprimer des éléments, d’y appliquer des filtres variés, etc.

stockée sur un support informatique (clé USB, SSD, disque dur, CD-ROM…).
Real Brothas
Real Brothas est un album collaboratif de B.G. Knocc Out et Dresta, sorti le 15 août 1995.

L'album s'est classé 4e au Heatseekers, 15e au Top R&B/Hip-Hop Albums et 128e au Billboard 200.

Les titres Jealousy et D.P.G/K ont été écrits en réponse aux attaques du groupe Tha Dogg Pound et 50/50 Luv en hommage à Eazy-E décédé le 25 mars 1995.

Travail collaboratif
Un travail collaboratif est un travail qui n'est plus fondé sur l'organisation hiérarchisée traditionnelle, et est plus spécifiquement un mode de travail (éventuellement intégré dans un modèle économique de production) où collaborent de nombreuses personnes grâce aux technologies de l'information et de la communication, notamment les plateformes sur internet.

Les outils informatiques permettent de maximiser la créativité et l'efficience d'un groupe associé à des projets d’envergure même si elles sont très dispersées dans l'espace et le temps.

Le travail est souvent naturellement collectif et collaboratif, c'est-à-dire qu'il fait interagir plusieurs acteurs pour la réalisation de tâches qui visent à atteindre un but commun. Par exemple, le projet d'encyclopédie en ligne libre et multilingue Wikipédia est le résultat d'un travail collaboratif « en réseaux coopératifs, ».
Concerto pour violon no 1
Concerto pour violon no 1 de Béla Bartók

Concerto pour violon no 1  de Max Bruch

Concerto pour violon no 1 d'Unsuk Chin

Concerto pour violon no 1  de Dmitri Chostakovitch

Concerto pour violon no 1 de Mozart

Concerto pour violon no 1 de Niccolò Paganini

Concerto pour violon no 1 de Walter Piston

Concerto pour violon no 1 de Florence Price

Concerto pour violon no 1 de Sergueï Prokofiev

Concerto pour violon no 1 de Camille Saint-Saëns

Concerto pour violon no 1 de Karol Szymanowski

Concerto pour violon no 1 de Henryk Wieniawski

Concerto pour violon no 1 de John Williams.

Florence Price
Florence Beatrice Price, née Smith le 9 avril 1887 à Little Rock et morte le 3 juin 1953 à Chicago, est une compositrice et pédagogue américaine. Elle est la première afro-américaine à écrire et faire jouer une symphonie par les grands orchestres du pays.
Société sportive d'aviron Kaiku
La  Société Sportive Kaiku  (Sociedad Deportiva de Remo Kaiku en castillan et Kaiku Arraunaren Kirol Elkartea en basque) est un club multisports et filiale du Sestao Sport-River fondé en 1923 dans le quartier de Simondrogas, dans la localité biscaïenne de Sestao. Il doit sa renommée à sa section d'aviron, inaugurée en 1925.

La Société Sportive d'Aviron de Sestao concourt depuis 1929 avec le nom de kaiku, terme basque désignant un vêtement typique basque.

Ses couleurs sont le vert aux épaules blanches pour le maillot et noir pour le short (celles de la localité de Sestao) et sa trainière actuelle, de couleur verte également, s'appelle Bizkaitarra (signifiant Biscaïen).

Championnat d'Espagne de traînières
Le Championnat d'Espagne de traînières (traineras, en castillan) est une compétition annuelle entre des clubs classés dans des épreuves régionales propres, organisée par la Fédération espagnole d'aviron. Y concourent des bateaux de Galice, des Asturies, de la région cantabrique et du Pays basque, depuis 1944. Ce sera la première fois qu'on fêtera la victoire de l'équipage cantabre de Pedreña[Quand ?].
Disney's Riviera Resort
Le Disney's Riviera Resort est un hôtel du complexe de Walt Disney World Resort en Floride ouvert en décembre 2019.

Il est situé au nord du Disney's Caribbean Beach Resort, dont un remplace l'un des villages, entre Epcot et les studios Disney de Hollywood.

C'est le 15e Disney Vacation Club du complexe et le premier complexe hôtelier récemment construit[C'est-à-dire ?] à être desservi par le nouveau système de télécabine et Disney Skyliner,.

Disney Skyliner
Disney Skyliner est un système de transport téléporté de type télécabine. Il est situé sur le domaine de Walt Disney World Resort, en Floride, à une trentaine de kilomètres d'Orlando.

Ce système ne doit pas être confondu avec l'attraction Skyway, une autre télécabine qui existait de 1971 à 1999 dans le parc Magic Kingdom, équipée de nacelles de 4 personnes.
Messe chrismale
La messe chrismale, du grec χρῖσμα / khrīsma, « huile » ou « onction », est la cérémonie au cours de laquelle l'évêque consacre le saint chrême. Cette huile sert pour les baptêmes célébrés lors de la Vigile pascale et tout au long de l’année liturgique pour les sacrements de baptême, de confirmation, d'ordre. C'est aussi au cours de cette célébration que l'évêque bénit (et non pas consacre) l'huile qui servira pour le sacrement de l'Onction des malades (huile des malades) ainsi que l'huile des catéchumènes qui servira, en amont, pour ceux qui recevront le sacrement de Baptême au cours de la Vigile Pascale.

Baptême catholique
Le rite du baptême catholique est le premier des trois sacrements de l'initiation chrétienne, avec l'eucharistie (la communion) et la confirmation.

Pour les personnes ayant l'âge de raison (enfants et adultes), il est précédé d'une période de préparation, appelée catéchuménat, au cours de laquelle le futur baptisé, le catéchumène, approfondit la foi pour laquelle il demande le baptême.
Anaconda (Walygator Grand Est)
Anaconda est un parcours de montagnes russes en bois de Walygator Grand Est à Maizières-lès-Metz en Lorraine. Ouvertes le 9 mai 1989, elles sont construites par Spie d'après les plans de William Cobb pour le parc Big Bang Schtroumpf.

Maizières-lès-Metz
Maizières-lès-Metz est une commune française située dans le département de la Moselle et le pays messin en Lorraine. Elle est chef-lieu de canton et appartient à l'arrondissement de Metz.

Depuis le 1er janvier 2016, elle fait partie de la région administrative Grand Est.

Les habitants sont appelés Maizièrois et Maizièroises.
Groupe compact de Hickson 94
Le groupe compact de Hickson 94 comprend sept galaxies situées dans la constellation de Pégase. La distance moyenne entre ce groupe et la Voie lactée est de 178,8 ± 12,6 Mpc (∼583 millions d'al) où incertitude est égale à la moyenne des incertitudes. Si on considère les incertitudes des distances des galaxies, le groupe compact de Hickson 94 pourrait fort bien fomer un groupe réel de galaxies, ce qui n'est pas le cas pour tous les groupes par Paul Hickson dans son article publié en 1982.

Paul Hickson
Paul Hickson, né en 1950, est un astronome britannico-canadien.

Il a obtenu son Bachelor of Science en 1971 et son doctorat au California Institute of Technology en 1976,. Il est devenu assistant de recherche (boursier de recherche universitaire du CRSNG en 1980), professeur adjoint en 1984, professeur agrégé en 1988 et professeur de physique et d'astronomie à l'Université de la Colombie-Britannique à Vancouver, au Canada, depuis 1996.

En 1982, Hickson a publié une liste de 100 petits groupes de galaxies relativement isolés, qui sont maintenant appelés Groupe compact de Hickson. Les membres de cette liste sont indiqués par HCG + un numéro séquentiel, par exemple HCG 23 (de). Il travaille en astronomie extragalactique et au développement d'instrument astronomiques.

Hickson est membre de la Royal Astronomical Society depuis 1998.