hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Computer Aided Verification
La conférence Computer Aided Verification (abrégé en CAV) est un congrès scientifique annuel sur la théorie et la pratique de l'analyse formelle assistée par ordinateur de logiciels et matériels. C'est une des conférences les mieux classées en informatique,.

Plusieurs articles historiques sur les techniques de  vérification de modèles ont été présentés à CAV, tels que « Counterexample-Guided Abstraction Refinement » et des méthodes de réduction par ordre partiel comme « A Stubborn Attack On State Explosion »,.

Vérification de modèles
En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire].
Zubair Ali Zai
Zubair Ali Zai (en ourdou : زبیر علی زئی), né le 25 juin 1957 à Hazro et mort le 10 novembre 2013 à Rawalpindi était un prédicateur, un théologien, un érudit islamique, un muhaddith et un ancien de la marine marchande du Pakistan,,.

Rawalpindi
Rawalpindi (en ourdou et pendjabi : راولپنڈی) est une ville de la province du Pendjab au Pakistan. Avec 3,4 millions d'habitants en 2023, elle est la quatrième ville du pays après Karachi, Lahore et Faisalabad. Elle fut capitale nationale de 1959 à 1967, en attendant la construction d'Islamabad, située à une quinzaine de kilomètres au nord-est. Elle est également la capitale du district de Rawalpindi.

Le quartier général de l'armée pakistanaise est situé à Rawalpindi. La ville possède plusieurs universités prestigieuses et sa population est la deuxième plus éduquée du pays après celle d'Islamabad.
Opel Rekord A
L'Opel Rekord A est un modèle d'automobile d'Adam Opel AG de Rüsselsheim am Main, qui appartient à l'époque au groupe automobile américain General Motors (GM). Elle est mise en vente en mars 1963 pour succéder à l'Opel Rekord P2. Avec ce modèle, Opel introduit également la dénomination interne des modèles de tous types fabriqués ultérieurement en utilisant des lettres par ordre alphabétique.

Selon les sources, elle est classée dans la catégorie grande routière ou dans la catégorie familiale routière.

Opel Rekord P2
L'Opel Rekord P2 est un modèle de voiture lancé par Opel en août 1960 en tant que successeur de l'Opel Olympia Rekord P (qui est ensuite appelée Rekord P1 avec l'apparition de la P2). Une innovation est la version coupée, qui est d'abord construite en externe, puis en interne.

Selon la source littéraire, elle est classée dans la catégorie grande routière ou dans la catégorie familiale routière.
Nouveau cimetière militaire de Fricourt
Le nouveau cimetière militaire de Fricourt (Fricourt New Military Cemetery) est un cimetière militaire de la Première Guerre mondiale, situé sur le territoire de la commune de Fricourt, dans le département de la Somme, au nord-est d'Amiens.

Cimetière militaire
Un cimetière militaire est un lieu où sont inhumés les soldats morts lors d'une guerre, on y rencontre aussi parfois des tombes de civils. Généralement implantés sur ou à proximité des champs de bataille, les cimetières militaires sont créés et gérés par l'armée, une administration publique, une agence ou association publique ou privée. Les tombes sont des sépultures de guerre, ordinairement d'une apparence uniforme, matérialisées par une stèle ou une croix. Les cimetières militaires comportent les tombes individuelles, des tombes communes, un ou des ossuaires parfois un mur des disparus où sont inscrits le nom des personnes dont le corps n'a pas été retrouvé.
Nanesse
Nanesse ou, vernaculairement, Nanèsse, ce qui correspond en français au prénom « Agnès », est un personnage de fiction issu du folklore liégeois représenté, depuis le XIXe siècle, par une marionnette à tringle et, depuis 1995, par un géant.

Marionnette à tringle
Une marionnette à tringle est un type de marionnette dont la manipulation se fait au moyen de tringles rigides positionnées au-dessus du personnage. Parfois, les membres peuvent être contrôlés par des tiges plus fines ou par des fils.

La manipulation est surplombante : comme pour une marionnette à fil, la main du manipulateur est située au-dessus de la figurine.
Chymotrypsine C
La chymotrypsine C (EC 3.4.21.2) est une protéase à sérine, c'est-à-dire une endopeptidase dont la triade catalytique contient un résidu de sérine, qui catalyse l'hydrolyse des liaisons peptidiques du côté carboxyle de résidus de leucine, de tyrosine, de phénylalanine, de méthionine, de tryptophane, de glutamine ou d'asparagine. Chez l'homme, elle est codée par le gène CTRC, situé sur le chromosome 1.

Cette enzyme se forme à partir du chymotrypsinogène C (porc) ou à partir de la sous-unité II de la procarboxypeptidase A (bœuf). À l'inverse de la chymotrypsine, elle réagit avec le Tos–Leu–CH2Cl et le Tos–Phe–CH2Cl (composés dérivés de la leucine ou de la phénylalanine par estérification à l'acide para-toluènesulfonique).

