hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
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].

Logique épistémique
La logique épistémique est une logique modale qui permet de raisonner à propos de la connaissance d'un ou plusieurs agents. Elle permet aussi de raisonner sur les connaissances des connaissances des autres agents, etc. Son nom est tiré du nom grec epistḗmē qui signifie « connaissance » (du verbe epístamai « savoir »), d'où vient aussi le mot épistémologie. L'application de la logique épistémique à l'économie a été promue par Robert Aumann, Prix Nobel d'économie 2005.
Pound (Virginie)
Pound est une municipalité américaine située dans le comté de Wise en Virginie.

Selon le recensement de 2020, Pound compte 877 habitants. La municipalité s'étend sur 2,58 milles carrés (6,68 km2).

La localité est d'abord connue sous le nom de The Pound, probablement en référence à un nom de famille. Selon d'autres versions, ce nom ferait référence aux « frappements » (pounding) des sabots des chevaux dans la vallée ou à un moulin qui « réduit en poudre » (pound) les grains. Si le bureau de poste de Pound ouvre dès 1848, le bourg ne devient une municipalité qu'en 1950.

Comté de Wise (Virginie)
Le comté de Wise est un comté de Virginie, aux États-Unis. Le comté a été formé en 1856 à partir des comtés de Lee, Scott et Russell et nommé en l’honneur de Henry A. Wise, qui était le gouverneur de Virginie à l’époque.
Formosa Cafe
Le Formosa Cafe est un bar-restaurant situé à l'intersection entre Formosa Avenue et Santa Monica Boulevard, à West Hollywood. Fondé en 1925 par Jimmy Bernstein à proximité des studios hollywoodiens, le lieu conserve une longue histoire avec le cinéma américain mais également avec la mafia.

West Hollywood
West Hollywood (parfois appelée WeHo) est une ville située dans le comté de Los Angeles, dans l'État de Californie aux États-Unis. Elle est encerclée par les municipalités de Beverly Hills et Los Angeles. La ville de West Hollywood est incorporée en 1984. Sa population est de 34 399 habitants selon le recensement de 2010. Selon l'étude démographique de 2002, 41 % de la population se compose d'hommes gays ou bisexuels.
NASCAR O'Reilly Auto Parts Series
La NASCAR O'Reilly Auto Parts Series (en abrégé NOAPS) est une compétition automobile de voitures de Stock Car organisée aux États-Unis depuis 1982 par la National Association for Stock Car Auto Racing (NASCAR).

On considère cette compétition comme la division 2 de la NASCAR, située sous l'épreuve reine de la NASCAR Cup Series mais avant celle de la NASCAR Craftsman Truck Series.

Ses courses se déroulent généralement la veille des courses de Cup Series et servent de tremplin aux jeunes pilotes désireux de rejoindre un jour la division 1.

Cette compétition change régulièrement de dénomination en fonction des sociétés la sponsorisant. C'est ainsi que dès la saison 2026, c'est la société O'Reilly Auto Parts qui devient le sponsor principal de la catégorie, en remplacement de la société Comcast et sa filiale Xfinity,.

Ford Mustang
La Ford Mustang est un modèle d'automobile construit par Ford depuis 1965. Fait unique pour la marque Ford, les Mustang arborent leur propre logotype de calandre — un mustang au galop — à la place de celui du constructeur. Tous modèles confondus, cette voiture atteint les dix millions d'exemplaires vendus dans le monde en août 2020. Les premiers exemplaires sont vendus en février 1965.
Franc-maçonnerie à Dunkerque
La franc-maçonnerie à Dunkerque, étudiée pour la période des XVIIIe – XIXe siècles, présente la particularité de son ancienneté : la ville a vu l'implantation d'une des premières loges de la franc-maçonnerie en France. La situation lors de ces deux siècles a pu être vue par un auteur comme une sorte d'âge d'or pour l'institution, constituée alors de « cercles riches et bien fréquentés », malgré une éclipse au milieu du XIXe siècle avec la disparition des deux plus anciennes loges, avant une renaissance à l'aube du XXe siècle.

