hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Adam Steltzner
Adam Diedrich Steltzner (born 1963) is an American NASA engineer who works for the Jet Propulsion Laboratory (JPL). He worked on several flight projects including Galileo, Cassini, Mars Pathfinder, Mars Exploration Rovers (MER). He was the lead engineer of the Mars Science Laboratory's EDL phase (Entry, Descent and Landing), and helped design, build and test the sky crane landing system.

The media has portrayed Steltzner as a "rock and roll" engineer. NPR's Morning Edition said "he has pierced ears, wears snakeskin boots and sports an Elvis haircut," while the EE Times called him "a bit of a hipster" and a "new breed of engineer" who is media savvy.

Sky crane (landing system)
The sky crane is a soft landing system used in the last part of the entry, descent and landing (EDL) sequence developed by NASA Jet Propulsion Laboratory for its two largest Mars rovers, Curiosity and Perseverance. While previous rovers used airbags for landing, both Curiosity and Perseverance were too heavy to be landed this way; instead, a landing system that combined parachutes and retrorockets was developed. The sky crane is a platform with eight engines that lowers the rover on three nylon tethers until the soft landing.

EDL begins when the spacecraft reaches the top of the Martian atmosphere. Engineers have referred to the time it takes to land on Mars as the "seven minutes of terror."
Age of Pirates 2: City of Abandoned Ships
Age of Pirates 2: City of Abandoned Ships (Russian: Корсары: Город потерянных кораблей, literally "Corsairs: City of Lost Ships") is a role-playing video game developed by Akella, which was released on May 26, 2009. It is the sequel to Sea Dogs (2000), Pirates of the Caribbean (2003), and Age of Pirates: Caribbean Tales (2006). Like Caribbean Tales, it does not boast either of the two former games' names, for legal reasons. It was later followed by Sea Dogs: To Each His Own in 2012.

In 2017, the game was digitally released on GOG and Steam as Sea Dogs: City of Abandoned Ships.

Sea Dogs (video game)
Sea Dogs (Russian: Корсары: Проклятье дальних морей, romanized: Korsary: Proklyat'ye dal'nikh morey, lit. 'Corsairs: Curse of the Distant Seas') is a 2000 Russian role-playing video game for Microsoft Windows, developed by Akella and published by Bethesda Softworks. In it, the player is the captain of a ship and can serve as a privateer to a European power, or as a pirate. The game uses a custom 3D game engine and includes gameplay similar to Sid Meier's Pirates!, while also being a true inter-character dialog-centered RPG.

The game is often credited as one of the first successful Russian games, which had a notable influence on Russian game industry. It was followed by four sequels, one of which was tied in to Disney's Pirates of the Caribbean franchise.
Mama Fairy and the Woodcutter
Mama Fairy and the Woodcutter (Korean: 계룡선녀전; RR: Gyeryongseonnyeojeon) is a 2018 South Korean television series starring Moon Chae-won, Yoon Hyun-min, Seo Ji-hoon, Jeon Soo-jin and Kang Mi-na. It is based on the popular webtoon of the same title by Dol Bae which was first published via Naver WEBTOON in 2017. The series aired on tvN from November 5 to December 25, 2018.

Moon Chae-won
Moon Chae-won (Korean: 문채원; born November 13, 1986) is a South Korean actress. Moon first attracted attention in her supporting role as a gisaeng in Painter of the Wind (2008). She then starred in Brilliant Legacy (2009), one of the top-rated Korean dramas of that year. Moon's career breakthrough came with leading roles in the television period drama The Princess' Man (2011) and the action blockbuster War of the Arrows (2011); both of which were critical and commercial hits. For her performance in the latter, Moon won Best New Actress at the Grand Bell Awards and the Blue Dragon Film Awards. Moon's other notable television series include the revenge melodrama The Innocent Man (2012), the medical drama Good Doctor (2013), and the thriller melodrama Flower of Evil (2020).
Patricia Buckley
Patricia Aldyen Austin Buckley (née Taylor; July 1, 1926 – April 15, 2007) was a Canadian-American socialite, noted for her fundraising activities. She was the wife of conservative writer and activist William F. Buckley Jr. and the mother of writer Christopher Buckley, their only child.

