hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Stuttering equivalence
In theoretical computer science, stuttering equivalence, a relation written as

,

can be seen as a partitioning of paths  and  into blocks, so that states in the  block of one path are labeled () the same as states in the  block of the other path. Corresponding blocks may have different lengths.

Formally, this can be expressed as two infinite paths  and  being stuttering equivalent () if there are two infinite sequences of integers  and  such that for every block  holds .

Stuttering equivalence is not the same as bisimulation, since bisimulation cannot capture the semantics of the 'eventually' (or 'finally') operator found in linear temporal/computation tree logic (branching time logic)(modal logic). So-called branching bisimulation has to be used.

Theoretical computer science
Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.

It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description:

TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.
The Black Cannon Incident
The Black Cannon Incident (Chinese: 黑砲事件; pinyin: Hēi Pào Shìjiàn) is a 1985 Chinese black comedy film satirizing the bureaucracy and paranoia of the Chinese authorities. Presented by Xi'an Film Studio and directed by Huang Jianxin, it stars Gao Ming, Gerhard Olschewski, and Liu Zifeng.

The film was screened out of competition at the 1987 Cannes Film Festival.

In the film, a mining engineer has the hobby of playing Chinese chess alone. After a chess piece mysteriously vanishes, he sends a telegram about searching for a missing cannon. The authorities mistake the telegram for a cryptic message, and re-assign the engineer. While the case is being investigated, an inexperienced interpreter is asked to replace the engineer in his contact with a German specialist. A mistranslation by the inept replacement leads to a faulty test run and to financial loss for the mining company.

1987 Cannes Film Festival
The 40th Cannes Film Festival took place from 7 to 19 May 1987. French-Italian actor Yves Montand served as jury president for the main competition.

French filmmaker Maurice Pialat won the Palme d'Or, the festival's top prize, for the drama film Under the Sun of Satan, a choice which critics considered "highly controversial" and the prize was given under the jeers of the public. Pialat is quoted to have retorted "You don't like me? Well, let me tell you that I don't like you either!"

The festival opened with A Man in Love by Diane Kurys, and closed with Aria by Robert Altman, Bruce Beresford, Bill Bryden, Jean-Luc Godard, Derek Jarman, Franc Roddam, Nicolas Roeg, Ken Russell, Charles Sturridge and Julien Temple.
World record progression men's weightlifting
This is the list of world records progression in men's weightlifting. Records are maintained in each weight class for the snatch lift, clean and jerk lift, and the total for both lifts.

The International Weightlifting Federation restructured its weight classes in 1993, 1998, 2018 and 2025, nullifying earlier records.

International Weightlifting Federation
The International Weightlifting Federation, aka IWF, is the international governing body for the sport of Weightlifting. Headquartered in Lausanne, Switzerland, it has 193 affiliated national federations. Mohammed Hasan Jalood has been its president since June 2022.

The IWF organizes the World Weightlifting Championships, as well as world championship events for Youth and Juniors. It also cooperates with the International Olympic Committee in the organization of Weightlifting events at the Olympic Games; however, weightlifting's inclusion in the 2028 Olympics is uncertain, due to doping issues within the sport, and governance issues within IWF, and weightlifting's inclusion is expected to be decided by an IOC meeting in 2023. Weightlifting was scheduled as a sport in the 2024 Olympics but with reduced numbers of athletes and events.

IWF traces its history to the formation of the "Amateur-Athleten-Weltunion" (Amateur Athletes World Union) in 1905.
Mwika
Mwika or Kingdom of Mwika also sometimes referred to as Mwika Vunjo (Isarile la Mwika in Kivunjo), (Ufalme wa Mwika in Swahili) was the area of Vunjo  in Moshi Rural District of Kilimanjaro Region in Tanzania that was formerly sovereign Chagga state.

Moshi District, Kilimanjaro
Moshi is one of the seven administrative districts of the Kilimanjaro Region of Tanzania. The district covers an area of 1,300 km2 (500 sq mi). The District is bordered to the north by the Rombo District, to the west by the Hai District, to the east by the Mwanga District and Kenya, and to the south by Simanjiro District of Manyara Region. The district also surrounds Moshi Municipal District on three sides. 
According to the 2012 census, the population of the Moshi District was 466,737. By 2022, the population had grown to 535,803.
Charaxes doubledayi
Charaxes doubledayi, Doubleday's untailed charaxes, is a butterfly in the family Nymphalidae. It is found in Sierra Leone, Ivory Coast, Ghana, Togo, Nigeria, Cameroon, Bioko, the Republic of the Congo, the Central African Republic, the Democratic Republic of the Congo and western Tanzania. The habitat consists of lowland tropical evergreen forests. It is a very rare butterfly