Officiers de loge maçonnique
Les officiers de loge maçonnique sont les francs-maçons membres d'une loge maçonnique, désignés par leurs frères ou nommés afin d'accomplir les offices nécessaires à la vie et au travail d'un atelier maçonnique. La liste et le nombre de fonctions peuvent varier d'une obédience à l'autre, bien qu'un grand nombre de facteurs soient communs à tous. Chaque office revêt tout autant une fonction active que symbolique, qui s'inscrit dans la compréhension d'un parcours maçonnique. Les offices des loges bleues (trois premiers degrés) et de la craft masonry anglaise sont utilisés également dans les tenues des obédiences maçonniques et leur nom est précédé le plus souvent par l'adjectif grand.
Imagerie populaire
L'imagerie populaire est l'ensemble des productions d'images destinées à être vendues à un prix très modique aux populations tant rurales qu'urbaines, au cours des siècles passés, à des fins diverses : religieuses, éducatives, divertissantes, décoratives. Il s'agit de la première méthode de communication de masse par l'image. La première forme a été celle des estampes produites pour être vendues sur les marchés, dans les boutiques et par des colporteurs.

L'imagerie populaire recouvre un grand nombre de domaines. Le terme d'image concerne ici le sens « matériel » de reproduction imprimée d'un dessin ou, plus tard, d'une photographie.

Bois Protat
Le bois Protat est le nom donné à un fragment de bois, gravé sur ses deux faces, qui est considéré comme le plus ancien bois gravé du monde occidental, certainement du début du XVe siècle. Son nom vient de l'imprimeur mâconnais, Jules Protat, qui en fit l'acquisition au XIXe siècle, après sa découverte à la fin de 1899 près de l'abbaye de La Ferté (Saône-et-Loire). Il est conservé depuis 2001 au département des estampes et de la photographie de la Bibliothèque nationale de France.
Inis na Bró
Inis na Bró est une des îles de l’archipel des Blasket situé dans le prolongement de la péninsule de Dingle dans le Comté de Kerry en Irlande.

Elle est séparée de Inis Mhic Aoibhleáin par un très étroit détroit (200 mètres uniquement). Son altitude maximum est de 175 mètres.

En 1973, le pionnier de l’espace commercial de l'entreprise de conception de fusées Rotary Rocket, Gary Hudson (en), proposa d’utiliser Inis na Bró comme site de lancement de fusées. Cette proposition ne devint publique qu’en 2003 lorsque les archives du gouvernement irlandais furent ouvertes après la période de sûreté légale de 30 ans.

Portail de l’Irlande

Portail du monde insulaire

Péninsule de Dingle
La péninsule de Dingle (en irlandais : Corca Dhuibhne) est située dans le comté de Kerry. A son extrémité se trouve le point le plus à l'ouest de l’île d’Irlande, Dunmore Head. La péninsule tient son nom de sa principale ville, Dingle.
Nouveau (informatique)
Nouveau est un projet de la fondation X.Org et de Freedesktop.org visant à produire des pilotes libres pour les cartes graphiques Nvidia par rétro-ingénierie.

Ben Skeggs (alias darktama) est le mainteneur du pilote DDX xf86-video-nouveau et de la partie DRM (pilote nouveau dans le noyau).

Les pilotes Nouveau sont utilisés par défaut, quand une carte ou circuit graphique Nvidia est détecté, dans Fedora 11 et Ubuntu depuis la 11.10.

PSCNV est un fork de Nouveau initié par la société PathScale (en), visant à proposer le support d’un GPGPU (comme CUDA ou OpenCL) particulier appelé ENZO,.

X.Org
X.Org est un serveur X libre issu d'un fork de XFree86 en janvier 2004 à la suite d'un désaccord sur le changement de licence de XFree86. Il fonctionne avec la plupart des systèmes d'exploitation de type UNIX (GNU/Linux, dérivés de BSD, Solaris, etc.), mais aussi avec Microsoft Windows via Cygwin. Du fait de sa licence, il connaît une grande popularité au sein de la communauté du logiciel libre où il a remplacé XFree86.

