hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Règle de remplacement
En logique, une règle de remplacement,, est une règle d'inférence appliquée à une portion d'une expression. Un système logique peut être construit à l'aide d'axiomes, de règles d'inférences — parfois, les deux — en utilisant des formules logiques. On distingue une règle d'inférence d'une règle de remplacement en ce que la première s'applique sur toute une formule logique, tandis que la seconde ne s'applique que sur une portion de celle-ci. Les règles de remplacement sont utilisées en calcul des propositions pour manipuler des énoncés.

On compte, parmi les règles de remplacement, les lois de De Morgan, la commutativité, l'associativité, la distributivité, la double négation, la transposition, les lois de l'implication matérielle, les tautologies, etc.

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.
Maurice Allem
Maurice Allem, de son vrai nom Marie Maurice Abel Léon Allemand, né le 5 septembre 1872 à Montagnac et mort le 1er septembre 1959 à Paris (5e), est un philologue, romaniste, historien de la littérature, autobiographe et bibliographe français. Il est un spécialiste de la littérature française du XIXe siècle.

Bibliographie
Une bibliographie (provenant du grec ancien biblion, « livre », et graphein, « écrire ») est une liste structurée de références de documents écrits. Elle est établie généralement pour signaler un ensemble de sources qui évoquent un sujet donné ou qui ont été utilisées comme supports intellectuels pour écrire sur un sujet donné,,,.

La bibliographie est aussi « la discipline concernant la recherche, le signalement, la description et le classement des textes imprimés ou multigraphiés dans le but de constituer des répertoires de livres destinés à faciliter la recherche intellectuelle ».

Le mot bibliographie désigne donc à la fois un objet, sa mise en œuvre et son étude.

Une bibliographie se différencie d'un inventaire et d'un catalogue, en particulier des catalogues de bibliothèques destinés non pas à identifier des publications mais à les repérer et surtout en localiser des exemplaires dans une ou plusieurs bibliothèques.
Harry Veitch
Sir Harry James Veitch (né le 24 juin 1840 à Exeter et mort le 6 juillet 1924 à Slough) est un éminent horticulteur anglais du XIXe siècle à la tête de la pépinière familiale, James Veitch & Sons, basée à Chelsea, à Londres.

Il joue un rôle déterminant dans la création de l'exposition florale de Chelsea, ce qui lui a valu d'être fait chevalier pour ses services à l'horticulture.

Exposition florale de Chelsea
L'Exposition florale de Chelsea (en anglais : Chelsea Flower Show) est une exposition horticole qui est organisée chaque année en mai pendant cinq jours par la Royal Horticultural Society dans l'enceinte de l'hôpital royal de Chelsea dans le quartier de Chelsea à Londres (Angleterre). C'est la manifestation la plus célèbre du genre au Royaume-Uni et peut-être dans le monde.

Cette manifestation dure près d'une semaine pendant laquelle sont remis des prix récompensant les jardins exposés.

Le jury est très exigeant : il note à la fois la créativité du jardin, l'innovation qu'il apporte, mais aussi la qualité des plantes qui le composent. Remporter un prix à Chelsea est donc aussi prestigieux pour le paysagiste que pour son sponsor ou l'entreprise qui réalise le jardin.
Rien à cacher
Rien à cacher est un magazine télévisé d'information français produit par AB Groupe puis ST Productions, société de production de Stéphane Tapie, animé par Bernard Tapie et diffusé chaque dimanche de 19 h 45 à 20 h 40 sur RTL9 d'octobre 2000 à août 2002.

RTL9
RTL9, initialement Télé-Luxembourg lancée en 1955 puis RTL Télévision en 1982, est une chaîne de télévision semi-généraliste, commerciale et privée luxembourgeoise, émettant principalement en direction des téléspectateurs français et luxembourgeois. Sa programmation propose une sélection de films quotidiens, de séries et des émissions de divertissement pour tous publics. Elle est retransmise dans différentes offres et bouquets de télévision. Depuis l'année 2017, la chaîne fait partie des chaînes de la société Mediawan, via sa filiale Mediawan Thematics.