Phénylalanine
La phénylalanine (abréviations IUPAC-IUBMB : Phe et F) est un acide α-aminé dont l'énantiomère L est l'un des 22 acides aminés protéinogènes, et l'un des 9 acides aminés essentiels pour l'Homme. Elle est encodée sur les ARN messagers par les codons UUU et UUC. Elle est caractérisée par un groupe phényle, ce qui en fait un résidu apolaire aromatique, dont le cycle benzénique lui confère un spectre d'absorption particulier dans l'U.V, autour de 260 nm de longueur d'onde.

L'action de la phénylalanine-hydroxylase la transforme en un autre acide aminé, la tyrosine.

La phénylalanine est un précurseur de la dopamine, de la noradrénaline, de l'adrénaline et de la mélanine. L'aspartame en dérive également.
Président du Népal
Le président du Népal est, depuis 2008, le titre du chef de l'État népalais.

Élu au scrutin indirect par un collège électoral composé des membres des deux chambres du parlement fédéral et de ceux des sept assemblées provinciales, la durée de son mandat est de cinq ans, renouvelable une seule fois de manière consécutive. Garant de la constitution, son rôle est essentiellement représentatif.

Scrutin indirect
Le scrutin indirect est un système d'élection dans lequel les électeurs ne choisissent pas eux-mêmes la ou les personnes qu'ils souhaitent voir élues, mais élisent des personnes qui font ce choix. Ce mode de scrutin très ancien reste utilisé dans les démocraties modernes pour l'élection de nombreuses chambres hautes et de présidents.
G'doumont
G'doumont orthographié aussi  G'doûmont ou encore Gdoumont est un hameau de la commune et ville belge de Malmedy située en Région wallonne dans la province de Liège.

Avant la fusion des communes de 1977, G'doumont faisait partie de la commune de Bévercé

Bévercé
Bévercé (en wallon Bévurcé, en allemand Wywertz) est une section de la ville belge de Malmedy, située en Région wallonne dans la province de Liège. C'était une commune à part entière avant la fusion des communes de 1977.
Michelle Parkerson
Michelle Parkerson, née le 11 janvier 1953 à Washington DC, est une cinéaste et universitaire américaine. Elle a été professeure adjointe de cinéma et d'arts médiatiques à l'Université Temple et est cinéaste indépendante depuis les années 1980, se concentrant particulièrement sur le militantisme politique et les enjeux féministes et LGBTQ.

Université Temple
L'université Temple (en anglais: Temple University, souvent abrégé Temple) est une université américaine basée à Philadelphie en Pennsylvanie.

Fondée en 1884 par Russell Conwell , elle compte aujourd’hui plus de 33 000 étudiants ainsi que 370 000 alumni dans le monde entier.

L’université comprend 17 facultés qui dispensent des enseignements en médecine, ingénierie, commerce, arts, sciences humaines, et communication, entre autres. C’est aussi une université de recherche  à l'activité de recherche très intense, dépensant plus de 292 millions de dollars pour la recherche en 2022.

Temple compte 18 équipes de sports universitaires jouant en Division I au niveau national. On les surnomme les Temple Owls.