Bioko
Bioko (/biːˈoʊkoʊ/; Spanish: [biˈoko] ⓘ; Bube: Ëtulá a Ëri; historically known as Fernando Pó, European Portuguese pronunciation: [fɨɾˈnɐ̃.dʊ ˈpɔ]) is an island of Equatorial Guinea. It is located 32 km (20 mi) south of the coast of Cameroon, and 160 km (99 mi) northwest of the northernmost part of mainland Equatorial Guinea. Malabo, on the north coast of the island, is the former capital city of Equatorial Guinea. Bioko's population was 335,048 at the 2015 census and it covers an area of 2,017 km2 (779 sq mi), making it the fourth largest island in Africa (after Madagascar, Socotra and Tenerife). The island is part of the Cameroon line of volcanoes and is located off the Cameroon coast, in the Bight of Biafra portion of the Gulf of Guinea. Its geology is volcanic; its highest peak is Pico Basile at 3,012 m (9,882 ft).
International E-road network in Greece
The International E-road network has covered Greece since the Declaration on the Construction of Main International Traffic Arteries, which established the first E-road network in the country, was signed on 16 September 1950.

In 1975, the European Agreement on Main International Traffic Arteries (AGR) created the current E-road network, based on a system of north–south and east–west reference roads: although the AGR came into force in 1983, Greece officially migrated from the 1950 Declaration to the AGR in 1989. A significant change to the current E-road network affecting Greece was agreed in 1985, coming into force in 1986.

Gefyra, Thessaloniki
Gefyra (Greek: Γέφυρα, literally meaning "Bridge", until 1926 Τοψίν/Topsin, Bulgarian: Топчиево/Topchievo, Turkish: Topçin) is a village and a community of the Chalkidona municipality, about 20 km northwest from Thessaloniki.

Before the 2011 local government reform it was part of the municipality of Agios Athanasios, of which it was a municipal district. The 2021 census recorded 2,782 inhabitants in the community. The community of Gefyra covers an area of 29.836 km2.

There is a highway junction near Gefyra, where the European route E75 and E86 meets.
Spur Battery
Spur Battery is an artillery battery in the British Overseas Territory of Gibraltar. It is located in the Upper Battery area of the southern end of the Upper Rock Nature Reserve, just southwest of O'Hara's Battery. A 9.2-inch Mark X breech-loading gun was mounted on the emplacement in 1902, with improvements made to the battery after World War I. In 1981 the 9.2-inch gun at Spur Battery was dismantled and transferred to the Imperial War Museum in Duxford, England, for preservation. The operation was known as Project Vitello.

Gibraltar Nature Reserve
The Gibraltar Nature Reserve (formerly the Upper Rock Nature Reserve) is a protected nature reserve in the British Overseas Territory of Gibraltar that covers over 40% of the territory's land area. It was established as the Upper Rock Nature Reserve in 1993 under the International Union for Conservation of Nature's category Ia (strict nature reserve) and was last extended in 2013. It is known for its semi-wild population of Barbary macaques, and is an important resting point for migrating birds.
Hobby horse
In folklore, a hobby horse is a costumed character that features in some traditional seasonal customs, processions and similar observances around the world.  In England, they are particularly associated with May Day celebrations, mummers' plays and the Morris dance.

Dada
Dada (/ˈdɑːdɑː/) or Dadaism was an international art movement that developed in the context of the Great War and Futurism first established in Zürich, Switzerland, and later quickly spread to Berlin, Paris, New York City and a variety of artistic centers in Europe and Asia. The Dada movement's principles were first collected in Hugo Ball's Dada Manifesto in 1916. Ball is seen as the founder of the Dada movement. Other key figures in the movement included Emmy Hennings, Jean Arp, Johannes Baader, Marcel Duchamp, Max Ernst, Elsa von Freytag-Loringhoven, George Grosz, Raoul Hausmann, John Heartfield, Hannah Höch, Richard Huelsenbeck, Francis Picabia, Man Ray, Hans Richter, Kurt Schwitters, Sophie Taeuber-Arp, Tristan Tzara, and Beatrice Wood, among others. The movement influenced later styles like the avant-garde and downtown music movements, and groups including Surrealism, nouveau réalisme, pop art, and Fluxus.
West Holstein Railway Company
The West Holstein Railway Company was founded in 1875 with the aim of connecting the west Holstein region in the present-day district of Dithmarschen in the German state of Schleswig-Holstein with the railway junction of Neumünster and beyond with the cities of Kiel and Lübeck. Its creation involved the Kingdom of Prussia, the Altona-Kiel Railway Company, neighbouring villages and towns and the town of Tonning.