En 2023, sa programmation évolue avec, notamment, la diffusion de séries en journée. Cette nouvelle programmation s'accompagne d'une nouvelle identité graphique, mise à l'antenne à partir du 29 mai 2023, affichant notamment le nouveau logo de la chaîne, remplaçant celui introduit en 2011. Cette nouvelle identité entend donner à RTL9, une image en convergence avec l'univers cinématographique et plus moderne.
Paris en selle
Paris en selle est une association d'intérêt général qui vise à développer l'usage du vélo comme mode de déplacement dans l'agglomération parisienne et à améliorer les conditions de circulation à vélo.

Paris en selle est membre de la Fédération française des usagers de la bicyclette et fait partie des principaux acteurs du militantisme pro-vélo à Paris.

Unité urbaine de Paris
L'unité urbaine de Paris est selon l'Insee l'ensemble des communes ayant une continuité de bâti autour de la Ville de Paris. Cette unité urbaine, ou agglomération dans le langage courant, regroupe 11 013 774 habitants en 2023 sur une superficie de 2 824,2 km2.

La plus peuplée de l'Union européenne et de l'Europe de l'Ouest, elle est aussi la deuxième agglomération d'Europe en population derrière Moscou.
Élections régionales de 1964 en Basse-Autriche
Les Élections régionales de 1964 en Basse-Autriche (Landtagswahl in Niederösterreich 1964) se sont tenues en Autriche dans le land de Basse-Autriche, le 25 octobre 1964.

Portail de la politique

Portail des années 1960

Portail de l'Autriche

Basse-Autriche
La Basse-Autriche (en allemand : Niederösterreich) est le plus étendu des États fédérés d'Autriche et le deuxième plus peuplé après celui de Vienne. Elle partage des frontières avec la Slovaquie, la Tchéquie et les États fédéraux de Haute-Autriche, de Styrie, du Burgenland et de Vienne qu'elle entoure complètement (et dont elle a été séparée en 1922). Après le sondage d'électorat en 1986, Sankt Pölten est devenu la capitale de l'État de Basse-Autriche.
Religion en Hongrie
La Hongrie (~ 10 000 000 Hongrois en 2020, hors diasporas) est traditionnellement un pays catholique romain avec une minorité protestante. Avant la Seconde Guerre mondiale, environ 5 % de la population (725 000 personnes) était de religion juive.

Église réformée de Hongrie
L'Église réformée de Hongrie (hongrois : Magyarországi Református Egyház) est l'Église regroupant les protestants calvinistes de Hongrie. En nombre de fidèles, c'est la deuxième église du pays après l'Église catholique hongroise, comptant 15,9 % de la population selon le recensement de 2001. Elle est particulièrement représentée dans l'est du pays et a la particularité pour une église calviniste d'avoir à sa tête des évêques chargés d'administrer les quatre arrondissements ecclésiastiques.
Privé de sens
Privé de sens est un jeu télévisé québécois diffusé à partir du 5 septembre 2011 du lundi au vendredi à 17 heures (HE) à la Télévision de Radio-Canada. Il est conçu notamment par l'humoriste Jean-Michel Anctil et animé par Normand Brathwaite.

Heure de l'Est
Heure de l'Est.

L'heure de l'Est (HE, en anglais : Eastern Time Zone, ET) est un fuseau horaire couvrant la côte est de l'Amérique du Nord, ainsi que la côte ouest de l'Amérique du Sud.

Cela concerne le Québec, l'Ontario ou l'État de New York entre autres.
Ihar Kuzmyanok
Ihar Andreïevitch Kuzmyanok (biélorusse : Ігар Андрэевіч Кузьмянок), né le 6 juillet 1990 à Jlobine à l'époque en RSS biélorusse et aujourd'hui en Biélorussie, est un joueur de football biélorusse, qui évolue au poste de défenseur.