Si son campus principal est à Philadelphie aux États-Unis, l’université a aussi des antennes à Rome en Italie ainsi qu’à Tokyo et Kyoto au Japon.
Léonard (série télévisée d'animation)
Léonard est une série télévisée d'animation 3D française en 78 épisodes de 8 minutes, adaptée de la bande dessinée homonyme de Bob de Groot et Turk et diffusée à partir du 25 décembre 2009 sur Canal J puis rediffusée sur Gulli.

Gulli
Gulli est une chaîne de télévision généraliste nationale française gratuite financée par la publicité, axée sur les programmes pour enfants destinés aux 3 à 14 ans, créée le 18 novembre 2005, conjointement par le groupe public France Télévisions et le groupe privé Lagardère Active. La chaîne est rachetée par Lagardère en 2014, jusqu'en 2019 où le groupe M6 en prend le contrôle, lui-même propriété du groupe allemand RTL group. La chaîne est retransmise sur la TNT et sur les offres câble, satellite et IPTV.

La programmation de la chaîne cible la jeunesse ainsi que la famille, certains de ces horaires ciblent les enfants comme le matin, mais d'autres visent un public plus large tel que la case première partie de soirée (appelé Gulli Prime) ciblant les 25-49 ans,,.
Paris-Nice 1990
Paris-Nice 1990 est la 48e édition de Paris-Nice. La course cycliste s’est déroulée du  4 au 11 mars 1990. La course est remportée par l'Espagnol Miguel Indurain de l'équipe Banesto devant Stephen Roche (Histor-Sigma) et Luc Leblanc (Castorama).

Équipe cycliste Castorama
L'équipe cycliste Castorama est une équipe cycliste française qui a existé de 1990 à 1995. Elle portait le nom de son principal sponsor, l'entreprise Castorama. Dirigée par Cyrille Guimard, elle succédait à l'équipe Super U. À sa création, elle est emmenée par Laurent Fignon, qui occupe la première place du classement FICP à la fin de l'année 1989. Elle occupe la quatrième place du classement FICP par équipes au début de l'année 1990.

En 1992, Jacky Durand remporte le Tour des Flandres. L'équipe gagne le championnat de France trois années consécutives : en 1992 avec Luc Leblanc et en 1993 et 1994 avec Jacky Durand. Lors du Tour de France 1995, Durand gagne le prologue, grâce à la pluie qui a défavorisé les favoris. Il porte le maillot jaune pendant deux jours.

L'équipe disparaît à la fin de l'année 1995, avec la fin de l'engagement de Castorama et l'échec de la recherche d'un nouveau sponsor.
Classique de Wuxi de snooker 2013
Le Classique de Wuxi de snooker 2013 est un tournoi de snooker comptant pour le classement de la saison 2013-14. Il s'est déroulé du 17 au 23 juin au Wuxi City Sports Park Stadium de la ville chinoise de Wuxi.

Neil Robertson s'impose en finale face à John Higgins par 10 manches à 7.

Wuxi
Wuxi (chinois simplifié : 无锡 ; chinois traditionnel : 無錫 ; pinyin : Wúxī ; anciennes transcriptions : Wu-hsi, Wuhsi, ou Wusih ; litt. « sans étain ») est une vieille ville industrielle de la province du Jiangsu en Chine.

Séparée en deux par le lac Tai Hu, Wuxi a pour voisines Changzhou à l'ouest et Suzhou à l'est. Au nord, se situent Taizhou et le fleuve Yangtze. Le sud a pour frontière la province du Zhejiang. Grâce à son récent développement, Wuxi, qui compte désormais plus de 6 millions d'habitants, est parfois surnommée « la petite Shanghai »[réf. souhaitée].
Gołaszewo (Grande-Pologne)
Gołaszewo (prononciation : [ɡɔwaˈʂɛvɔ]) est un village polonais de la gmina de Mieścisko dans le powiat de Wągrowiec de la voïvodie de Grande-Pologne dans le centre-ouest de la Pologne.

Il se situe à environ 6 kilomètres à l'est de Mieścisko (siège de la gmina), 16 kilomètres à l'est de Wągrowiec (siège du powiat), et à 52 kilomètres au nord-est de Poznań (capitale de la Grande-Pologne).

Mieścisko (Grande-Pologne)
Mieścisko (prononciation : [mjɛɕˈt͡ɕiskɔ]) est un village de Pologne, située dans la voïvodie de Grande-Pologne. Elle est le chef-lieu de la gmina de Mieścisko, dans le powiat de Wągrowiec.

Il se situe à 11 kilomètres au sud-est de Wągrowiec (siège du powiat) et à 48 kilomètres au nord-est de Poznań (capitale régionale).

Le village possède une population de 2 500 habitants.
Club alpin germano-autrichien
Le Club alpin germano-autrichien (en allemand : Deutscher und Österreichischer Alpenverein, DuOeAV) était un club alpin issu de la fusion du Club alpin allemand et du Club alpin autrichien en 1873, rassemblant les alpinistes germanophones et ladinophones de l'Allemagne et de l'Autriche. Il est responsable de l'essor touristique des Alpes par la gestion et l'entretien de plusieurs sentiers et refuges de montagne.

L'association a été dissoute et rattachée à la Fédération nationale-socialiste pour l'éducation physique après l'Anschluss de l'Autriche par l'Allemagne nazie en 1938.

Fédération nationale-socialiste pour l'éducation physique
Le Nationalsozialistischer Reichsbund für Leibesübungen (NSRL), « Fédération nationale-socialiste pour l'éducation physique » (aussi connue sous l'appellation de Deutscher Reichsbund für Leibesübungen - DRL), jusqu'à 1938, était l'organe de gestion et de contrôle des activités sportives au sein du Troisième Reich.