Christopher Buckley (novelist)
Christopher Taylor Buckley (born September 28, 1952) is an American author and political satirist. He also served as chief speechwriter to Vice President George H. W. Bush. He is known for writing God Is My Broker, Thank You for Smoking, Little Green Men, The White House Mess, No Way to Treat a First Lady, Wet Work, Florence of Arabia, Boomsday, Supreme Courtship, Losing Mum and Pup: A Memoir, and The Judge Hunter.
Clonitazene
Clonitazene is an opioid analgesic of approximately three times the potency of morphine. It is in the nitazene family of benzimidazoles related to etonitazene, an opioid of significantly higher potency. Clonitazene is not currently marketed. It is a controlled substance; in the United States it is a Schedule I Narcotic controlled substance with a DEA ACSCN of 9612 and an established manufacturing quota of 25 grams for 2022.

Etonitazene
Etonitazene, also known as EA-4941 or CS-4640, is a benzimidazole opioid, first reported in 1957, that has been shown to have approximately 1,000 to 1,500 times the potency of morphine in animals.

Because it is characterized by a strong dependency potential and a tendency to produce profound respiratory depression, it is not used in humans. It is, however, useful in animal models for addiction studies, particularly those requiring the animals to drink or ingest the agent, because it is not as bitter as opiate salts like morphine sulfate.
Jack Weisgerber
John Sylvester Weisgerber (June 12, 1940 – June 3, 2022) was a Canadian politician and businessman. He was a member of the Legislative Assembly in British Columbia. During his political career he was briefly the leader of the British Columbia Social Credit Party and the Reform Party of British Columbia. After leaving politics, he was appointed to the board of BC Hydro in 2001 and served as a member of the British Columbia Treaty Commission.

Reform Party of British Columbia
The Reform Party of British Columbia, or Reform BC, is an unregistered right-wing populist political party in British Columbia, Canada.  Although its name is similar to the defunct Reform Party of Canada, the provincial party was founded before the federal party was and it did not have any formal association with it. Their peak of support came in 1996 when they elected two members to the Legislative Assembly of British Columbia.
Carlsbad, California
Carlsbad is a beach city in the North County area of San Diego County, California, United States. The city is 35 miles (56 km) north of downtown San Diego and 87 miles (140 km) south of downtown Los Angeles. As of the 2020 census, the population of the city was 114,746. Carlsbad is a popular tourist destination and home to many businesses in the golf industry.

McClellan–Palomar Airport
McClellan–Palomar Airport (Palomar Airport) (IATA: CLD, ICAO: KCRQ, FAA LID: CRQ) is a public airport three miles (4.8 km; 2.6 nmi) southeast of downtown Carlsbad in San Diego County, California. The airport has operated since 1959 when it replaced the Del Mar Municipal Airport.  It is owned by the County of San Diego. The airport is used for both general and commercial aviation. As of March 2013, the airport was the fourth-busiest single runway airport in the United States.

The airport is named for Gerald McClellan, an aviator and civic leader in San Diego's North County area. Most U.S. airports' three-letter FAA and IATA location identifiers are identical; however, McClellan–Palomar Airport's FAA identifier is CRQ while its IATA is CLD. The airport was the basis of part of the name of the TV production company Lorimar Television.
Blekinge Institute of Technology
The Blekinge Institute of Technology (BTH; Swedish: Blekinge Tekniska Högskola) is a public, state funded Swedish institute of technology in Blekinge with 5,900 students (part-time, full-time) and offers about 30 educational programmes in 11 departments at two campuses located in Karlskrona and Karlshamn.

BTH was granted university status in engineering in 1999. Among the many programmes and courses taught in Swedish, BTH offers 12 Master's programmes in English.

The university focuses on ICT information technology and sustainable development; additionally also offers programmes in industrial economics, health sciences and spatial planning.

Blekinge Institute of Technology is located in the Telecom City area and works with telecommunications and software companies including Telenor, Ericsson AB and Wireless Independent Provider (WIP).

Blekinge
Blekinge (Swedish pronunciation: [ˈblêːkɪŋɛ] ⓘ) is one of the traditional Swedish provinces (landskap), situated  in the southern coast of the geographic region of Götaland, in southern Sweden. It borders Småland, Scania and the Baltic Sea. It is the country's second-smallest province by area (only Öland is smaller), and the smallest province located on the mainland.