Jlobine
Jlobine (en biélorusse : Жло́бін, en lacinka : Žlobin ; en russe : Жло́бин ; en polonais : Żłobin) est une ville de la voblast de Homiel, en Biélorussie, et le centre administratif du raïon de Jlobine. Sa population s'élevait à 76 068 habitants en 2017.
Parookaville
Parookaville est un festival d'EDM organisé annuellement pendant 3 jours pendant la mi-juillet à l'aéroport de Weeze, en Allemagne. Avec un total de 225 000 visiteurs en 2023,, il fait partie des plus grands festivals d'Allemagne et d'Europe. Parookaville est connu pour son concept de spectacle, dans lequel le festival est mis en scène comme une ville à part entière.

Weeze
Weeze est une commune de Rhénanie-du-Nord-Westphalie (Allemagne), située dans l'arrondissement de Clèves, dans le district de Düsseldorf.

Elle possède un aéroport sur lequel la compagnie Ryanair effectue ses liaisons à destination de Düsseldorf.
Mazda Active2 Surf
La Mazda Active2 Surf est un concept car du constructeur automobile Japonais Mazda, présenté au salon de Los Angeles en 2009.

Il s'agit d'une des trois variantes sportives proposées par Mazda et Mazdaspeed sur la base de sa Mazda 2 de seconde génération, les deux autres étant les Mazda 2Evil et Mazda Active2 Snow.

Mazdaspeed
Mazdaspeed est un fournisseur de pièces automobiles de Mazda pour les courses automobiles telles que les 24 Heures du Mans et les voitures de tuning.

Ils ont connu une grande victoire historique des courses automobiles grâce à la Mazda 787B conduite par les pilotes Volker Weidler, Johnny Herbert, et Bertrand Gachot d'où le moteur est conçue par Mazdaspeed. Aux 24 Heures du Mans 1991, la Mazda 787B  numéro 55 a réalisé 362 tours en parcourant la distance de 4 922,81 km à une vitesse moyenne de 205,333 km/h.

Malgré cette courte victoire, les moteurs Wankel sont interdits aux courses hormis aux États-Unis où une Mazda RX8 a remporté les 24 heures de Daytona dans la catégorie GT.
Lepidus
Lepida, lepidum

Les mots lepidus, lepida et lepidum sont originellement trois déclinaisons (notamment le nominatif singulier masculin, féminin et neutre) d'un adjectif latin signifiant « aimable, gentil » ou « élégant, fin ».

Nominatif
En linguistique, le nominatif (abréviation : nom) est un cas grammatical exprimant la fonction syntaxique de sujet d'un verbe transitif ou intransitif, c'est-à-dire l'actant dit acteur (dans la diathèse active), ou sujet patient (dans la diathèse passive). En grammaire de l'ancien français, on le nomme cas sujet.
Kamen Rider: Dragon Knight
Kamen Rider: Dragon Knight est une série télévisée américaine de type Tokusatsu diffusée sur The CW4Kids en 2009. Elle est l'adaptation de la série japonaise Kamen Rider Ryuki, diffusée en 2002 sur TV Asahi. Avec un total de 40 épisodes, sa diffusion a été interrompue à l'épisode 38 à la suite d'audiences jugées insuffisantes.

Elle bénéficiera cependant d'une diffusion en VàD et DVD en version doublée au Japon, puisque les producteurs de Toei y sont directement impliqués. Un Special Event, comme il se fait avec Den-O et W à ce moment-là, a également eu lieu.

Tokusatsu
Le tokusatsu (特撮), contraction de tokushu satsuei (特殊撮影) qui signifie « effets spéciaux », est le nom générique de toutes les productions vidéo qui utilisent les effets spéciaux et l’esthétique liée à ces productions. L’idée de tokusatsu s’est propagée grâce au succès mondial du premier film tokusatsu, Godzilla, qui est créé en 1954 en imitant le film King Kong. Le tokusatsu devient complètement indépendant des genres de films hollywoodiens, malgré sa base qui est l’imitation du film King Kong.

Le tokusatsu est en quelque sorte "fondé" par Eiji Tsuburaya (surnommé le "père du tokusatsu"), réalisateur et responsable des effets spéciaux de ce même Godzilla.