Le NSRL était dirigé par le Reichssportführer (haut-commissaire aux Sports), qui après 1934 présida aussi le Comité national olympique allemand. À la tête du NSRL, on eut successivement Hans von Tschammer und Osten (1933–1943), Arno Breitmeyer (1943–1944) et Karl Ritter von Halt (1944–1945).
Massacre de Psará
Le massacre de Psará (en grec moderne : Καταστροφή των Ψαρών) est un épisode de la guerre d'indépendance grecque. Il fut perpétré par les Ottomans contre la population grecque de l’île de Psará en juillet 1824. Psará était une île d'armateurs et de marins dont la flotte menait régulièrement des actions contre l'Empire ottoman. Le sultan Mahmoud II en décida la destruction afin de faciliter une contre-attaque en Grèce continentale. Plus de cent cinquante navires firent débarquer plusieurs milliers d'hommes sur une île d'une quarantaine de kilomètres carrés qui avait accueilli de nombreux survivants de massacres précédents. Le bilan est estimé à 17 000 morts ou vendus comme esclaves. Mais, contrairement au massacre similaire sur Chios avec lequel il fut peut-être confondu, celui-ci ne suscita que très peu d'émotion en Occident.

Klephte
Les klephtes (du grec moderne κλέφτες / kléphtes, « voleurs » ) sont à l'origine des bandits des montagnes de Grèce durant la période de la Grèce ottomane.

Appelés haïdouks (du turc haydut : hors-la-loi) dans les autres pays balkaniques sous domination ottomane, ainsi qu'en Arménie et dans les principautés roumaines, les klephtes attaquaient indistinctement les chrétiens riches et les Turcs ou autres musulmans ottomans de toute condition, mais en prenant soin de redistribuer aux chrétiens pauvres de leur zone d'action une partie de leur butin, afin de s'assurer complicités et refuges. Leurs attaques contre les symboles du pouvoir ottoman, les collecteurs d'impôts en particulier, en firent, dans l'imagination populaire, des défenseurs des Grecs et autres chrétiens balkaniques opprimés par l'Empire ottoman. On leur prêta vite des capacités surhumaines de force, de courage et d'endurance. Le « berceau » des klephtes est le Valtos (el), ainsi que les régions des Agrafa et Xirómero.
Isoetes boryana
Isoetes boryana, l'Isoète de Bory, , est une espèce de plantes faisant partie du genre Isoetes et de la famille des Isoetaceae. C'est une plante herbacée trouvée uniquement dans le Sud-Ouest de la France. Elle existait en Espagne, mais elle y est maintenant éteinte.