The name "Blekinge" comes from the dialectal adjective bleke, which corresponds to the nautical term for "dead calm".
Steve Montador
Steven Richard "The Matador" Montador (December 21, 1979 – February 15, 2015) was a Canadian professional ice hockey defenceman who played 571 games in the National Hockey League (NHL) for the Calgary Flames, Florida Panthers, Anaheim Ducks, Boston Bruins, Buffalo Sabres and Chicago Blackhawks before ending his career in 2014 as a member of Medveščak Zagreb of the Kontinental Hockey League (KHL).

An undrafted player, Montador signed with the Flames as a free agent in 2000 and began his professional career with their American Hockey League (AHL) affiliate, the Saint John Flames, and was a member of their 2001 Calder Cup championship team. Montador also played with France's Ligue Magnus champion Mulhouse Scorpions in 2004–05.

Ligue Magnus
The Ligue Magnus, currently known as Synerglace Ligue Magnus for sponsorship reasons, is the top men's division of the French ice hockey pyramid, established in 1906. The league operated under a variety of names before taking that of its championship trophy, the Magnus Cup, in 2004. The trophy was in turn named for Frenchman and IIHF founder Louis Magnus.

Teams from the Ligue Magnus can participate in the IIHF's annual Champions Hockey League (CHL), competing for the European Trophy. Participation is based on the strength of the various leagues in Europe (excluding the Eurasian Kontinental Hockey League). Going into the 2022–23 CHL season, the Ligue Magnus was ranked the No. 9 league in Europe, allowing them to send their top team to compete in the CHL.
Angers-Saint-Laud station
Angers–Saint-Laud is a railway station located in Angers, Maine-et-Loire, western France. The station was opened in 1849 and is located on the Le Mans–Angers railway and the Tours–Saint-Nazaire railway. The train services are operated by SNCF.

The station is at 40 m above sea level and at kilometre post 342.950 of the Tours–Saint-Nazaire railway.

Tours–Saint-Nazaire railway
The railway from Tours to Saint-Nazaire is an important French 282-kilometre long railway line, following the lower course of the river Loire. It is used for passenger (express, regional and suburban) and freight traffic. The railway was opened in several stages between 1848 and 1857.
Best of British (TV series)
Best of British is a British television documentary series, created by Robert Sidaway, Ashley Sidaway, Maurice Sellar and Lou Jones and produced by Robert Sidaway.

Narrated by John Mills and Anthony Quayle, the series comprised five seasons and sixty seven episodes all originally broadcast on BBC1.

Designed as entertainment for a broad audience, the complete series encompasses a comprehensive view of British cinema from the 1930s to the 1980s by examining a different theme and or genre in each episode through the extensive use of film clips.

The series debuted on 22 April 1987. The final episode was broadcast on 31 March 1994.

The UK company Best Of British Films & Television was established due to the success of the series.

Robert Sidaway (actor)
Robert Sidaway (24 January 1942 – 16 August 2024) was an English writer, producer, director and actor. His credits as writer or producer for film and television include Rainbow (1996), Battle of the Brave (2004), Best Of British (1987–94) and Into The Rainbow / The Wonder (2017).

As a stage actor, Sidaway appeared in several West End theatre productions and numerous provincial and international tours, including Number 10 and The Magistrate, both with Alastair Sim. On screen, he performed in film and television, including two Doctor Who serials: as Avon in The Savages (1966) and Captain Jimmy Turner in The Invasion (1968).
Better Oblivion Community Center (album)
Better Oblivion Community Center is the only studio album by American indie rock duo Better Oblivion Community Center, composed of Conor Oberst and Phoebe Bridgers. The album was released on January 24, 2019, through Dead Oceans.

Conor Oberst
Conor Mullen Oberst (born February 15, 1980) is an American singer-songwriter best known for his work in Bright Eyes. He has also played in several other bands, including Desaparecidos, the Faint (previously named Norman Bailer), Commander Venus, Park Ave., Conor Oberst and the Mystic Valley Band, Monsters of Folk, and Better Oblivion Community Center. Oberst was named the Best Songwriter of 2008 by Rolling Stone magazine.
Subvolcanic rock
A subvolcanic rock, also known as a hypabyssal rock, is an intrusive igneous rock that is emplaced at depths less than 2 km (1.2 mi) within the crust, and has intermediate grain size and often porphyritic texture between that of volcanic rocks, which are extrusive igneous rocks, and plutonic rocks, which form much deeper in the ground. Subvolcanic rocks include diabase (also known as dolerite), porphyry, quartz dolerite, and microgranite.

