hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Session type
In type theory, session types are used to ensure correctness in concurrent programs. They guarantee that messages sent and received between concurrent programs are in the expected order and of the expected type. Session type systems have been adapted for both channel and actor systems.

Session types are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.

Channel (programming)
Computer programming portal

In computing, a channel is a model for interprocess communication and synchronization via message passing. A message may be sent over a channel, and another process or thread is able to receive messages sent over a channel it has a reference to, as a stream. Different implementations of channels may be buffered or not, and either synchronous or asynchronous.
American Pop
American Pop is a 1981 American adult animated epic jukebox musical drama film starring Ron Thompson and produced and directed by Ralph Bakshi. It was the fourth animated feature film to be presented in Dolby sound. The film tells the story of four generations of the Belinskys, an immigrant family of musicians whose careers parallel the history of American popular music in the 20th century.

The majority of the film's animation was completed through rotoscoping, a process in which live actors are filmed and the subsequent footage is used for animators to draw over. However, the film also uses a variety of other media including water-colors, live-action shots, and archival footage.

Epic film
Epic films have large scale, sweeping scope, and spectacle. The term is slightly ambiguous, sometimes designating a film genre and at other times simply big-budget films. Like epics in the classical literary sense, it is often focused on a heroic character. An epic's ambitious nature helps to set it apart from other genres such as the period piece or adventure film.