Holstein
Holstein (/ˈhoʊlstaɪn/; German: [ˈhɔlʃtaɪn] ⓘ; Northern Low Saxon: Holsteen; Danish: Holsten; Latin: Holsatia) is the region between the rivers Elbe and Eider. It is the southern half of Schleswig-Holstein, the northernmost state of Germany.

Holstein once existed as the German County of Holstein (German: Grafschaft Holstein; 811–1474), the later Duchy of Holstein (German: Herzogtum Holstein; 1474–1866), and was the northernmost territory of the Holy Roman Empire. The history of Holstein is closely intertwined with the history of the Danish Duchy of Schleswig (Danish: Slesvig). The capital of Holstein is Kiel.

Holstein's name comes from the Holcetae, a Saxon tribe mentioned by Adam of Bremen as living on the north bank of the Elbe, to the west of Hamburg. The name means "dwellers in the wood" or "hill-sitters" (Northern Low Saxon: Hol(t)saten; German: Holzsassen).
Philip Sherrard
Philip Owen Arnould Sherrard (23 September 1922 – 30 May 1995) was a British author and translator.

His work includes translations of Modern Greek poets, and books on Modern Greek literature and culture, metaphysics, theology, art and aesthetics. In England he was influential in making major Greek poets of the nineteenth and twentieth centuries known. Sherrard was a practising Eastern Orthodox Christian and was responsible, along with Kallistos Ware and G. E. H. Palmer, for the first full translation of the Philokalia into English. He also wrote prolifically on theological and philosophical themes, describing what he believed to be a social and spiritual crisis occurring in the developed world, specifically modern attitudes towards the biophysical environment from a Christian and perennialist perspective.

Angelos Sikelianos
Angelos Sikelianos (Greek: Άγγελος Σικελιανός [sikeʎaˈnos]; 28 March 1884 – 19 June 1951) was a Greek lyric poet and playwright. His themes include Greek history, religious symbolism as well as universal harmony in poems such as The Moonstruck, Prologue to Life, Mother of God, and Delphic Utterance. His plays include Sibylla, Daedalus in Crete, Christ in Rome, The Death of Digenis, The Dithyramb of the Rose and Asklepius. Although occasionally his grandiloquence blunts the poetic effect of his work, some of Sikelianos finer lyrics are among the best in Western literature. Every year from 1946 to 1951, he was nominated for the Nobel Prize for Literature.
Elizabeth Wolff
Elizabeth Anthoine Wolff (born January 9, 1984) is an American documentary film director and producer. Her work includes Bobby Kennedy for President (2018), I'll Be Gone in the Dark (2020), Gone Girls: The Long Island Serial Killer (2023), and Give Me the Ball! (2025).

Liz Garbus
Elizabeth Freya Garbus (born April 11, 1970) is an American documentary film director and producer. Notable documentaries Garbus has made are The Farm: Angola, USA, Ghosts of Abu Ghraib, Bobby Fischer Against the World, Love, Marilyn, What Happened, Miss Simone?, and Becoming Cousteau. She is co-founder and co-director of the New York City-based documentary film production company Story Syndicate.
Sadashivrao Bhau
Sadashivrao Bhau Bhatt (4 August 1730 – 14 January 1761) was the son of Chimaji Appa (younger brother of Baji Rao I) and Rakhmabai of the Pethe family, and the nephew of Baji Rao I. He held administrative responsibilities and served as a finance minister during the reign of Maratha ruler Rajaram II.

He was appointed sarsenapati (commander-in-chief) of the Maratha army and led its forces during the Third Battle of Panipat on 14 January 1761. The battle was fought against the army of Ahmad Shah Abdali and was one of the largest and bloodiest battles of the 18th century in India.