Igneous rock
Igneous rock (igneous from Latin  igneus 'fiery'), or magmatic rock, is one of the three main rock types, the others being sedimentary and metamorphic. Igneous rocks are formed through the cooling and solidification of magma or lava.

The magma can be derived from partial melts of existing rocks in a terrestrial planet's mantle or crust. Typically, the melting is caused by one or more of three processes: an increase in temperature, a decrease in pressure, or a change in composition. Solidification into rock occurs either below the surface as intrusive rocks or on the surface as extrusive rocks. Igneous rock may form with crystallization to form granular, crystalline rocks, or without crystallization to form natural glasses.

Igneous rocks occur in a wide range of geological settings: shields, platforms, orogens, basins, large igneous provinces, extended crust and oceanic crust.
Acrotatus (king of Sparta)
Acrotatus II (Greek: Ἀκρότατος; died 262 BC) was an Agiad King of Sparta from 265 to 262 BC.  He was the son of Areus I, and grandson of Acrotatus I.

He had unlawful intercourse with Chilonis, the young wife of Cleonymus, uncle of his father Areus. It was this, together with the disappointment of not obtaining the throne, which led Cleonymus to invite Pyrrhus to Sparta in 272. Areus was then absent in Crete, and the safety of Sparta was mainly owing to the valor of Acrotatus who successfully held off the Siege of Sparta. He succeeded his father in 265, but was killed shortly thereafter (possibly in the same year) in battle against Aristodemus the Good, the tyrant of Megalopolis. Pausanias, in speaking of his death, calls him the son of Cleonymus, but he has mistaken him for his grandfather, mentioned above.  Areus and Acrotatus are accused by Phylarchus of having corrupted the simplicity of Spartan manners. He was succeeded by his son Areus II.

Areus II
Areus II (Ancient Greek: Ἀρεύς Β΄) was Agiad King of Sparta from 262 to 254 BC. He never reigned as he was still a child when he died. He was succeeded by his cousin Leonidas II, who had served as regent.
Mizuho, Nagasaki
Mizuho (瑞穂町, Mizuho-chō) was a town located in Minamitakaki District, Nagasaki Prefecture, Japan.

As of 2003, the town had an estimated population of 5,884 and a density of 224.07 persons per km2. The total area was 26.26 km2.

On October 11, 2005, Mizuho, along with the towns of Aino, Azuma, Chijiwa, Kunimi, Minamikushiyama and Obama (all from Minamitakaki District), was merged to create the city of Unzen.

Minamitakaki District, Nagasaki
Minamitakaki (南高来郡, Minami-Takaki-gun; English: South Takaki District) was a district located in Nagasaki Prefecture, Japan.

Minamitakaki District is now equivalent to the cities of Shimabara, Unzen, and Minami-Shimabara.

As of 2003, the district had an estimated population of 117,639 and a density of 293.97 persons per km2. The total area was 400.18 km2.
Denise Coyle
Denise Coyle (born June 22, 1953) is an American Republican Party politician who served in the New Jersey General Assembly from January 2008 to January 2012, where she represented the 16th Legislative District.

In the Assembly, Coyle served on the Financial Institutions and Insurance Committee and the Human Services Committee.

Coyle was a member of the Somerset County Board of Chosen Freeholders from 1996 to 2007, serving as Deputy Director in 1998, 2003 and 2007 and as Director in 1999 and 2004. She served on the Branchburg Township Committee from 1992 to 1996, serving as Deputy Mayor of Branchburg in 1994, and as Mayor of Branchburg, New Jersey in 1993.

Coyle received a B.A. in History from Saint Mary's College, Notre Dame, Indiana, and was awarded a J.D. from Rutgers School of Law - Camden. Coyle is married to Dr. Dennis Coyle and has two daughters, Kathryn and Kara.

Coyle did not run for re-election in 2011. She was succeeded by Donna Simon.