La gouvernance du projet est assurée par la fondation X.Org, laquelle réalise à la fois les développements en conjonction avec la communauté Freedesktop.org tout en veillant à la cohérence de l'ensemble de ses projets.
Championnat d'Europe masculin de water-polo 1926
Le Championnat d'Europe de water-polo masculin 1926 est la première édition du Championnat d'Europe de water-polo masculin, compétition organisée par la Ligue européenne de natation (LEN) et rassemblant les meilleures équipes masculines européennes. Il se déroule à Budapest, en Hongrie, du 18 au 22 août 1926.

Championnat d'Europe masculin de water-polo
Le Championnat d'Europe de water-polo masculin est la plus importante compétition masculine européenne de water-polo entre nations. Créée en 1926, cette épreuve est organisée par la Ligue européenne de natation.
Autoportrait en chimère
Autoportrait en chimère est une sculpture en ronde-bosse réalisée en 1880 par l’artiste française Sarah Bernhardt, principalement connue comme actrice mais également active comme sculptrice. L’œuvre, conçue comme un encrier, constitue un autoportrait symbolique et zoomorphe. Il en existe plusieurs versions, en plâtre et en bronze, conservées dans des collections publiques et privées.

Encrier
Un encrier est un récipient (habituellement un flacon) permettant de contenir de l'encre dans un endroit pratique pour la personne qui écrit avec une plume ou un stylo-plume.

Un encrier est généralement composé de verre, de porcelaine, d'argent, de laiton ou de métal blanc. La personne qui écrit plonge sa plume dans l'encrier à mesure qu'elle a besoin d'encre. Le couvercle de l'encrier permet d'éviter les renversements, l'évaporation (limiter l'exposition à l'air) ou les contaminations.
Bataille de Montes Claros
La Bataille de Montes Claros (17 juin 1665) – appelée aussi parfois Bataille de Vila Viçosa –  est une célèbre victoire militaire du Portugal sur la Castille qui met fin à la Guerre d'Acclamation (1640-1668). (Depuis les historiens romantiques nationalistes du XIXe siècle, cette guerre est également nommée "Guerre de Restauration").

Deuxième maison de Bragance
La deuxième maison de Bragance (dite sérénissime maison de Bragance) est une branche de la maison capétienne d'Aviz. Issue d'Alphonse de Portugal, fils illégitime du roi Jean Ier, elle a d'abord arboré le titre de duc de Bragance avant d’accéder au trône de Portugal entre 1640 et 1853 . La deuxième maison de Bragance a également régné sur le Brésil entre 1815 et 1889 .
Luuk de Jong
Luuk de Jong (prononcé en néerlandais : [lyk də ˈjɔŋ]), né le 27 août 1990 à Aigle en Suisse, est un footballeur international néerlandais évoluant au poste d'avant-centre au FC Porto.

Ses parents étant d’anciens joueurs professionnels de volley-ball évoluant en Suisse, il naît sur le territoire de la Confédération suisse avant de rejoindre les Pays-Bas.

Son frère Siem de Jong est également un footballeur professionnel qui a notamment évolué à l'Ajax Amsterdam. Il n'a en revanche aucun lien de parenté avec Frenkie de Jong, joueur néerlandais qu'il a côtoyé au FC Barcelone et en équipe nationale,.

Championnat d'Europe de football espoirs 2013
L'édition 2013 du Championnat d'Europe de football espoirs se déroule en Israël. Le pays organisateur est qualifié d'office pour la phase finale.

Quatre autres nations étaient en course pour l'organisation du tournoi final : la Bulgarie, la Tchéquie, l'Angleterre et le Pays de Galles.
Gouvernement de Tarnopol
Le gouvernement de Tarnopol (en russe : Тарнопольская губерния, Tarnopolskaïa goubernia, en ukrainien : Тернопільська губернія, Ternopilska goubernia) était une entité territoriale administrative (gouvernement) éphémère de la Russie impériale sur le territoire de la Galicie orientale occupée par les troupes russes lors de la Première Guerre mondiale, de septembre 1914 à juillet 1917.