Le succès du film Godzilla contribue à la célébrité des tokusatsu, et différents types de séries de tokusatsu sont créées par plusieurs studios. La réduction du nombre de séries tokusatsu après la prospérité dans les années 1970, ne les empêche pas d'avoir encore du succès, autant que les séries animées japonaises.
Cardiff West (circonscription du Senedd)
Cardiff West est une circonscription du Senedd dite de borough utilisée dans le cadre d’un scrutin uninominal pour les élections générales du Parlement gallois. Créée en 1999, elle appartient à la région électorale de South Wales Central.

Mark Drakeford est le membre du Senedd représentant la circonscription depuis l’élection générale de 2011. Il siège à la chambre dans le groupe du Labour, dont il est le chef depuis 2018.

Élections législatives galloises de 2011
Les élections de l'Assemblée nationale du pays de Galles de 2011 (en anglais : National Assembly for Wales election, 2011 et en gallois : Etholiad Cynulliad Cenedlaethol Cymru, 2011) se sont déroulées le 5 mai 2011. Ce sont les quatrièmes élections pour l'Assemblée nationale du pays de Galles, créée en 1999.

Le Parti travailliste remporte quatre sièges supplémentaires, ce qui lui permet d'atteindre à lui tout seul la majorité de trente sièges requise pour former un gouvernement. Le Plaid Cymru, allié aux travaillistes dans le gouvernement sortant, perd quatre sièges et n'en conserve plus que onze. C'est le Parti conservateur qui devient le premier parti d'opposition, avec quatorze sièges, soit deux de plus qu'auparavant. Enfin, les Libéraux-démocrates enregistrent une perte notable de suffrages, mais parviennent néanmoins à conserver cinq sièges à l'Assemblée, n'en perdant qu'un seul.
Jānis Dombrava
Jānis Dombrava (né le 29 juin 1988 à Riga) est un homme d'État letton et député au Saeima (Parlement). Il est le membre du conseil d’administration et le vice-président de l’Alliance nationale (Alliance nationale « Tout pour la Lettonie ! » - « Pour la patrie et la liberté/LNNK »). Ayant effectué plusieurs mandats au sein de la Saeima, il est actuellement élu à la 13e Saeima.

Saeima
La Saeima — de son nom complet : Latvijas Republikas Saeima (en français : Diète de la république de Lettonie) — est le parlement monocaméral de la république de Lettonie.

Installée à Riga dans la maison de la Noble Corporation de Livonie, elle est élue pour quatre ans au scrutin proportionnel. Elle exerce le pouvoir législatif, vote le budget, investit et contrôle le gouvernement, et élit le président de la République.
Josef Stenbäck
Josef Daniel Stenbäck, né le 2 mai 1854 à Alavus (Finlande) et mort le 27 avril 1929 Helsinki (Finlande), est un architecte et ingénieur finlandais. Il a conçu 35 églises en Finlande et en Carélie finlandaise. Les églises de Stenbäck sont de style romantique national et de style néogothique avec pour certaines des influences Art nouveau.

Carélie (province historique)
La Carélie est une ancienne province de l'Est de la Finlande, couvrant l'ouest de la Carélie au sens large. Karjala est le nom finnois et Karelen le nom suédois. La province marquait la frontière orientale du royaume de Suède lors de sa période de plus grande extension (XVIe et XVIIe siècles). Elle était bordée à l'ouest par la Savonie et l'Uusimaa, au nord par une section peu peuplée de l'Ostrobotnie, correspondant aujourd'hui à la Cajanie.
KFC Dessel Sport
Le Koninklijke Football Club Dessel Sport est un club de football belge, localisé dans la ville de Dessel. Le club porte le matricule 606 et évolue en Nationale 1 lors de la saison 2020-2021. C'est sa 52e saison consécutive dans les séries nationales. Le club est présidé par Willy Mermans et entraîné depuis 2015 par Guido Brepoels. Il dispute ses rencontres à domicile au Stade Armand Melis et ses couleurs sont le vert et le blanc.

Royal Excelsior Mouscron
Le Royal Excelsior Mouscron était un club belge de football fondé en 1922. Le club, qui évoluait dans le Championnat de Belgique de football 2009-2010, a connu de gros problèmes financiers. Le club disparait officiellement de la division 1 le 28 décembre 2009 à la suite d'un troisième forfait de l'équipe première. Ce même jour, les joueurs de l'Excelsior sont libres de tout contrat.