Sud-Ouest de la France
La notion de Sud-Ouest de la France (aussi écrit « Sud-Ouest (France) », notamment dans l'édition cartographique) reprend les points cardinaux sud et ouest pour indiquer une région Sud-Ouest, située entre ces points cardinaux.

Outre l'usage en géographie, y compris universitaire dont témoigne la Revue géographique des Pyrénées et du Sud-Ouest (RGPSO, fondée en 1930, devenue désormais Sud-Ouest européen en 1996), le terme est couramment utilisé dans les médias et la presse en France pour les occurrences liées notamment au sport (rugby), à la cuisine et aux informations météorologiques,,, même s’il reste à en préciser les limites et comparer aux périmètres administratifs.
Heures Pabenham-Clifford
Les Heures Pabenham-Clifford (autrefois appelées Heures Grey-Fitzpayn) sont un livre d'heures enluminé en Angleterre vers 1315-1330. Le commanditaire a longtemps été identifié à Richard de Grey et sa femme Joan Fitzpayn, pour être finalement écartés au profit de John de Pabenham et sa femme Joan Clifford. Il est conservé au Fitzwilliam Museum à Cambridge sous la cote Ms.242.

Fitzwilliam Museum
Le Fitzwilliam Museum est le musée d'art et d'antiquités de l'université de Cambridge. Il se trouve dans la rue Trumpington à Cambridge en Angleterre, en face de Fitzwilliam Street dans le centre de la ville. Il a été fondé en 1816 par la volonté de Richard Fitzwilliam (7e vicomte Fitzwilliam) (1745 – 1816), et renferme l'une des plus belles collections d'antiquités et d'art moderne d'Europe occidentale,. Avec plus d'un demi-million d'objets et d'œuvres d'art dans ses collections, les expositions du musée explorent l'histoire et l'art du monde de l'Antiquité à nos jours. Les collections du musée comprennent des œuvres de Monet, Picasso, Rubens, Vincent van Gogh, Rembrandt, Cézanne, Van Dyck et Canaletto, ainsi qu'un bas-relief ailé de Nimroud. L'entrée au public est toujours gratuite.

Le musée est partenaire du consortium des musées de l'Université de Cambridge, l'un des 16 Major Partner Museum financés par Arts Council England pour favoriser le développement du secteur des musées.
Alexandre Debanne
Alexandre Debanne, né le 8 avril 1960 à Melun, en Seine-et-Marne, est un animateur de télévision français. Il commence sa carrière en tant qu'animateur radio sur diverses radios locales avant de devenir un des animateurs phares d'NRJ dans les années 1980. En 1987, il fait ses premiers pas à la télévision sur TF1 puis M6 avant d'être victime d'un grave accident de la route en 1996. À la suite de cela, il décide de changer de vie et s'inscrit dans divers domaines tels que le sport, la course automobile, le théâtre et le cinéma (séries).

NRJ
NRJ est une radio française de dimension nationale créée par Jean-Paul Baudecroux le 15 juillet 1981. Elle représente la station fondatrice de NRJ Group et NRJ International.

Menacée de fermeture en 1984 par décision du gouvernement en place, elle est finalement sauvée après une manifestation de ses auditeurs et de la chanteuse Dalida, qui deviendra la marraine de la radio.

Au 31 décembre 2023, le réseau NRJ comprend la station de radio nationale ainsi qu'environ 330 antennes locales, lesquelles maîtrisent leur programmation lors des décrochages. Le réseau NRJ dispose par ailleurs de plus de 126 webradios.

En 2025, NRJ est toujours considérée, notamment par ses résultats d'audience, comme la première FM musicale de France, devant les réseaux Skyrock, Fun Radio et RFM.
Candyman (film, 2021)
Candyman, ou Candyman : Le Spectre maléfique au Québec, est un film d'horreur américain coécrit et réalisé par Nia DaCosta, sorti en 2021. Il s'agit du quatrième film de la franchise inspirée de la nouvelle The Forbidden de Clive Barker et d'une suite-remake du film homonyme de 1992 de Bernard Rose.

Clive Barker
Clive Barker, né le 5 octobre 1952 à Liverpool, est un romancier britannique, également dramaturge, scénariste de bande dessinée, peintre et cinéaste (Hellraiser notamment). Avec Les Livres de sang, il propose un panorama du fantastique contemporain, dont il évoque tous les aspects à chacune des nouvelles de ses recueils. Cette œuvre a fait de lui le représentant le plus connu du mouvement splatterpunk.

Les peintures et illustrations de Barker ont été présentées dans des galeries aux États-Unis ainsi que dans ses propres livres.
Alexis (autobus)
Alexis était un système d'information en temps réel mis en place sur plusieurs lignes de la Régie autonome des transports parisiens (RATP). Il a ensuite été progressivement remplacé par son successeur SIEL, fonctionnellement proche ; ainsi le précurseur, plus encombrant et moins souple, s'est effacé au profit du système actuellement en service.

Le système a vu le jour en 1993 et était présent sur quatre lignes : la ligne de tramway T1, le Trans-Val-de-Marne (Tvm) et les lignes de bus 26 et 29. Le système sera progressivement arrêté et remplacé par le SIEL, la dernière ligne équipée fut le Tvm jusqu'en août 2003.

Lignes de bus RATP de 20 à 99
Les lignes de bus RATP de 20 à 99 constituent une série de lignes que la Régie autonome des transports parisiens exploite à Paris intra-muros, certaines lignes desservant également la proche banlieue.

Depuis 2013, toutes ces lignes sont équipées du système d'information en ligne destiné à la régulation et à l'information des voyageurs.

Les itinéraires de nombreuses lignes sont modifiés le 20 avril 2019 dans le cadre de la restructuration du réseau de bus parisien ; en outre, cinq lignes sont créées (25, 45, 59, 71 et 77) et trois sont supprimées (53, 65 et 81).
Monster musume no iru nichijō
Monster musume no iru nichijō (モンスター娘のいる日常, Monsutā musume no iru nichijō) est un manga écrit et dessiné par Okayado. Il est prépublié depuis mai 2012 dans le magazine Monthly Comic Ryū et édité en volumes reliés depuis septembre 2012 par Tokuma Shoten. Une adaptation en anime produite par le studio Lerche est diffusée entre juillet et septembre 2015 sur Tokyo MX au Japon et en simulcast sur Crunchyroll dans les pays francophones. C'est un manga ecchi à la première lecture mais qui traite de la différence et du racisme en toile de fond.

Tokuma Shoten
Tokuma Shoten Publishing Co., Ltd. (株式会社徳間書店, Kabushiki-gaisha Tokuma Shoten) est un des plus importants éditeurs du Japon. Ses produits comprennent de la musique, des jeux vidéo, des logiciels, des films (y compris des films d'animation), des magazines, des mangas et des livres.
Króle Duże
Króle Duże (prononciation : [ˈkrulɛ ˈduʐɛ]) est un village polonais de la gmina d'Andrzejewo dans le powiat d'Ostrów Mazowiecka de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 11 kilomètres à l'ouest d'Andrzejewo (siège de la gmina), 12 kilomètres au nord-est d'Ostrów Mazowiecka (siège du powiat) et à 100 kilomètres au nord-est de Varsovie (capitale de la Pologne).

Le village compte approximativement une population de 420 habitants en 2006.

Andrzejewo (Mazovie)
Andrzejewo (prononciation : [andʐɛˈjɛvɔ]) est un village polonais de la gmina d'Andrzejewo dans le powiat d'Ostrów Mazowiecka de la voïvodie de Mazovie dans le centre-est de la Pologne.

Le village est le siège administratif (chef-lieu) de la gmina appelée gmina d'Andrzejewo.

Il se situe à environ 21 km à l'est d'Ostrów Mazowiecka (siège du powiat) et à 107 km au nord-est de Varsovie (capitale de la Pologne).

Le village compte approximativement une population de 937 habitants en 2009.