L'offensive de Gorlice-Tarnów permet aux forces austro-hongroises et allemandes de reprendre le contrôle de la partie occidentale de la région, ce qui reste du gouvernement cesse d'exister en juillet 1917 après l'offensive de Tarnopol (de).

Royaume de Galicie et de Lodomérie
Le royaume de Galicie et de Lodomérie (en allemand : Königreich Galizien und Lodomerien ; en polonais : Królestwo Galicji i Lodomerii ; en ukrainien : Королівство Галичини і Лодомерії) est un État historique de l'Europe centrale qui existait de 1772 à 1918 sous l'égide de la maison de Habsbourg-Lorraine. Il est né des partages de la Pologne à la fin du XVIIIe siècle.

Nouvelle possession de la monarchie de Habsbourg à la suite du premier partage de la Pologne en 1772, le royaume est devenu une terre de la Couronne de l'empire d'Autriche en 1804. Entre 1867 et 1918, il forme l'un des royaumes et pays représentés à la Diète d'Empire (Cisleithanie) au sein de la double monarchie d'Autriche-Hongrie. Sa capitale était la ville de Lemberg (Léopol).
Začula
Začula (en serbe cyrillique : Зачула) est un village de Bosnie-Herzégovine. Il est situé dans la municipalité de Ravno, dans le canton d'Herzégovine-Neretva et dans la fédération de Bosnie-et-Herzégovine. Selon les premiers résultats du recensement bosnien de 2013, il abrite une population inférieure ou égale à 10 habitants.

Ravno (Herzégovine-Neretva)
Ravno (en cyrillique : Равно) est une ville et une municipalité de Bosnie-Herzégovine. Elles sont situées dans le canton d'Herzégovine-Neretva, fédération de Bosnie-et-Herzégovine. Selon les premiers résultats du recensement bosnien de 2013, la ville intra muros compte 605 habitants et la municipalité 3 328.
Porlock
Porlock est un village côtier du Somerset, en Angleterre, situé dans une profonde dépression près du parc national d'Exmoor, à 8 km à l'ouest de Minehead. Lors du recensement de 2011, la population du village est de 1 440 habitants.

Exmoor
L'Exmoor est une région montagneuse de landes située au sud du canal de Bristol, dans le Sud-Ouest de l'Angleterre, entre le Devon et le Somerset. Il culmine à Dunkery Hill, à 519 mètres d'altitude. Il est couvert en grande partie par le parc national d'Exmoor.
Détournement du YS-11 de Korean Air
Le détournement du YS-11 de Korean Air a lieu le 11 décembre 1969. L'appareil, un NAMC YS-11 de la compagnie sud-coréenne Korean Air, effectuant un vol intérieur entre la base aérienne de Gangneung (en) et l'aéroport international de Gimpo de Séoul, est détourné à 12h25 par l'agent nord-coréen Cho Ch'ang-hui (조창희),, avec à son bord quatre membres d'équipage et 46 passagers (sans compter Cho). L'avion est forcé d'atterrir en Corée du Nord et 39 de ses passagers sont rendus au Sud deux mois plus tard mais l'équipage et sept passagers restent détenus au Nord. L'incident est considéré en Corée du Sud comme un exemple d'enlèvement de citoyens sud-coréens par la Corée du Nord.

Enlèvements de citoyens sud-coréens par la Corée du Nord
On estime[Qui ?] à 84 532 le nombre de citoyens et citoyennes Sud-Coréens ayant été enlevés par la Corée du Nord pendant la Guerre de Corée.

De plus, les statistiques sud-coréennes affirment que, depuis l'Armistice de Panmunjeom en 1953, environ 3 800 personnes ont été enlevées par la Corée du Nord (à la fin des années 1970 pour la plupart), dont 489 étaient toujours détenues en 2006.
Circonscriptions législatives de la province de Samar
La province de Samar aux Philippines est constituée de deux circonscriptions législatives, chacune représentée par un député à la Chambre des représentants. Une troisième circonscription existait de 1907 à 1969, avant que la province ne soit divisée en trois — Samar occidental (simplement Samar depuis 1969), Samar oriental et Samar du Nord — par l'acte républicain no 4221, puis intégrée momentanément à la Région VIII de 1978 à 1984.