Le matricule 224 fut ensuite radié par l'URBSFA.

Le 11 mars 2010, après plusieurs semaines de négociations, deux conventions furent signées entre les responsables mouscronnois et les dirigeants du RRC Péruwelz. Ce club déménagea de Péruwelz vers le stade du Canonnier de Mouscron et y termina la saison 2010-2011. Il n'y eut pas fusion entre les deux matricules, celui de l'ancien Excelsior ayant été radié. Le nouveau club rebaptisé Royal Mouscron-Péruwelz, puis Royal Excel Mouscron, évolue en Division 1 depuis la saison 2014-2015.
Baerle-Duc
Baerle-Duc (prononcé [baʁl dyk] ; en néerlandais : Baarle-Hertog) est une commune néerlandophone de Belgique située en Région flamande dans la province d’Anvers et située partiellement dans la province néerlandaise du Brabant-Septentrional. Elle se caractérise par le fait unique qu’une partie de son territoire est enclavé en territoire néerlandais, enchevêtré en parcelles discontinues dans la commune néerlandaise de Baerle-Nassau (en néerlandais : Baarle-Nassau).

Baerle-Duc et la commune néerlandaise de Baerle-Nassau forment le village de Baerle (en néerlandais : Baarle). Baerle-Duc appartient également au canton judiciaire d'Arendonk (nl) et au canton électoral de Hoogstraten (nl).

Canton électoral (Belgique)
En Belgique, les cantons électoraux sont les territoires au niveau desquels s'opèrent les recensements élémentaires des votes au cours des élections (à l'exception des élections communales).

On compte en 2024 208 cantons électoraux en Belgique : 99 en Wallonie (dont 2 en région de langue allemande), 8 en Région bruxelloise et 101 en Flandre.
Jardin Vasco de Gama
Le jardin Vasco de Gama (en portugais : Jardim Vasco da Gama) est un jardin public du quartier de Belém à Lisbonne, au Portugal. Il est construit dans les années 1980 et doit son nom au célèbre navigateur portugais Vasco de Gama.

Il se trouve entre Avenida da Índia et Rua Vieira Portuense près du monastère des Hiéronymites. Le jardin s'étend sur 4,2 ha et est équipé de matériel de fitness et d'une aire de jeux pour enfants.

Dans le jardin se trouve aussi un pavillon thaïlandais offert au Portugal par l'État thaïlandais en reconnaissance des 500 ans de relations entre les deux pays. Il est inauguré en 2012 par la princesse Maha Sirindhorn.

La pavillon thaïlandais

Terrain de jeux
Un terrain ou une aire de jeux est un espace regroupant un ou plusieurs jeux pour enfants comme des toboggans, tourniquets, tape-culs, balançoires, maisonnette de jeu ou bac à sable et des agrès de loisirs comme la cage à poules ou la tornade (agrès), intégrés ou pas au sein d'un portique de jeu généralement situés au sein de jardins publics, écoles, crèches, etc.
Université Alexandru-Ioan-Cuza de Iași
L'université Alexandru-Ioan-Cuza de Iași (en roumain : Universitatea « Alexandru Ioan Cuza » din Iași) est une université publique située à Iași, en Roumanie. Ouverte en 1860, elle fut la première institution de ce type dans les principautés danubiennes.

Le campus de Iași est situé dans la partie nord de la ville, sur la colline de Copou. Le bâtiment principal de l'université a été construit en 1896 et a été agrandi dans les années 1930.

L'université participe aux échanges universitaires européens du Réseau d'Utrecht et du Groupe de Coimbra.

Groupe de Coimbra
Le Groupe de Coimbra, plus rarement Groupe de Coïmbre, (en portugais Grupo Coimbra) rassemble les meilleures universités multidisciplinaires européennes. Il s'agit d'un réseau universitaire fondé en 1985, l'année du 700e anniversaire de l'université de Coimbra, l'une des plus anciennes et des plus réputées d'Europe.