His role in the battle, both as a military commander and administrator, is remembered as a combination of organizational skill and the limitations imposed by logistical and strategic challenges.

Rukhmabai
Rukhmabai (22 November 1864 – 25 September 1955) was an Indian physician and feminist. She is best known for being one of the first practicing women doctors in colonial India (the first being Dr. Kadambini Ganguly who started practicing in 1886) as well as being involved in a landmark legal case involving her marriage as a child bride between 1884 and 1888. The case raised significant public debate across several topics, which most prominently included law vs tradition, social reform vs conservatism and feminism in both British-ruled India and England. This ultimately contributed to the Age of Consent Act in 1891.
French ship Bourbon (1692)
Bourbon was a ship of the line of the French Navy. She was armed with 68 guns, comprising twenty-six 24-pounder long guns on the lower gun deck and twenty-eight 12-pounder long guns on the upper gun deck, with eight 6-pounder long guns on the quarterdeck and six 6-pounder long guns on the forecastle.

Designed and built by François Coulomb, Bourbon was laid down at the Toulon arsenal in June 1692 as one of the replacements for the ships destroyed by an Anglo-Dutch attack at battles of Barfleur and La Hogue in June 1692. She was launched in November 1692 and commissioned into the French navy in February 1693.

Bourbon was captured by the Dutch warship De Zeven Provinciën at the battle of Vigo Bay on 23 October 1702 and burnt a week later.

Naval artillery in the Age of Sail
The Age of Sail encompasses the period of roughly 1571–1862, when large, sail-powered wooden naval warships dominated the high seas, mounting a large variety of types and sizes of cannon as their main armament. By modern standards, these naval artillery pieces were extremely inefficient, difficult to load, and short ranged. These characteristics, along with the handling and seamanship of the ships that mounted them, defined the environment in which the naval tactics in the Age of Sail developed.
Nitronium ion
The nitronium ion, [NO2]+, is a cation. It is an onium ion because its nitrogen atom has +1 charge, similar to ammonium ion [NH4]+. It is created by the removal of an electron from the paramagnetic nitrogen dioxide molecule NO2, or the protonation of nitric acid HNO3 (with removal of H2O).

It is stable enough to exist in normal conditions, but it is generally reactive and used extensively as an electrophile in the nitration of other substances. The ion is generated in situ for this purpose by mixing concentrated sulfuric acid and concentrated nitric acid according to the equilibrium:

H2SO4 + HNO3 → HSO−4 + [NO2]+ + H2O

Chemical equilibrium
In a chemical reaction, chemical equilibrium is the state in which both the reactants and products are present in concentrations which have no further tendency to change with time, so that there is no observable change in the properties of the system. This state results when the forward reaction proceeds at the same rate as the reverse reaction. The reaction rates of the forward and backward reactions are generally not zero, but they are equal. Thus, there are no net changes in the concentrations of the reactants and products. Such a state is known as dynamic equilibrium.
It is the subject of study of equilibrium chemistry.
Salem County, New Jersey
Salem County is the westernmost county in the U.S. state of New Jersey. Its western boundary is formed by the Delaware River, and it has the eastern terminus of the Delaware Memorial Bridge, which connects the county with New Castle, Delaware. Its county seat is Salem. The county is part of the South Jersey region of the state.

The county lies within the Philadelphia metropolitan area, also known as the Delaware Valley area. As of the 2020 census, the county retained its position as the state's least-populous county, with a population of 64,837, a decrease of 1,246 (−1.9%) from the 2010 census count of 66,083. The most populous place in Salem County is Pennsville Township with 12,684 residents as of the 2020 Census. Lower Alloways Creek Township covers 72.46 square miles (187.7 km2), the largest total area of any municipality.

Salem County, along with adjacent Gloucester County, also in South Jersey, have become an East Coast epicenter for logistics and warehouse construction.

Warehouse
A warehouse is a building for storing goods. Warehouses are used by manufacturers, importers, exporters, wholesalers, transport businesses, customs, etc. They are usually large plain buildings in industrial parks on the outskirts of cities, towns, or villages.

Warehouses usually have loading docks to load and unload goods from trucks. Sometimes warehouses are designed for the loading and unloading of goods directly from railways, airports, or seaports. They often have cranes and forklifts for moving goods, which are usually placed on ISO standard pallets and then loaded into pallet racks. Stored goods can include any raw materials, packing materials, spare parts, components, or finished goods associated with agriculture, manufacturing, and production.