Circonscriptions législatives des Philippines
Les circonscriptions législatives des Philippines (ou districts législatifs) sont des subdivisions électorales au niveau des provinces et des principales villes qui sont représentées par un député à la Chambre des représentants. Le nombre de circonscriptions par province ou ville est établi sur la base de la taille de leur population. Lors des élections législatives de 2016, il y a 238 circonscriptions.
Dzierzęga-Nadbory
Dzierzęga-Nadbory (prononciation : [d͡ʑɛˈʐɛnɡa nadˈbɔrɨ]) est un village polonais de la gmina de Chorzele dans le powiat de Przasnysz de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 7 kilomètres à l'ouest de Chorzele (siège de la gmina), 27 km au nord de Przasnysz (siège du powiat) et à 116 km au nord de Varsovie (capitale de la Pologne).

Chorzele (ville)
Chorzele (prononciation : [ˈpʂasnɨʂ]) est une ville du powiat de Przasnysz dans la voïvodie de Mazovie, dans le centre de la Pologne

Elle est le siège administratif (chef-lieu) de la gmina appelée gmina de Chorzele.

Sa population s'élevait à 2 939 habitants en 2013.
Buntowo
Buntowo (prononciation : [bunˈtɔvɔ]) est un village polonais de la gmina de Złotów dans le powiat de Złotów de la voïvodie de Grande-Pologne dans le centre-ouest de la Pologne.

Il se situe à environ 14 kilomètres au sud de Złotów (siège de la gmina et du powiat), et à 96 kilomètres au nord de Poznań (capitale de la Grande-Pologne).

Le village possédait une population de 320 habitants en 2008.

Złotów
Złotów (prononciation : [ˈzwɔtuf], en allemand : Flatow) est une commune urbaine de la Voïvodie de Grande-Pologne et du powiat de Złotów.

