hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
MCRL2
mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra (Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions.

The toolset was founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at
Eindhoven University of Technology, The Netherlands.

Eindhoven University of Technology
The Eindhoven University of Technology (Dutch: Technische Universiteit Eindhoven; TU/e) is a public technical university in the Netherlands, situated in Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc and MSc programs and around 1350 students were enrolled in its PhD and EngD programs. In 2021, the TU/e employed around 3900 people.

TU/e is the Dutch member of the EuroTech Universities Alliance, a partnership of European universities of science & technology. The other members are Technical University of Denmark (DTU), École Polytechnique Fédérale de Lausanne (EPFL), École Polytechnique (L’X), The Technion, and Technical University of Munich (TUM).
Mateus Evangelista Cardoso
Mateus Evangelista Cardoso (born 15 February 1994) is a Brazilian Paralympic athlete with cerebral palsy. He competes in several T37-classification athletics events.

He represented Brazil at the 2016 Summer Paralympics held in Rio de Janeiro, Brazil and he won the silver medal in the men's long jump T37 event. At the 2016 Summer Paralympics, he also finished in 4th place in the men's 100 metres T37 event.

In 2021, he won one the bronze medal in the men's long jump T37 event at the 2020 Summer Paralympics held in Tokyo, Japan. He earned bronze again in the same event at the 2024 Summer Paralympics in Paris, France.

Athletics at the 2016 Summer Paralympics – Men's 100 metres T37
The T37 category is for ambulant athletes with cerebral palsy. These athletes have movement and coordination problems on one half of their body. They have good ability in their dominant side of their body (ie hemiplegia).

The Athletics at the 2016 Summer Paralympics – Men's 100 metres T37 event at the 2016 Paralympic Games took place on 10–11 September 2016, at the Estádio Olímpico João Havelange.
Lets Link
"Lets Link" is a song by American rapper WhoHeem. It was released on August 20, 2020, and garnered popularity soon after on the video-sharing app TikTok. A remix featuring American rapper ppcocaine was released, along with another featuring American rappers Lil Mosey, and Tyga. A music video was released on October 5, 2020.

Ppcocaine
Lilliane Catherine Diomi (born June 1, 2001), known professionally as ppcocaine (previously known as trapbunniebubbles), is an American social media personality and rapper. She is perhaps best known for her song "3 Musketeers" that gained popularity on the video-sharing platform TikTok.
Chisti Nagar
Chisti Nagar or Chishti Nagar  (Urdu: چشتی نگر) is a residential neighbourhood in the Orangi municipality of Karachi, Pakistan.

It is administered as part of Karachi West district, but was part of the Orangi Town borough until that was disbanded in 2011.

There are several ethnic groups including Muhajirs, Sindhis, Kashmiris, Seraikis, Pakhtuns, Balochis, Memons, Bohras Ismailis, etc. Over 99% of the population is Muslim. The population of Orangi town is estimated to be nearly one million.

This neighbourhood is named after the famous Sufi Hazrat Khawaja Mu'īnuddīn Chishtī of the Chishti Order.

Kashmiris
Kashmiri people (Kashmiri pronunciation: [kəːʃirʲ]) are an Indo-Aryan ethnolinguistic group speaking the Kashmiri language and originating from the Kashmir Valley region, which is located in Indian-administered Jammu and Kashmir.
1910 Wyoming gubernatorial election
The 1910 Wyoming gubernatorial election was held on November 8, 1910. Incumbent Republican Governor Bryant B. Brooks declined to seek re-election. The leading Republican candidates to succeed him were initially former U.S. Senator Joseph M. Carey and Attorney General William E. Mullen. However, shortly before the Republican convention, Carey announced he would instead run as an independent candidate. Shortly thereafter, Mullen was formally nominated by the Republican Party. A week later, at the Democratic convention, Carey was named as the Democratic nominee for Governor. In the general election matchup between Carey and Mullen, Carey won a sizable victory, winning every county in the state, a feat that no other Democratic nominee would accomplish until Dave Freudenthal in 2006.

Bryant Butler Brooks
Bryant Butler Brooks (February 5, 1861 – December 8, 1944) was an American businessman, rancher, politician, oilman, banker and published author.  He was the seventh governor of Wyoming from January 2, 1905, until January 2, 1911.
Valerie Jaudon
Valerie Jaudon (born August 6, 1945) is an American painter commonly associated with various Postminimal practices – the Pattern and Decoration movement of the 1970s, site-specific public art, and new tendencies in abstraction.

Postminimalism
Postminimalism is an art term coined (as post-minimalism) by Robert Pincus-Witten in 1971 and used in various artistic fields for work which is influenced by, or attempts to develop and go beyond, the aesthetic of minimalism. The expression is used specifically in relation to music and the visual arts, but can refer to any field using minimalism as a critical reference point. 
In music, postminimalism refers to music following minimal music.
Shenzhen Bay Sports Center
Shenzhen Bay Sports Center (Chinese: 深圳湾体育中心), nicknamed Spring Cocoon (Chinese: 春茧) for its shape, is a multiuse stadium in Shenzhen, China. It is used mostly for table tennis, swimming and soccer competitions. The stadium is known for hosting the annual RoboMaster Robotics Competition since 2015, as well as the opening ceremony and some events of the 2011 Summer Universiade. The stadium has a capacity of 20,000 spectators and the gymnasium seats 13,000. The Sports Center also hosts regular concerts and has been used as a military staging area.

Opening ceremony
An opening ceremony, grand opening, or ribbon-cutting ceremony marks the official opening of a newly constructed location or the start of an event. Opening ceremonies at significant events such as the Olympic Games, FIFA World Cup, and the Rugby World Cup might involve thousands of participants and be watched worldwide. Such tournaments often also include a closing ceremony at the end of the event.
Breaking Free (film)
Breaking Free is a 2015 film by Sridhar Rangayan, produced by Solaris Pictures. The film revolves around filmmaker and gay rights activist Sridhar Rangayan exposing the human rights violations faced by the LGBTQ community in India. The film was selected to be part of the Indian Panorama (non-Fiction) and screened at International Film Festival of India in 2015.

It won the Rajat Kamal National Award for Best Editing (Non-Fiction) in 2016 for its editors Pravin Angre and Sridhar Rangayan. It also won the Barbara Gittings Human Rights Award at qFLIX Philadelphia in 2016. 
It is currently streaming on Netflix.

International Film Festival of India
The International Film Festival of India (IFFI), founded in 1952, is an annual film festival currently held in Goa, on the western coast of India. The festival aims at providing a common platform for the cinemas of the world to project the excellence of the film art; contributing to the understanding and appreciation of film cultures of different nations in the context of their social and cultural ethos, and promoting friendship and cooperation among people of the world. The festival is conducted jointly by the National Film Development Corporation of India (under the Ministry of Information and Broadcasting) and the state Government of Goa.
2017 Mobil 1 SportsCar Grand Prix
The 2017 Mobil 1 SportsCar Grand Prix was a sports car race sanctioned by the International Motor Sports Association (IMSA). The race was held at Canadian Tire Motorsports Park in Bowmanville, Ontario, Canada on July 9, 2017. The race was the seventh round of the 2017 IMSA SportsCar Championship.

CORE Autosport
CORE Autosport was an American auto racing team founded by Jon Bennett in 2010 and based out of Rock Hill, South Carolina. After claiming the IMSA Lites Championship in 2010, the team, led by team manager, Morgan Brady, made the move to competing in the American Le Mans Series. The team competed in the WeatherTech SportsCar Championship fielding the Nos. 911 and 912 Porsche 911 RSR as Porsche GT Team in GT Le Mans under a works contract.
Arthur Evans (politician)
Henry Arthur Evans (24 September 1898 – 25 September 1958), known as Arthur Evans, was a British politician.

He contested the 1922 London County Council election as a Progressive candidate for Lewisham West but was unsuccessful.

He was National Liberal Party Member of Parliament (MP) for Leicester East from 1922 to 1923 and Conservative MP for Cardiff South from 1924 to 1929, and from 1931 to 1945.  At the 1945 general election he was defeated by the future Labour Prime Minister James Callaghan.

1922 London County Council election
An election to the County Council of London took place on 2 March 1922. It was the eleventh triennial election of the whole council. There were sixty dual member constituencies and one four member constituency, making a total of 124 seats. The council was elected by First Past the Post with each elector having two votes in the dual member seats.
Sentimental Journey: The Girl Singer and Her New Big Band
Sentimental Journey: The Girl Singer and Her New Big Band is a 2001 album by Rosemary Clooney. This was Clooney's last studio recording. Clooney sings on the album with Big Kahuna and the Copa Cat Pack, a 12-piece swing band led by musician Matt Catingub. Clooney's longtime musical director John Oddo arranged and conducted the music. Clooney and Big Kahuna and the Copa Cat Pack recorded the album following a lengthy performance run at New York's Regency Hotel.

Harold Arlen
Harold Arlen (born Hyman Arluck; February 15, 1905 – April 23, 1986) was an American composer of popular music, who composed over 500 songs, a number of which have become known worldwide. In addition to composing the songs for the 1939 film The Wizard of Oz (lyrics by Yip Harburg), including "Over the Rainbow", which won him the Oscar for Best Original Song, he was nominated as composer for 8 other Oscar awards. Arlen is a contributor to the Great American Songbook. "Over the Rainbow" was voted the 20th century's No. 1 song by the RIAA and the NEA.
Mary Pierce
Mary Caroline Pierce (born 15 January 1975) is a French former professional tennis player. She was ranked world No. 3 in singles and in doubles by the Women's Tennis Association (WTA). Pierce won 18 singles titles on the WTA Tour, including two majors at the 1995 Australian Open and the 2000 French Open, and five Tier I singles events. Pierce was a finalist at a further four singles majors, and twice at the Tour Finals.

In doubles, Pierce won 10 doubles titles on the WTA Tour, including two major titles at the 2000 French Open in women's doubles partnering Martina Hingis, and at the 2005 Wimbledon Championships in mixed doubles partnering Mahesh Bhupathi. She was also a runner-up in women's doubles at the 2000 Australian Open, partnering Hingis.

Pierce was inducted into the International Tennis Hall of Fame in 2019. She is the most recent Frenchwoman to win the French Open singles title.

International Tennis Hall of Fame
The International Tennis Hall of Fame is located in Newport, Rhode Island, United States. It honors both players and other contributors to the sport of tennis. The complex, the former Newport Casino, includes a museum, 13 grass tennis courts, an indoor tennis facility with three courts, three outdoor hard courts, one green clay court, a court tennis facility, and a theatre. The International Tennis Hall of Fame is a non-profit organization with the goal of preserving, celebrating, and inspiring the sport of tennis around the world.

The location was the original home of the U.S. National Championships (now called the US Open), established in 1881. Since 1976, the complex has hosted the Hall of Fame Open, a combined men's and women's event, each year in July.
Bridge River Cones
The Bridge River Cones, sometimes referred to as the Lillooet Cones and Salal Creek Cones, is the name given to a volcanic field located on the north flank of the upper Bridge River, about 40 km (25 mi) west of the town of Gold Bridge.  The cones are in the lee of the Lillooet Icecap and sit astride a group of passes between the Bridge River, which flows W-E to their south, and the Lord River, which flows north to the Taseko Lakes in the Chilcotin District.

Taseko Lakes
The Taseko Lakes are a pair of lakes, Upper Taseko Lake and Lower Taseko Lake, which are expansions of the upper Taseko River in the southern Chilcotin District of the Central Interior of British Columbia, Canada.  Their name is based on the original in the Chilcotin language, Dasiqox Biny, where "Desiqox" means "Mosquito River" and is cognate to the name of the river as in English; the Chilcotin name refers to both lakes as one lake, which was also originally the case with the English usage until official designation of the separate lakes in 1954. The lakes are separated by the short Taseko Narrows, the name of which in Chilcotin is nanats'akash, and is an important crossing place for deer.  The Tchaikazan River flows the area between the upper & lower lake from the southwest, while the Taseko River feeds it from the southeast, while the equally large Lord River joins it from the south, at the head of the lake.
Apertura 2024 Liga MX final phase
The Apertura 2024 Liga MX final phase was played between 20 November and 15 December 2024. A total of ten teams will compete in the final phase to decide the champions of the Apertura 2024 Liga MX season.

For the third straight season, the number of clubs qualifying for the quarter-finals will be six while the teams qualifying for the reclassification is four. The four clubs qualified for the reclassification competed in the "play-in" round, a tournament modeled after the NBA play-in tournament.

América defeated Monterrey 3–2 on aggregate to win their third straight title and sixteenth overall. As winners, América will face the Clausura 2025 champion at the 2025 Campeón de Campeones.

NBA play-in tournament
The NBA play-in tournament is the preliminary National Basketball Association (NBA) postseason tournament. It determines the final two playoff seeds in the Eastern Conference and Western Conference and is played immediately prior to the NBA playoffs, which is the main tournament of the postseason and regarded by the league as separate from the play-in tournament. Teams finishing the regular season in positions 7 through 10 in the standings for each conference compete to determine the number 7 and 8 seeds in each conference's bracket tournament.
The Old Bakery, Manor Mill & Forge
50°41′32″N 3°08′16″W﻿ / ﻿50.6922°N 3.1379°W﻿ / 50.6922; -3.1379

The Old Bakery, Manor Mill & Forge is a collection of buildings in Branscombe, Seaton, Devon, England. The property has been in the ownership of the National Trust since 1965.

The property consists of three buildings: a bakery, a watermill and a forge.

The Old Bakery is a stone-built and partially rendered thatched building. It was the last traditional working bakery in the county when it closed its doors in 1987. The old baking equipment has been preserved in the baking room and the rest of the building now serves as a tea room.

The water-powered Manor Mill probably supplied the flour for the bakery. The mill has recently been restored and is now in full working order.

The Forge is the only thatched forge surviving in England. The blacksmith sells the ironwork he produces.

Ironwork
Ironwork is any weapon, artwork, utensil, or architectural feature made of iron, especially one used for decoration. There are two main types of ironwork: wrought iron and cast iron. While the use of iron dates as far back as 4000 BC, it was the Hittites who first knew how to extract it (see iron ore) and develop weapons. Use of iron was mainly utilitarian until the Middle Ages; it became widely used for decoration in the period between the 16th and 19th century.
5.7 cm Maxim-Nordenfelt
The 5.7 cm Maxim-Nordenfelt "Canon de caponnière" was a fortress gun and infantry gun developed during the 1880s in Britain which was sold to Belgium and later produced under license by the Cockerill company.  It saw action during World War I in both Belgian and German hands.

Infantry support gun
Infantry support guns or battalion guns are artillery weapons designed and used to increase the firepower of the infantry units they are intrinsic to, offering immediate tactical response to the needs of the unit's commanding officer. They typically have short, low-velocity barrels, and light construction carriages, allowing them to be more easily manoeuvered on the battlefield. They are generally used for direct fire, rather than the indirect fire of other types of artillery. Their role has generally been replaced by tanks using tank guns, infantry fighting vehicles using autocannons, other combat vehicles, mortars, recoilless rifles, rocket-propelled grenades, and shoulder-launched missiles.
Dayna Smith (basketball)
Dayna Smith is an American basketball player and coach who is currently the director of player development for the UMass Minutewomen basketball team. She previously was the head coach of the Cornell Big Red women's basketball team for 22 seasons from 2002 until 2024.

Cornell Big Red women's basketball
The Cornell Big Red women's basketball team is the intercollegiate women's basketball program representing Cornell University. The school competes in the Ivy League in Division I of the National Collegiate Athletic Association (NCAA). The Big Red play home basketball games at the Newman Arena in Ithaca, New York on the university campus.
Spring Creek Mountain
Spring Creek Mountain is a summit of the South Mountains in Juab County, Utah, but the mountain lies partly within White Pine County, Nevada.

The summit lies at an elevation of 9,071 feet (2,765 meters).

White Pine County, Nevada
White Pine County is a largely rural, mountain county along the central eastern boundary of the U.S. state of Nevada. As of the 2020 census, the population was 9,080.  Its county seat is Ely. The name "(Rocky Mountain) white pine" is an old name for the limber pine (Pinus flexilis), a common tree in the county's mountains. The county boasts dark skies, clean air and millions of acres of unspoiled public land. It is the home of Great Basin National Park, one of America's most remote and least visited national parks. It is also home to no less than 14 federally designated wilderness areas, offering an abundance of terrain available to explore for hikers, backpackers, skiers, hunters and anglers. The Ely Shoshone Indian Reservation is located in the county, on the south side of the City of Ely. The reservation has a land area of 104.99 acres (0.4249 km2) and a 2000 census official resident population of 133 people.
Tairua River
The Tairua River is a river located on the east coast of the Coromandel Peninsula in the North Island of New Zealand. It flows north and then northeast for a total of 35 kilometers (22 miles) from its source in the Coromandel Range, west of Whangamatā, passing through the town of Hikuai before emptying into the Tairua Harbour, which opens into the Pacific Ocean at Tairua on the peninsula's east coast. The small Shoe Island lies directly opposite the river's mouth, 2 kilometers (1.2 miles) out into the Pacific.

Artificial fly
An artificial fly or fly lure is a type of fishing lure, usually used in the sport of fly fishing (although they may also be used in other forms of angling). In general, artificial flies are an imitation of aquatic insects that are natural food of the target fish species the fly fishers try to catch. Artificial flies are constructed by fly tying, in which furs, feathers, thread or any of very many other materials are tied onto a fish hook.

Artificial flies may be constructed to represent all manner of potential preys to freshwater and saltwater fish, including aquatic and terrestrial insects, crustaceans, worms, spawn, small baitfish, reptiles, amphibians, mammals and even birds. Effective artificial fly patterns are said to be killing flies because of their ability to put fish in the creel for the fly fisher. There are thousands of artificial fly patterns, many of them with descriptive and often idiosyncratic names.
2017 GFW Super X Cup Tournament
The 2017 GFW Super X Cup Tournament is a professional wrestling single-elimination X Cup Tournament produced and unified with and by both Impact Wrestling's and Global Force Wrestling's professional wrestling promotion's and others. It is the first Super X Cup to be held since 2005, however in 2006 and 2008 TNA held team based World X Cup Tournaments. The tournament features eight wrestlers: Dezmond Xavier, Davey Richards and Andrew Everett representing Global Force Wrestling; with Idris Abraham representing GFW and the Can-Am Wrestling School, A. C. H. representing AAW, Drago representing Lucha Libre AAA Worldwide, Sammy Guevara representing Wrestle Circus and Taiji Ishimori representing Pro Wrestling Noah.

The tournament final took place at Destination X special episode of Impact! on August 17, 2017, in which Dezmond Xavier defeated Taiji Ishimori to win the tournament. The winner would receive an X Division Championship title shot.

TNA X Division Championship
The TNA X Division Championship is a men's professional wrestling championship created and promoted by Total Nonstop Action Wrestling (TNA). It debuted on June 19, 2002, at the taping of TNA's second then-weekly pay-per-view (PPV) event. The current champion is Leon Slater, who is in his first reign.

The championship is contested in TNA's X Division, which emphasizes fast-paced, acrobatic wrestling, traditionally featuring cruiserweight wrestlers. However, heavyweights including Samoa Joe, Kurt Angle, and Abyss have also won the championship at various times in the division's history. There have been 111 reigns among 55 wrestlers.

Since 2012, the X-Division Championship has also allowed the current champion to vacate the title in exchange for a future match for the TNA World Championship, which is promoted as "Option C." This has occurred seven times in the championship's history,  with three matches resulting in wins.
Frederick Matthews
Frederick Albert John Matthews  (4 January 1913 – 14 May 1985) was the Archdeacon of Plymouth from 1962 to 1978.

Matthews was educated at Devonport High School for Boys, Exeter College, Oxford and Wycliffe Hall, Oxford After a curacy at Stoke Damerel he was Vicar of Pinhoe from 1944 to 1961; and Rural Dean of Aylesbeare from 1957 to 1961. He was Vicar of Plympton St Mary from 1961 to 1983; and a Prebendary of Exeter Cathedral from 1978 until his death.

Exeter College, Oxford
Exeter College (in full: The rector and Scholars of Exeter College in the University of Oxford) is one of the constituent colleges of the University of Oxford in England, and the fourth-oldest college of the university.

The college was founded in 1314 by two brothers from Devon, Bishop Walter Stapledon and Sir Richard Stapledon, as an institution to educate clergy, and has been located on Turl Street since 1315. At its foundation Exeter was popular with sons of the Devon gentry, though it has since become associated with a much broader range of notable alumni, including Raymond Raikes, William Morris, J. R. R. Tolkien, Richard Burton, Roger Bannister, Alan Bennett, and Philip Pullman.