In India and Hong Kong, a warehouse may be referred to as a godown. There are also godowns in the Shanghai Bund.
Arnold Scaasi
Arnold Isaacs (May 8, 1930 – August 3, 2015), known as Arnold Scaasi, was a Canadian fashion designer who created gowns for First Ladies Mamie Eisenhower, Barbara Bush, Hillary Clinton, and Laura Bush, in addition to such notable personalities as Joan Crawford, Ivana Trump, Princess Yasmin Aga Khan, Lauren Bacall, Diahann Carroll, Elizabeth Taylor, Catherine Deneuve, Brooke Astor, Arlene Francis, Mitzi Gaynor, Barbra Streisand and Mary Tyler Moore.

Yasmin Aga Khan
Yasmin Aga Khan (born December 28, 1949) is a Swiss-born American philanthropist known for raising public awareness of Alzheimer's disease. She is the younger daughter of American movie actress and dancer Rita Hayworth, and the third child of Aly Khan. Her paternal half-brother was Karim al-Husayni, Aga Khan IV.
Chartres
Chartres (French pronunciation: [ʃaʁtʁ] ⓘ) is the prefecture of the Eure-et-Loir department in the Centre-Val de Loire region in France. It is located about 90 km (56 mi) southwest of Paris. At the 2019 census, there were 170,763 inhabitants in the metropolitan area of Chartres (as defined by the INSEE), 38,534 of whom lived in the city (commune) of Chartres proper.

Chartres is famous worldwide for the Chartres Cathedral. Mostly constructed between 1193 and 1250, this Gothic cathedral is in an exceptional state of preservation. The majority of the original stained glass windows are intact, while the architecture has seen only minor changes since the early 13th century. Part of the old town, including most of the library associated with the School of Chartres, was destroyed by Allied bombs in 1944.

Functional area
An aire d'attraction d'une ville (or AAV, literally meaning "catchment area of a city") is a statistical area used by France's national statistics office INSEE since 2020, officially translated as functional area in English by INSEE, which consists of a densely populated urban agglomeration and the surrounding exurbs, towns and intervening rural areas that are socioeconomically tied to the central urban agglomeration, as measured by commuting patterns. INSEE's functional area (AAV) is therefore akin to what is most often called metropolitan area in English.
Hope (whale)
Hope is the skeleton of a juvenile female blue whale displayed in Hintze Hall, the main hall of the Natural History Museum, London. It measures 25.2 metres (83 ft) in length, consists of 221 bones, and weighs 4.5 tonnes.

Born around 1871 or at least 1876–1881, the whale lived for at least 10–15 years, with a maximum of 20, before becoming stranded on a sandbar near Wexford Harbour, Ireland, in March 1891 and being killed by a fisherman two days later. Its skeleton was sold to the Natural History Museum, where it was displayed in its Mammal Hall from 1934 before being moved to the museum's main Hintze Hall in 2017, replacing Dippy, a cast of a diplodocus skeleton.

Fisherman
A fisherman or fisher is someone who captures fish and other animals from a body of water, or gathers shellfish.

Worldwide, there are about 38 million commercial and subsistence fishers and fish farmers. Fishermen may be professional or recreational. Fishing has existed as a means of obtaining food since the Mesolithic period.
Alfonso, Duke of Anjou and Cádiz
Alfonso, Duke of Anjou, Duke of Cádiz, Grandee of Spain (Spanish: Don Alfonso Jaime Marcelino Manuel Víctor María de Borbón y Dampierre; French: Alphonse Jacques Marcellin Emmanuel Victor Marie de Bourbon; 20 April 1936 – 30 January 1989) was a grandson of King Alfonso XIII of Spain, a potential heir to the throne in the event of the restoration of the Spanish monarchy, and the Legitimist claimant to the throne of France.

Ruspoli family
The House of Ruspoli is an Italian noble family originally from Florence that became one of the great aristocratic families of Rome. Part of the black nobility, the family was elevated to princely status, as the Princes of Cerveteri, by Pope Clement XI in 1709. In 1721, the family was elevated to the status of Roman princes in the Papal States. The head of the family traditionally serves in the Pontifical Household as the Grand Master of the Sacred Apostolic Hospice.