Ce groupe a pour but de réunir et de promouvoir l'excellence des universités européennes, en vue d'en pérenniser le haut niveau d'enseignement, recherche et mobilité académique sur le plan international, tout en créant des liens culturels particuliers.
Astérix et la Potion magique (jeu vidéo)
Astérix et la Potion magique est un jeu vidéo d'aventure développé par Coktel Vision et publié par Vifi Nathan, sorti en 1986 sur Amstrad CPC 464, PC 1512, Thomson TO7, MO5 et DOS. Il est adapté de l'album de bande dessinée Astérix le Gaulois, premier tome de la série Astérix,,.

Amstrad PC-1512
L'Amstrad PC-1512 fut le premier modèle d'ordinateur personnel de la firme britannique Amstrad tournant sous MS-DOS.

Ce modèle, diffusé à partir de 1986, remporta un vif succès commercial, car il contribua, grâce à un rapport qualité/prix nettement compétitif, à populariser l'accès des ordinateurs semi-professionnels au grand public. En France, ce compatible PC a été le premier à être vendu à moins de 10 000 F, écran compris, quand la moyenne de ses concurrents était supérieure à 20 000 F.

Il a été suivi par l'Amstrad PC-1640 qui reprenait les mêmes caractéristiques, avec une mémoire vive étendue à 640 Kio (au lieu de 512 Kio) et une interface graphique au standard EGA ou Hercules (noir et blanc haute définition).
Alexandru Ier Aldea
Alexandru Ier Aldea est prince de Valachie de 1431 à 1436.

Fils illégitime de Mircea Ier l'Ancien, il succède à Dan II de Valachie en 1431 avec l'appui des Moldaves et meurt vraisemblablement de maladie après le 25 juin 1436, date de la dernière charte qu'il a signé.

Il conclut des alliances avec Sigismond de Hongrie et le prince Alexandre le Bon de Moldavie et refuse de payer tribut aux Ottomans. Ceux-ci lancent une expédition et prennent les forteresses de Giurgiu et de Turnu sur le Danube. Aldea doit se rendre à Andrinople pour conclure une alliance avec Murat II. Il s’engage à payer le tribut et à laisser le passage aux armées ottomanes. Il laisse de nombreux otages et obtient la liberté de 3000 prisonniers.

Giurgiu
Giurgiu ou San Giorgio (en bulgare Гюргево (Giurgevo)) est une ville du sud de la Roumanie et le chef-lieu du județ de Giurgiu, appelé autrefois Vlașca. Sa population s'élevait à 61 353 habitants en 2011.

Giurgiu est bâtie sur la rive gauche du Danube, face à la ville bulgare de Roussé. Les deux villes sont reliées depuis 1954 par un pont routier et ferroviaire, qui est aussi le principal point de passage entre les deux pays.
Théorème de Dirichlet
En mathématiques, plusieurs théorèmes portent le nom du mathématicien allemand Johann Peter Gustav Lejeune Dirichlet :

le théorème des unités de Dirichlet décrit la structure du groupe des unités d'un corps de nombres ;

le théorème d'approximation de Dirichlet fournit des approximations diophantiennes ;

le théorème de la progression arithmétique, aussi appelé théorème de la progression arithmétique de Dirichlet : pour tous entiers naturels non nuls a et b premiers entre eux, il existe une infinité de nombres premiers de la forme a + n b, où n > 0 ;

le théorème de convergence de Dirichlet pour les séries de Fourier, qui porte parfois également le nom de théorème de Jordan-Dirichlet. Il donne des conditions suffisantes pour qu'une fonction périodique soit la somme de sa série de Fourier.

Théorème de la progression arithmétique
En mathématiques, et plus précisément en théorie des nombres, le théorème de la progression arithmétique, s'énonce de la façon suivante :

Pour tout entier n non nul et tout entier m premier avec n, il existe une infinité de nombres premiers congrus à m modulo n (c'est-à-dire de la forme m + an avec a entier).

Ce théorème est une généralisation du théorème d'Euclide sur les nombres premiers. Sa première démonstration, due au mathématicien allemand Gustav Lejeune Dirichlet en 1838, fait appel aux résultats de l'arithmétique modulaire et à ceux de la théorie analytique des nombres. La première démonstration « élémentaire » est due à Atle Selberg en 1949.