Epic historical films would usually take a historical or a mythical event and add an extravagant setting, lavish costumes, an expansive musical score, and an ensemble cast, which would make them extremely expensive to produce. The most common subjects of epic films are royalty and important figures from various periods in world history.
Abu Bakr Ibn Mujāhid
Abu Bakr Ahmad ibn Musa ibn al-Abbas ibn Mujahid al-Atashi (Arabic: أبو بكر أحمد بن موسى بن العباس بن مجاهد التميمي, romanized: Abū Bakr Aḥmad ibn Mūsā ibn al-ʿAbbās Ibn Mujāhid al-ʿAṭashī, 859/860 – 936) was an Islamic scholar most notable for establishing and delineating the seven canonical Quranic readings (qira'at) in his work Kitāb al-sabʿa fī l-qirāʾāt. He was also notable for delivering the charge of heretical Quranic exegesis that reopened the trial of Mansur al-Hallaj, which ultimately led to his execution on the orders of the Abbasid caliph al-Muqtadir.

Al-Hallaj
Mansour al-Hallaj (Arabic: ابو المغيث الحسين بن منصور الحلاج, romanized: Abū 'l-Muġīth al-Ḥusayn ibn Manṣūr al-Ḥallāj) or Mansour Hallaj (Persian: منصور حلاج, romanized: Mansūr-e Hallāj) (c. 858 – 26 March 922) (Hijri c. 244 AH – 309 AH) was a mystic, poet, and teacher of Sufism. He was best known for his saying, "I am the Truth" ("Ana'l-Ḥaqq"), which many saw as a claim to divinity, while others interpreted it as an instance of annihilation of the ego, which allowed God to speak through him. Al-Hallaj gained a wide following as a preacher before he became implicated in power struggles of the Abbasid court and was executed after a long period of confinement on religious and political charges. Although most of his Sufi contemporaries disapproved of his actions, Hallaj later became a major figure in the Sufi tradition.
Order of the German Eagle
The Order of Merit of the German Eagle (German: Verdienstorden vom Deutschen Adler) was an award of the German Nazi regime, predominantly to foreign diplomats. The Order was instituted on 1 May 1937 by Adolf Hitler.
It ceased to be awarded following the collapse of Nazi Germany at the end of World War II in Europe. The wearing of the Order of Merit of the German Eagle is prohibited in the Federal Republic of Germany.

Order of the Red Eagle
The Order of the Red Eagle (German: Roter Adlerorden) was an order of chivalry of the Kingdom of Prussia. It was awarded to both military personnel and civilians, to recognize valor in combat, excellence in military leadership, long and faithful service to the kingdom, or other achievements. As with most German and other European orders, the Order of the Red Eagle could be awarded only to commissioned officers or civilians of approximately equivalent status. However, there was a medal of the order, which could be awarded to non-commissioned officers and enlisted men, lower ranking civil servants and other civilians.
Everything Is Broken
"Everything is Broken" is an uptempo rock song written and recorded by American singer-songwriter Bob Dylan, and released as the first single from his 1989 album Oh Mercy, where it appears as the third track. It was later anthologized on the compilation albums The Essential Bob Dylan in 2000 and Dylan in 2007. The song spent eight weeks on Billboard's "Mainstream Rock Songs" chart, peaking at number eight on October 27, 1989. It was produced by Daniel Lanois.

The Essential Bob Dylan
The Essential Bob Dylan is a compilation by Bob Dylan, released in 2000 as the inaugural entry in Sony Music's "The Essential" double-disc series. The Essential Bob Dylan spans from 1963's "Blowin' in the Wind" (from The Freewheelin' Bob Dylan) to 2000's "Things Have Changed" (Dylan's Oscar-winning song from the motion picture Wonder Boys).

The Essential Bob Dylan has proven to be a solid seller in Dylan's catalog, reaching No. 67 in the US and peaking at No. 9 in the UK.

The British and Australian releases include all of the tracks from the US edition plus several more. It has been reissued in 2009 and 2016 with varying track listings.
Sqiah
Sqiah (Arabic: الصقيعة)  is a Syrian village located in Sinjar Nahiyah in Maarrat al-Nu'man District, Idlib.  According to the Syria Central Bureau of Statistics (CBS), Sqiah had a population of 599 in the 2004 census.

Idlib Governorate
Idlib Governorate (Arabic: مُحافظة ادلب, romanized: Muḥāfaẓat Idlib) is one of the fourteen governorates (provinces) of Syria. It is situated in northwestern Syria, bordering Turkey's Hatay province to the north, Aleppo Governorate to the east, Hama Governorate to the south, and Latakia Governorate to the west. Reports of its area vary, depending on the source, from 5,933 square kilometres (2,291 sq mi)2 to 6,097 square kilometres (2,354 sq mi)2. The provincial capital is Idlib.
Britain Stronger in Europe
Britain Stronger in Europe (formally The In Campaign Limited) was an advocacy group which campaigned in favour of the United Kingdom's continued membership of the European Union in the 2016 British referendum. It was launched at the Old Truman Brewery in London on 12 October 2015, and declared as the official "Remain" campaign for the referendum by the Electoral Commission on 13 April 2016.

In the 2016 United Kingdom European Union membership referendum, 51.9% voted in favour of leaving the EU, which meant that the Britain Stronger in Europe campaign was unsuccessful in achieving its main goal.

Following the referendum, many of the individuals involved such as Peter Mandelson and Roland Rudd would go on to form the Open Britain campaign group. On 6 September 2016 Britain Stronger in Europe officially changed its name on Companies House to Open Britain. On 15 April 2018, Open Britain launched the People's Vote, the campaign for a second EU Referendum.

Electoral Commission (United Kingdom)
In the United Kingdom, the Electoral Commission is the national election commission, created in 2001 as a result of the Political Parties, Elections and Referendums Act 2000. It is an independent agency that regulates party and election finance and sets standards for how elections should be run.
Martin Murray
Martin Murray is the name of:

Martin Murray (boxer) (born 1982), British professional boxer

Martin Glyn Murray (born 1966), Welsh actor

Martin L. Murray (1909–1990), Democratic member of the Pennsylvania State Senate

Martin Murray (footballer) (born 1958), Irish footballer and manager

Martin Murray (boxer)
Martin Murray (born 27 September 1982) is a British former professional boxer who competed 2007 to 2020. He held the WBA interim middleweight title from 2011 to 2014, the British and Commonwealth middleweight titles between 2010 and 2012, and challenged five times for a world title.
Trolleybuses in Stavanger
The Stavanger trolleybus system was the shortest trolleybus network in Norway, in both route length and time span. The system was opened on 26 October 1947 and closed on 11 January 1963. It was operated by Stavanger Buss-Selskap.

Trolleybus
A trolleybus (also known as trolley bus, trolley coach, trackless trolley, trackless tram (in the 1910s and 1920s), road tram or simply trolley) is an electric bus that draws power from dual overhead lines (generally suspended from roadside posts) using spring-loaded or pneumatically raised trolley poles. Two wires, and two trolley poles, are required to complete the electrical circuit. This differs from a tram or streetcar, which normally uses the track as the return path, needing only one wire and one pole (or pantograph). They are also distinct from other kinds of electric buses, which usually rely on batteries. Power is most commonly supplied as 600-volt direct current in older systems and 750-volts in newer systems, but there are exceptions.

Currently, around 300 trolleybus systems are in operation, in cities and towns in 43 countries. Altogether, more than 800 trolleybus systems have existed, but not more than about 400 concurrently.
FC Slovácká Slavia Uherské Hradiště
FC Slovácká Slavia Uherské Hradiště was a Czech football club from the town of Uherské Hradiště, which played one season in the Czech First League. It was founded in 1894.

Uherské Hradiště won promotion to the country's top flight, the Czech First League, after finishing first in the 1994–95 Czech 2. Liga. The club subsequently featured in the 1995–96 Czech First League, under the name of FC JOKO Slovácká Slavia Uherské Hradiště, finishing bottom of the league and winning only three of their thirty matches. The club dropped out of the second league after winning just twice in the 1997–98 Czech 2. Liga. In 2000 the club was merged with FC Synot from the town of Staré Město, becoming 1. FC Synot.

Staré Město (Uherské Hradiště District)
Staré Město (Czech pronunciation: [ˈstarɛː ˈmɲɛsto]; in 1950–1996 Staré Město u Uherského Hradiště; German: Altstadt) is a town in Uherské Hradiště District in the Zlín Region of the Czech Republic. It has about 6,600 inhabitants. It lies on the right bank of the Morava River and creates a conurbation with Uherské Hradiště.

The area of Staré Město was inhabited already in the 9th century, during the era of the Great Moravian Empire. Today, there is the Great Moravia Monument, which presents the history of the empire and life in it.
El Beïda
El Beïda (sometimes written El Bayada) is a village in the commune of El Ouata, in Béchar Province, Algeria. The village lies on the Oued Saoura 28 kilometres (17 mi) north of Béni Ikhlef and 11 kilometres (6.8 mi) southeast of El Ouata.

Communes of Algeria
The communes of Algeria (Arabic: بلدية (singular)), also known as municipalities, form the third level of administrative subdivisions of Algeria. As of 2002, there were 1,541 municipalities in the country. The municipalities are also known as communes (baladiyahs).
Nera (Tiber)
The Nera is a 116-kilometre (72 mi) long river that flows almost entirely in Umbria, Italy. It is the largest tributary to the Tiber. Its sources are in the Monti Sibillini, east of Foligno. It flows southward past Terni and Narni. It joins the Tiber near Orte. Its largest tributaries are the Velino and the Corno.

Sibillini Mountains
The Sibillini Mountains, or Sibylline Mountains (Italian: Monti Sibillini) are one of the major mountain groups in the Italian Peninsula, and part of the Apennines range. Most of the peaks are over 2,000 m (6,600 ft); the highest is Monte Vettore at 2,476 m (8,123 ft).

Since 1993 the area has been part of the Parco Nazionale dei Monti Sibillini (Sibillini Mountains National Park).

The present-day landscape morphology, predominantly U-shaped valleys and glacial depressions, is due to the action of glaciers during the Quaternary period.
2009 Leeds refuse workers' strike
On 7 September 2009, refuse workers in the City of Leeds, West Yorkshire, England, began an eleven-week strike in protest of pay cuts in a revised pay scheme proposed by Leeds City Council. The council reached a settlement with the unions representing the city's refuse workers, with pay cuts being retained but reduced.

Waste collector
A waste collector, also known as a garbage man, garbage collector, trashman (in the U.S), binman or dustman (in the UK), is a person employed by a public or private enterprise to collect and dispose of municipal solid waste (refuse) and recyclables from residential, commercial, industrial or other collection sites for further processing and waste disposal. Specialised waste collection vehicles (also known as garbage trucks in the U.S., bin lorries in the UK) featuring an array of automated functions are often deployed to assist waste collectors in reducing collection and transport time and for protection from exposure. Waste and recycling pickup work is physically demanding and usually exposes workers to an occupational hazard.

The first known waste collectors were said to come from Britain in the 1350s, coinciding with the Black Plague, and were called "rakers."

A related occupation is that of a sanitation worker who operates and maintains sanitation technology.: 2
Vietnam's Got Talent
Tìm kiếm tài năng – Vietnam's Got Talent is a Vietnamese reality television talent show that features singers, dancers, magicians, comedians, martial-art players, performers with risky weapons/tools/elements, variety acts and other performers of all ages competing for a grand prize of 400,000,000 VND (approximately $20,000). The show was based on the Got Talent series format that originated by Simon Cowell in the United Kingdom. Its first season aired Sunday nights at 9:00PM (UTC+7) between 18 December 2011 and 6 May 2012 on VTV3 and MTV Vietnam.

The show is primarily produced by Vietnam Television and BHD Corp.

UTC+07:00
UTC+07:00 is an identifier for a time offset from UTC of +07:00. In ISO 8601, the associated time would be written as 2026-02-17T21:18:31+07:00. It is seven hours ahead of UTC, meaning that when the time in UTC is midnight (00:00), the time in areas using the time zone would be 07:00.

Also known as Indochina Time (ICT) and Western Indonesian Time (Indonesian: Waktu Indonesia Barat, WIB) (in Indonesia), it is used in:
Carate Urio
Carate Urio (Comasco: Caraa Uri [kaˌraː ˈyːri]) is a comune (municipality) in the Province of Como in the Italian region Lombardy, located about 45 kilometres (28 mi) north of Milan and about 6 kilometres (4 mi) northeast of Como.

Founded in 1927 by the merger of Carate Lario and Urio, Carate Urio borders the following municipalities: Brienno, Faggeto Lario, Laglio, Moltrasio, Schignano, Torno.

Comasco dialect
Comasco (endonym: comasch), anglicized as Comasque, is a dialect belonging to the Western branch of Lombard language, spoken in the city and suburbs of Como. Comasco is part of the Comasco-Lecchese dialect group.
Track geometry car
A track geometry car (also known as a track recording car) is an automated track inspection vehicle on a rail transport system used to test several parameters of the track geometry without obstructing normal railroad operations. Some of the parameters generally measured include position, curvature, alignment of the track, smoothness, and the crosslevel of the two rails. The cars use a variety of sensors, measuring systems, and data management systems to create a profile of the track being inspected.

Track gauge
In rail transport, track gauge is the distance between the two rails of a railway track. All vehicles on a rail network must have wheelsets that are compatible with the track gauge. Since many different track gauges exist worldwide, gauge differences often present a barrier to wider operation on railway networks.

The term derives from the metal bar, or gauge, that is used to ensure the distance between the rails is correct.

Railways also deploy two other gauges to ensure compliance with a required standard. A loading gauge is a two-dimensional profile that encompasses a cross-section of the track, a rail vehicle and a maximum-sized load: all rail vehicles and their loads must be contained in the corresponding envelope. A structure gauge specifies the outline into which structures (bridges, platforms, lineside equipment etc.) must not encroach.
Centre hospitalier Sud Seine et Marne
The Centre hospitalier Sud Seine et Marne is a teaching hospital in Fontainebleau, Montereau-Fault-Yonne and Nemours in France. It is a teaching hospital of Paris-Est Créteil University.

It is a result of the merger of three hospitals in each of the above cities.

It was established in January 2017.

Paris-East Créteil University
Paris-East Créteil University (French: Université Paris-Est Créteil, commonly known as Paris XII or UPEC) is a public university located in Créteil, Île-de-France, France. It was inaugurated in 1970. The institution provides instruction in the social sciences, educational sciences, economics and development, administration and exchange, law, arts and humanities, and science and technology.

The university is composed of seventeen institutes situated in Créteil (Val-de-Marne), Seine-Saint-Denis, Seine-et-Marne, and in the 14th arrondissement of Paris.
Yuriko Shiratori
Yuriko Shiratori (白鳥 百合子, Shiratori Yuriko; born April 29, 1983 in Sendai) is a retired Japanese gravure idol, tarento artist, and actress formerly affiliated with A-Team Entertainment Production Agency.

Television personalities in Japan
Television personalities in Japan, known as tarento (タレント; derived from Portuguese talento) in Japanese, are celebrities who regularly appear in mass media in Japan, especially as panelists on variety shows. During the Golden Age of Hollywood, bankable stars in the United States were described as "talents" and were distinguished from production crews, which were seen as having more technical than charismatic talents.
Margaritaville Resort Biloxi
Margaritaville Resort Biloxi is a resort hotel in Biloxi on the Mississippi Gulf Coast. It previously operated with a dockside casino as Casino Magic Biloxi Casino & Hotel, until it was severely damaged by Hurricane Katrina in 2005.  The property has a 373-room hotel, located on 10.6 acres (4.3 ha) of land.

Casino Magic and its neighbors, the Isle of Capri Biloxi and Grand Casino Biloxi made up a district known as "Casino Row".

Riverboat casino
A riverboat casino is a type of casino on a riverboat found in several states in the United States with frontage on the Mississippi River and its tributaries, or along the Gulf Coast. Several states authorized this type of casino in order to enable gambling, but limit the areas where casinos could be constructed. It was a type of legal fiction as the riverboats were rarely, if ever, taken away from the dock.
BSTFA
N,O-Bis(trimethylsilyl)trifluoroacetamide (BSTFA) is an organosilicon compound.  It is a colorless liquid that is very sensitive to traces of water or alcohols.

It is often used to convert hydroxyl groups to trimethylsilyl ether groups (Me = CH3):

ROH  +  CF3C(OSiMe3)NSiMe3 → CF3C(O)NH(SiMe3)  +  ROSiMe3

These silylated derivatives are amenable to analysis or further manipulation. Siloxanes are invariably more volatile than their hydroxyl precursors, and thus they can be more easily analyzed with gas chromatography.

This reagent was first reported in 1968.

Hydroxy group
In chemistry, a hydroxy or hydroxyl group is a functional group with the chemical formula −OH and composed of one oxygen atom covalently bonded to one hydrogen atom. In organic chemistry, alcohols and carboxylic acids contain one or more hydroxy groups. Both the negatively charged anion HO−, called hydroxide, and the neutral radical HO·, known as the hydroxyl radical, consist of an unbonded hydroxy group.

According to IUPAC definitions, the term hydroxyl refers to the hydroxyl radical (·OH) only, while the functional group −OH is called a hydroxy group.
2023 New South Wales National Party leadership spills
The 2023 New South Wales National Party leadership spills were a series of leadership spills held following the 2023 state election, where the Liberal-National Coalition lost power and returned to Opposition for the first time in 12 years.

The first spill was held on 5 April 2023. Although incumbent leader Paul Toole was challenged by Dugald Saunders, Toole remained leader, winning the ballot eight votes to seven, with one informal vote. Bronnie Taylor remained deputy leader.

The Nationals' senior Coalition partner, the Liberal Party, also later held a leadership election following the resignation of Dominic Perrottet. Mark Speakman won the state's Liberal leadership, Natalie Ward won the state's deputy leadership and Damien Tudehope was re-elected Upper House leader.

Following Ben Franklin's decision to nominate as Upper House President, a second spill was held on 8 May 2023. Saunders successfully replaced Toole as leader.

Opposition (New South Wales)
The Opposition in the Australian state of New South Wales comprises the largest party or coalition of parties not in Government. The Opposition's purpose is to hold the Government to account and constitute a "Government-in-waiting" should the existing Government fall. To that end, a Leader of the Opposition and Shadow Ministers for the various government departments question the Premier and Ministers on Government policy and administration, and formulate the policy the Opposition would pursue in Government. It is sometimes styled "His Majesty's Loyal Opposition" to demonstrate that although it opposes the Government, it remains loyal to the King.

The Leader of the Opposition is currently Liberal Leader Kellie Sloane since 2025.
2019 President's Cup – Women's doubles
Berfu Cengiz and Anna Danilina were the defending champions but lost in the first round to Ilona Kremen and Iryna Shymanovich.

Marie Bouzková and Vivian Heisen won the title, defeating Vlada Koval and Kamilla Rakhimova in the final, 7–6(10–8), 6–1.

Kamilla Rakhimova
Kamilla Stanislavovna Rakhimova (Russian: Камилла Станиславовна Рахимова, IPA: [kɐˈmʲiɫə rɐˈxʲiməvə]; born 28 August 2001) is a Russian-born Uzbekistani professional tennis player. She has a career-high WTA singles ranking of No. 60, achieved on 30 December 2024 and a best doubles ranking of No. 51, attained on 25 August 2025.

Rakhimova has won three doubles titles on the WTA Tour along with two doubles titles on the WTA Challenger Tour as well as two WTA Challenger singles titles.
Nevado Las Agujas
Nevado Las Agujas (Spanish for The Snowy Needles) is a pyramidal peak in the Andes Mountains of Futrono, in Chile, close to the border with Argentina. With an elevation of 2,120 metres (6,960 ft; 1.32 mi), it has a prominence of 300 m (984 ft) above the surrounding terrain. Together with Cerro Chihuío, it forms the granitic mountain massif of Nevados Las Agujas, which geologically belongs to the North Patagonian Batholith.

Futrono
Futrono (from the Mapudungun: Futronhue, meaning "place of smoke") is a city and commune in southern Chile administered by the Municipality of Futrono. It is located in Ranco Province in Los Ríos Region, on the northwest shore of Ranco Lake.