Elle est située à environ 120 km au nord de Poznań, capitale de la voïvodie de Grande-Pologne.
Elle est le siège administratif de la gmina de Złotów (bien qu'elle ne fasse pas partie de son territoire) et du powiat de Złotów.

Elle s'étend sur 11,58 km2 et comptait 18 303 habitants en 2011.
Sergueï Vostrikov
Sergueï Leontievitch Vostrikov - en russe : Сергей Леонтьевич Востриков et en anglais : Sergei Vostrikov - (né le 16 janvier 1964 à Samara en URSS) est un joueur professionnel russe de hockey sur glace. Il évolue au poste d'attaquant.

Championnat d'Italie de hockey sur glace
L'IHL-Serie A (nom complet: La Serie A di hockey su ghiaccio, la Série A du hockey sur glace) est le plus haut niveau du hockey sur glace professionnel en Italie. La ligue débuta ses activités en 1924. Sous l'autorité de la Federazione Italiana Sport del Ghiaccio, la ligue décerne le Scudetto à l'équipe championne, à l'image de ce qui se fait dans la Série A de football. La ligue est commanditée par Reebok; incidemment, la coupe de la ligue se nomme la Rbk Hockey Cup.

A l'issue de la saison 2016, le championnat fusionne avec le championnat autrichien de 2e division formant l'Alps Hockey League. Les équipes italiennes étant regroupées dans deux poules de 4 équipes, les matchs joués fin décembre et début janvier comptent pour l'AlpsHL et la Série A. Les deux premiers de chaque poules sont qualifiées pour jouer l'Italian Hockey League Elite, un tournoi à élimination direct. Le vainqueur remporte le titre de Champion d'Italie.
Karmella Haynes
Karmella Ann Haynes est un ingénieur biomédical et professeur assistant à l'université d'État de l'Arizona. Elle fait des recherches sur la façon dont la chromatine est utilisée pour contrôler le développement des cellules dans les tissus biologiques.

Biologie de synthèse
La biologie de synthèse, ou biologie synthétique, est une discipline scientifique et biotechnologique émergente qui combine biologie et principes d'ingénierie, dans le but de concevoir et construire (« synthétiser ») de nouveaux systèmes et fonctions biologiques, avec des applications notamment développées par les secteurs agropharmaceutique, chimique, agricole et énergétique.
Ligne de Rouxmesnil à Eu
La ligne de Rouxmesnil à Eu, parfois dénommée ligne de Dieppe au Tréport, est une voie ferrée à écartement standard, sise dans le département français de Seine-Inférieure (aujourd'hui Seine-Maritime), établie par la Compagnie des chemins de fer de l'Ouest dans le cadre du plan Freycinet. Inauguré en 1885, ce chemin de fer fut fermé aux voyageurs en 1938 et progressivement aux marchandises à partir 1972. Une partie de son parcours reste toutefois en exploitation pour assurer des transports spéciaux à destination de la centrale nucléaire de Penly.

Ten wheel (locomotive)
Ten wheel est le nom donné à un type de locomotive à vapeur dont les essieux ont la configuration suivante (de l'avant vers l'arrière) :

1 bogie porteur à deux essieux à l'avant,

3 essieux moteurs accouplés.
Gare de Nogent-sur-Vernisson
La gare de Nogent-sur-Vernisson est une gare ferroviaire française de la ligne de Moret - Veneux-les-Sablons à Lyon-Perrache. Elle est située sur le territoire de la commune de Nogent-sur-Vernisson, dans le département du Loiret, en région Centre-Val de Loire.

Ouverte en 1861 par la Compagnie des chemins de fer de Paris à Lyon et à la Méditerranée (PLM), c'est une gare de la Société nationale des chemins de fer français (SNCF) desservie par des trains TER Centre-Val de Loire.

Gare de Nevers
La gare de Nevers est une gare ferroviaire française des lignes de Moret-Veneux-les-Sablons à Lyon-Perrache, de Nevers à Chagny et de Clamecy à Nevers. Elle est située rue de la gare, à l'ouest du centre-ville de Nevers (préfecture du département de la Nièvre), en région Bourgogne-Franche-Comté.

Ouverte en 1850 par la Compagnie du chemin de fer du Centre, elle devient une gare de la compagnie du chemin de fer de Paris à Orléans (PO) avant d'être une gare de la Compagnie des chemins de fer de Paris à Lyon et à la Méditerranée (PLM) qui y crée un dépôt et des ateliers. Nevers est une importante gare de la Société nationale des chemins de fer français (SNCF) desservie par des trains grandes lignes Intercités et des trains express régionaux de Bourgogne-Franche-Comté (TER Bourgogne-Franche-Comté).
Leżenice
Leżenice (prononciation : [lɛʐɛˈnit͡sɛ]) est un village polonais de la gmina de Głowaczów dans le powiat de Kozienice de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 18 kilomètres à l'ouest de Kozienice (siège du powiat) et à 71 kilomètres au sud de Varsovie (capitale de la Pologne).

Le village possède approximativement une population de 220 habitants en 2006.

Głowaczów (gmina)
Głowaczów est une gmina rurale (gmina wiejska) du powiat de Kozienice dans la Voïvodie de Mazovie, dans le centre-est de la Pologne.

Son siège administratif est la ville de Głowaczów, qui se situe environ 18 kilomètres à l'ouest de Kozienice (siège de la powiat) et 70 kilomètres au sud de Varsovie (capitale de la Pologne).

La gmina couvre une superficie de 186,26 km2 pour une population de 7 292 habitants en 2006.
Beaver Creek Rockshelter
Le Beaver Creek Rockshelter est un abri sous roche américain situé dans le comté de Custer, au Dakota du Sud. Protégé au sein du parc national de Wind Cave, il est inscrit au Registre national des lieux historiques depuis le 25 octobre 1993.

Parc national de Wind Cave
Le parc national de Wind Cave (en anglais Wind Cave National Park) est un parc national américain situé dans l'État du Dakota du Sud. Il possède parmi les plus longues et complexes grottes du monde, qui furent protégées dès 1903, par le président Theodore Roosevelt. Il s'agissait alors du premier parc national américain créé pour protéger une cavité souterraine. Le parc présente également 11 450 hectares de prairies et de forêts de conifères. Les grottes sont connues pour leurs formations particulières de calcite ressemblant à des nids d'abeilles.