Branchburg, New Jersey
Branchburg is a township in Somerset County, in the U.S. state of New Jersey. As of the 2020 United States census, the township's population was 14,940, its highest decennial census count ever and an increase of 481 (+3.3%) from the 2010 census count of 14,459, which in turn had reflected a decline of 107 (−0.7%) from the 14,566 counted at the 2000 census.
Dragon's Claws
Dragon's Claws is a British dystopian science fiction comic book, published by Marvel UK about the eponymous law enforcers. Dragon's Claws first appeared in Dragon's Claws #1 (June 1988), and were created by Simon Furman and Geoff Senior.

Before their career as law enforcers, the Claws had been "the greatest Game players in the world" - the Game was a violent team sport, immensely popular and funded by the governing  World Development Council, who had used it to distract the population and reduce civil unrest. Many of the villains appearing in the series also have their roots in the Game.

Simon Furman
Simon Christopher Francis Furman (born 22 March 1961) is a British comic book writer who is best known for his work on Hasbro's Transformers franchise, starting with writing Marvel Comics's initial comic book to promote the toyline worldwide, as well as foundations for both Dreamwave Production's and IDW Publishing's takes on the Generation 1 minifranchise.
Open Air Suit
Open Air Suit is an album by the improvisational collective Air, featuring Henry Threadgill, Steve McCall, and Fred Hopkins. It was recorded in New York in 1978 and contains four of Threadgill's compositions. It has not been reissued as an individual CD, but it was included in the 8-CD Complete Novus and Columbia Recordings of Henry Threadgill and Air issued by Mosaic Records.

Henry Threadgill
Henry Threadgill (born February 15, 1944) is an American composer, saxophonist and flautist. He came to prominence in the 1970s leading ensembles rooted in jazz but with unusual instrumentation and often incorporating other genres of music. He has performed and recorded with several ensembles: Air, Aggregation Orb, Make a Move, the seven-piece Henry Threadgill Sextett, the twenty-piece Society Situation Dance Band, Very Very Circus, X-75, and Zooid.

He was awarded the 2016 Pulitzer Prize for Music for his album In for a Penny, In for a Pound, which premiered at Roulette Intermedium on December 4, 2014.

In 2023, he published his autobiography, written with Brent Hayes Edwards: Easily Slip into Another World: A Life in Music. The book was a New York Times Notable Book of the Year, along with being a Best Book of the Year: The New York Times, NPR, The New Yorker.
Sorry for Party Rocking
Sorry for Party Rocking is the second and final studio album by American electronic duo LMFAO. It was released on June 17, 2011, physically and digitally by Interscope Records as the follow-up to their debut album Party Rock (2009).  "Party Rock Anthem" was the first single released from the album and was an international hit. The second single was "Champagne Showers" and reached number eight in New Zealand, and nine in Australia. It became an international hit, also charting in France, Ireland, and Austria. The third single, "Sexy and I Know It" was released on September 16, 2011. It peaked at number one on the US Billboard Hot 100 and also topped the charts in Australia, Canada, and New Zealand. "Sorry for Party Rocking" was released on January 9, 2012, as the fourth single from the album and peaked at number 8 in Belgium, 16 in France, 18 in Ireland, 19 on the US Pop Songs, 23 in the United Kingdom, 27 in New Zealand, 31 in Canada, 32 in Australia, and 49 on the Billboard Hot 100.

Sexy and I Know It
"Sexy and I Know It" is a song by American duo LMFAO from their second and final studio album, Sorry for Party Rocking. It was released as the third single from the album on September 16, 2011. The song was written by Stefan Kendal Gordy, GoonRock, Erin Beck, George M. Robertson and Kenneth Oliver, and it was produced by Party Rock. It went to number one on the Billboard Hot 100 on January 7, 2012, and remained there for two weeks.

The song became LMFAO's second number one hit on the Billboard Hot 100 in the United States (after "Party Rock Anthem"), making them the first duo to have two successive number-one singles since Outkast's "Hey Ya!" (2003) and "The Way You Move" (2004). The song also reached number one in Australia, Canada, Israel and New Zealand, and charted within the top ten in nearly every country in which it charted.
Diaconescu's theorem
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it.

The theorem was discovered in 1975 by Radu Diaconescu and later by Nicolas Goodman and John Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis).

Constructive set theory
Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory.
The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach.
On the other hand, some constructive theories are indeed motivated by their interpretability in type theories.

In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded. The latter is motivated by results tied to impredicativity.