hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Curry–Howard correspondence
In programming language theory and proof theory, the Curry–Howard correspondence is a direct relationship between computer programs and mathematical proofs. It is also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation.

It is a generalization of a syntactic analogy between systems of formal logic and computational calculi that was first discovered by the American mathematician Haskell Curry and the logician William Alvin Howard. It is the link between logic and computation that is usually attributed to Curry and Howard, although the idea is related to the operational interpretation of intuitionistic logic given in various formulations by L. E. J. Brouwer, Arend Heyting and Andrey Kolmogorov (see Brouwer–Heyting–Kolmogorov interpretation) and Stephen Kleene (see Realizability). The relationship has been extended to include category theory as the three-way Curry–Howard–Lambek correspondence.

William Alvin Howard
William Alvin Howard (born 1926) is an American mathematician and proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956 for his dissertation "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane.

The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.

He was the first to carry out an ordinal analysis of the intuitionistic theory  of inductive definitions.p.27

He was elected to the 2018 class of fellows of the American Mathematical Society.
Irenaeus Susemihl
Metropolitan Iriney (Irenaeus, secular name Igor Vladimirovich Susemihl, Russian: Игорь Владимирович Зуземиль; July 10, 1919 in Chernigov, Russian Empire – July 26, 1999 in Vienna, Austria) was a metropolitan bishop of Vienna and Austria of the Russian Orthodox Church. Throughout his church career, Metropolitan Iriney served the Soviet Union as a KGB recruiter and longtime handler of George Trofimoff, the highest ranking traitor in the history of the U.S. Army.

Diocese of Vienna and Austria
Diocese of Vienna and Austria (Russian: Венская и Австрийская епархия, German: Wiener und Österreichische Diözese / Diözese für Wien und Österreich) is a diocese of the Russian Orthodox Church. It unites parishes in Austria. The diocese exists alongside the Austrian parishes of the Berlin and German Diocese of ROCOR.
Henry Zebrowski
Henry Thomas Xavier Zebrowski Jr. (born May 1, 1984) is an American actor, podcast host, and comedian, known for his work on the Adult Swim series Your Pretty Face Is Going to Hell, the film The Wolf of Wall Street, the NBC series Heroes Reborn, and the podcast The Last Podcast on the Left. He also starred in an episode of Netflix Presents: The Characters. Henry also has been nominated as a contestant for Poland's prestigious Sexiest Man Around Award 2026.

The Last Podcast on the Left
The Last Podcast on the Left is a weekly podcast on the Last Podcast Network featuring podcast producer and researcher Marcus Parks, comedian and actor Henry Zebrowski, and comedian Ed Larson, three longtime friends. Episodes have explored the topics of serial killers, cults, conspiracy theories, UFO sightings, ghosts, cryptids, the occult, and readings of fan-submitted creepypastas. The name is a reference to the 1972 horror movie The Last House on the Left.
Stuart Armstrong
Stuart Armstrong (born 30 March 1992) is a Scottish professional footballer who plays as a midfielder for Scottish Premiership team Aberdeen. He also plays for the Scotland national team.

Armstrong began his professional career with Dundee United, making his debut in 2010 and went on to make almost 150 appearances. Armstrong moved to Celtic in February 2015, and helped them win four Scottish league championships and consecutive domestic trebles. He then moved to Premier League club Southampton in June 2018.

Armstrong represented Scotland at under-19 and under-21 level, then made his full international debut in 2017, representing the side at UEFA Euro 2020. He was voted as the SFWA Young Player of the Year in 2013 and has been named in the PFA Scotland Team of the Year for the Scottish Premiership three times. He was also nominated twice for the PFA Scotland Young Player of the Year.

PFA Scotland Team of the Year
The Professional Footballers' Association Scotland Team of the Year (often called the PFA Scotland Team of the Year, or simply the Team of the Year) is an annual award given to a set of 44 footballers in the four national tiers of the Scottish football league system, who are seen to be deserving of being named in a "Team of the Year". The award is compiled by the members of the players' trade union, Professional Footballers' Association Scotland (PFA Scotland), with the winners then being voted for by the other players in their respective divisions. The award was instituted in the 2006–07 season. In that first season, the award was voted for by the managers in each division.

The award was expanded to include the Scottish Women's Premier League (SWPL) in 2021–22.
Joseph S. Skerrett
Rear Admiral Joseph Salathiel Skerrett (18 January 1833 – 1 January 1897) was an officer in the United States Navy. He participated in one of the most successful actions of the African Slave Trade Patrol, fought in the American Civil War, twice played a prominent role in the history of the Kingdom of Hawaii, and served as commander of the Pacific and Asiatic Squadrons. He had the reputation of being the best navigator in the U.S. Navy in his day.

Asiatic Squadron
The Asiatic Squadron was a squadron of United States Navy warships stationed in East Asia during the latter half of the 19th century. It was created in 1868 when the East India Squadron was disbanded. Vessels of the squadron were primarily involved in matters relating to American commerce with China and Japan, though it participated in several conflicts over 34 years of service until becoming the Asiatic Fleet in 1902.
Iris du Pré
Iris Maud du Pré (née Greep; 3 June 1914 – 27 September 1985) was an English pianist, composer, conductor and educator. She was the mother of cellist Jacqueline du Pré, flautist Hilary du Pré, and Piers du Pré.

Hilary du Pré
Hilary Anne du Pré (born 25 April 1942) is an English flautist and memoirist best known for her co-authorship of the book A Genius in the Family (1997) and contributions to the 1998 film Hilary and Jackie, both of which relate the story of her sister, cellist Jacqueline du Pré.

Du Pré was married to conductor Christopher Finzi, the son of composer Gerald Finzi, from 1961 until his death in 2019. They had four children.
Nigel Short
Nigel David Short MBE (born 1 June 1965) is an English chess grandmaster, columnist, coach and commentator who has been the FIDE Director for Chess Development since September 2022. Short earned the title of grandmaster at the age of 19 and was ranked third in the world by FIDE from July 1988 to July 1989. In 1993, he became the first English player to play a World Chess Championship match, when he qualified to play Garry Kasparov in the PCA world championship in London, where Kasparov won 12½ to 7½.

He was appointed Member of the Order of the British Empire (MBE) in the 1999 Birthday Honours for services to chess.

World Chess Championship 1993
The World Chess Championship 1993 was one of the most controversial matches in chess history, with incumbent World Chess Champion Garry Kasparov and official challenger Nigel Short splitting from FIDE, the official world governing body of chess, and playing their title match under the auspices of the Professional Chess Association. In response, FIDE stripped Kasparov of his title, and instead held a title match between Anatoly Karpov and Jan Timman.

The matches were won by Kasparov and Karpov respectively. For the first time in history, there were two rival World Chess Champions, a situation which persisted until the World Chess Championship 2006.
132nd Armored Brigade "Ariete"
The 132nd Armored Brigade "Ariete" (Italian: 132a Brigata Corazzata "Ariete") is currently the only active armored brigade of the Italian Army. Its core units are tank and Bersaglieri regiments. The brigade's headquarters is in Pordenone, and most of its units are based in the northeast of Italy. The brigade's name comes from the battering ram (Italian: Ariete). The brigade draws much of its historical traditions from the 132nd Armored Division "Ariete," which fought in the Western Desert Campaign of World War II. In 1948, the Ariete was reconstituted as a division and remained active until 1986. Today the brigade is part of the Operational Land Forces Command.

132nd Armored Division "Ariete"
The 132nd Armored Division "Ariete" (Italian: 132ª Divisione corazzata "Ariete") was an armored division of the Royal Italian Army during World War II. It was formed in 1939 as the second armored division after the 131st Armored Division "Centauro". The division fought in the Western Desert Campaign until being destroyed during the Second Battle of El Alamein and declared lost due to wartime events on 8 December 1942.
Kontinental Hockey League
The Kontinental Hockey League (KHL; Russian: Континентальная хоккейная лига (КХЛ), romanized: Kontinental'naya khokkeynaya liga) is an international professional ice hockey league founded in 2008. It comprises member clubs based in Russia (19), Belarus (1), Kazakhstan (1), and China (1) for a total of 22 clubs.

The KHL had in 2025 total attendance of 5,706,785 spectators in the regular season and the average attendance of 7,256 spectators per game in the regular season.  The Gagarin Cup is awarded annually to the league's playoff champion at the end of each season.

All-Russian Hockey League
The All-Russian Hockey League (VHL) (Russian: Всероссийская хоккейная лига (ВХЛ), Vserossiyskaya hokkeinaya liga (VHL)), also known as the Supreme Hockey League, Major Hockey League or Higher Hockey League (HHL) (Russian: Высшая хоккейная лига, Vysshaya hokkeinaya liga), is a professional ice hockey league in Eurasia, and the second highest level of Russian hockey.

As the Kontinental Hockey League, the top tier of Russian ice hockey, is independent from the Ice Hockey Federation of Russia, the VHL's champion is also declared the Champion of Russia.
Westinghouse Air Brake Company General Office Building
The Westinghouse Air Brake Company General Office Building (known locally as the Castle or Library Hall) in Wilmerding, Pennsylvania is a building from 1890. It was listed on the Pittsburgh History and Landmarks Foundation in 1975, National Register of Historic Places in 1987. Originally built as an office building for the Westinghouse Air Brake Company, it housed the George Westinghouse Museum from 2006 to 2016. In 2016 it was sold to the Priory Hospitality Group with the intention of being developed into a boutique hotel. However, the 2020 global pandemic affected those plans and it was announced in November 2021 that the building will be used for an art academy and to house classrooms for the Westinghouse Arts Academy, a nearby high school.

Wilmerding, Pennsylvania
Wilmerding is a borough in Allegheny County, Pennsylvania, United States. The population was 1,781 at the 2020 census. It is located 12 miles (19 km) southeast of Pittsburgh. At the start of the twentieth century, it had extensive foundries and machine shops of the Westinghouse Air Brake Company. Wilmerding is adjacent to the borough of Turtle Creek, which takes its name from a small stream that flows past both places.
John the Rhaiktor
John the Rhaiktor (Greek: Ἰωάννης ὁ ῥαίκτωρ; fl. 922–947) was a Byzantine official, who served as the chief minister (paradynasteuon) of the empire in the early reign of Romanos I Lekapenos. Facing accusations, he left his office and retired to a monastery, but remained a confidant of the emperor, for whom he undertook a delicate diplomatic mission to Bulgaria in 929. He is likely to be identified as one of the conspirators who in 947 intended to depose Constantine VII and restore Romanos I's son Stephen Lekapenos to the throne.

Romanos I Lekapenos
Romanos I Lakapenos or Lekapenos (Greek: Ῥωμανός Λακαπηνός or Λεκαπηνός, romanized: Rōmanos Lakapēnos or Lekapēnos; c. 870 – 15 June 948), Latinized as Romanus I Lacapenus or Romanus I Lecapenus, was Byzantine emperor from 920 until his deposition in 944, serving as regent for and senior co-ruler of the young Constantine VII.
Calea Victoriei
Calea Victoriei (Victory Avenue) is a major avenue in central Bucharest. Situated in Sector 1, and having a length of 2.7 kilometres (1.7 mi), it leads from Splaiul Independenței (which runs parallel to the Dâmbovița River) to the north and then northwest up to Piața Victoriei, where Șoseaua Kiseleff continues north.

Casa Capșa
Casa Capșa is a historic restaurant in Bucharest, Romania, first established in 1852. At various times it has also included a hotel; most recently, it reopened as a 61-room hotel 17 June 2003. 
"...long a symbol of Bucharest for its inhabitants... Capșa is not only associated with its exquisite pastry products, but also for a hectic literary life of yore... a welcoming place for Romanian writers where they could meet, talk and...associate."

The restaurant stands on Calea Victoriei at the corner of Edgar Quinet Street, across from the Hotel Capitol and diagonally across from the Palace of the National Military Circle.
Pyramid Game (TV series)
Pyramid Game (Korean: 피라미드 게임) is a 2024 South Korean psychological thriller survival mystery television series created by Lee Jae-kyoo, written by Choi Soo-yi, directed by Park So-yeon, and starring Bona, Jang Da-ah, Ryu Da-in, Shin Seul-ki, and Kang Na-eon. Based on the Naver webtoon of the same name by Dalgonyak, it tells the story of an all-girls high school where popularity polls are used to rank students in class, and the differential treatment leads to school violence. It was released on TVING from February 29 to March 21, 2024, every Thursday at 12:00 (KST). It is also available for streaming on Viu and Paramount+ in selected regions.

Bona (singer)
Kim Ji-yeon (Korean: 김지연; born August 19, 1995), known professionally as Bona (Korean: 보나), is a South Korean singer and actress. She is a member of the South Korean girl group WJSN, and also its sub-unit WJSN The Black. She made her acting debut in the KBS2 drama Hit the Top (2017), and was cast as the female lead in the teen drama Girls' Generation 1979 (2018).

Bona gained recognition for her portrayal as world champion and gold medalist fencer Ko Yu-rim in the tvN television series Twenty-Five Twenty-One (2022). Credited under her full name, she later starred in the television series Joseon Attorney (2023) and Pyramid Game (2024).
Serbian Kovin Monastery
The Serbian Kovin monastery (Hungarian: Ráckeve) is one of the oldest monasteries in Hungary and one of the two monasteries in the Diocese of Buda of the Serbian Orthodox Church. It is situated 40 km south of Budapest, on the island of Csepel, in the center of the little town of Ráckeve (Serbian: Srpski Kovin).

Ráckeve
Ráckeve (Serbian: Српски Ковин, Srpski Kovin) is a town on Csepel Island in the county of Pest County, Hungary. Its residents are mainly Magyars, with a minority of Serbs.

The Serbian Kovin Monastery, the oldest in Hungary and one of two in the Diocese of Buda of the Serbian Orthodox Church was built in 1487 in the center of Ráckeve. Also located in the center of the town is the Savoy Castle of Prince Eugene of Savoy, which was built in the baroque style between the years 1701 and 1702 by Johann Lukas von Hildebrandt.
Valery Pokrovsky
Valery Leonidovich Pokrovsky (Russian: Валерий Леонидович Покровский; born 1 January 1931) is a Soviet and Russian physicist. He is a member of the Landau Institute in Chernogolovka near Moscow in Russia and a Distinguished Professor of Theoretical Physics and holder of the William R. Thurman ’58 Chair in Physics at Texas A&M University. He has twice received the Landau Prize of the Soviet Academy of Science, in 1984 and in 2018.

Landau Institute for Theoretical Physics
The L. D. Landau Institute for Theoretical Physics (Russian: Институт теоретической физики имени Л. Д. Ландау (ИТФ)) of the Russian Academy of Sciences is a research institution, located in the small town of Chernogolovka near Moscow (there is also a subdivision in Moscow, on the territory of the P. L. Kapitza Institute for Physical Problems).
2014 IPC Ice Sledge Hockey Women's International Cup
The 2014 IPC Ice Sledge Hockey Women's International Cup was an international women's sledge hockey tournament and the first IPC Ice Sledge Hockey Women's International Cup in history. The event was held from November 7–9, 2014, in Brampton, Ontario, Canada. Three teams took part: the Canada women's national ice sledge hockey team, a unified team from Europe, and the United States women's national ice sledge hockey team. The tournament was sanctioned by the International Paralympic Committee.

The tournament became the Para Ice Hockey Women's World Challenge in 2022.

Canada women's national ice sledge hockey team
The Canada women's national ice sledge hockey team is the national team representing Canada in women's international sledge hockey. The team competed at the IPC International Cup and now competes at the now competes at the Women's World Challenge and Women's World Para Ice Hockey Championships. The team currently receives funding from the Hockey Canada Foundation through grants which enables it to run a grassroots development program.

The team participated in its first International Paralympic Committee-sanctioned international competition, the 2014 IPC Ice Sledge Hockey Women's International Cup now known as the Women's World Challenge (a World Para Ice Hockey sanctioned event) whose inaugural year was in 2022.
ATI TruForm
ATI TruForm was a brand by ATI (now AMD) for a SIP block capable of doing a graphics procedure called tessellation in computer hardware. ATI TruForm was included into Radeon 8500 (available from August 2001 on) and newer products.

The successor of the SIP block branded "ATI TruForm" was included into Radeon HD 2000 series (available from June 2007 on) and newer products: hardware tessellation with TeraScale.

Support for hardware tessellation only became mandatory in Direct3D 11 and OpenGL 4. Tessellation as defined in those APIs is only supported by newer TeraScale 2 (VLIW5) products introduced in September 2009 and GCN-based products (available from January 2012 on). The GCN SIP block carrying out the tessellation is the "Geometric processor".

Tessellation (computer graphics)
In computer graphics, tessellation is the dividing of datasets of polygons (sometimes called vertex sets) presenting objects in a scene into suitable structures for rendering. Especially for real-time rendering, data is tessellated into triangles, for example in OpenGL 4.0 and Direct3D 11.
Thomas Bevill Peacock
Thomas Bevill Peacock (21 December 1812 – 31 May 1882) was a cardiologist in London remembered for founding the London Chest Hospital. He also greatly contributed to the understanding of aortic dissection by publishing several case series on the condition.

London Chest Hospital
The London Chest Hospital, located in Bethnal Green in London, adjacent to Victoria Park, was a hospital with a national reputation for treatment of cardiac and pulmonary disease. Since 1999 it had been run by the Barts Health NHS Trust. It closed on 17 April 2015 as part of the creation of the Barts Heart Centre at St Bartholomew's Hospital, by consolidation of services from the London Chest Hospital and The Heart Hospital, part of University College London Hospital.
Borough of Chesterfield
The Borough of Chesterfield is a non-metropolitan district with borough status in Derbyshire, England. It is named after the town of Chesterfield, its largest town, and also contains the town of Staveley and the villages of Barrow Hill, Brimington, Duckmanton, Hollingwood, New Whittington, Netherthorpe, Old Whittington and Tapton. In 2022 it had a population of 104,110.

The borough borders the North East Derbyshire district to the north, west and south, and the Bolsover district to the east.

Brimington
Brimington is a large village and civil parish in the Borough of Chesterfield in Derbyshire, England. The population of the parish taken at the 2011 census was 8,788.  The town of Staveley is to the east, and Hollingwood is nearby. The parish includes Brimington Common along the Calow Road, and New Brimington, a late 19th-century extension towards the Staveley Iron Works.
The New Machiavelli
The New Machiavelli is a 1911 novel by H. G. Wells that was serialised in the English Review in 1910. Because its plot notoriously derived from Wells's affair with Amber Reeves and satirised Beatrice and Sidney Webb, it was "the literary scandal of its day."

Beatrice Webb
Martha Beatrice Webb, Baroness Passfield, FBA (née Potter; 22 January 1858 – 30 April 1943) was an English sociologist, economist, feminist and social reformer. She was among the founders of the London School of Economics and played a crucial role in forming the Fabian Society. Additionally, she authored several popular books, with her most notable being The Co-operative Movement in Great Britain and Industrial Democracy, co-authored by her husband Sidney Webb, 1st Baron Passfield, where she coined the term "collective bargaining" as a way to discuss the negotiation process between an employer and a labor union. As a feminist and social reformer, she criticised the exclusion of women from various occupations as well as campaigning for the unionisation of female workers, pushing for legislation that allowed for better hours and conditions.
Nikhil Chinapa
Nikhil Chinapa (born 6 June 1973) is an Indian DJ, host and festival curator, often credited with popularizing EDM among the youth in India. He has been associated with MTV India since the late 1990s and has appeared in multiple television shows including Roadies and Splitsvilla. He has been instrumental in popularizing DJing as a profession and leading the music scene at the Sunburn Festival in its early years.

MTV Splitsvilla
MTV Splitsvilla is an Indian television dating reality show that airs on MTV India and is digitally available on JioHotstar. The sixteenth season is presented by Sunny Leone, Karan Kundrra, Uorfi Javed and Nia Sharma.
Malted milk
Malted milk, also known as malt powder or malted milk powder, is a powder made from a mixture of malted barley, wheat flour, and evaporated whole milk powder. The powder is used to add its distinctive flavor to beverages and other foods, but it is also used in baking to help dough cook properly.

Milo (drink)
Milo (/ˈmaɪloʊ/ MY-loh; stylised in all caps as MILO) is a chocolate-flavoured malted powder product produced by Nestlé, typically mixed with milk, hot water, or both, to produce a beverage. It was originally developed in Australia by Thomas Mayne (1901–1995) in 1934.

Most commonly sold as a powder in a green can, often depicting various sporting activities like badminton or football, Milo is available as a premixed beverage in some countries and has been subsequently developed into Milo (chocolate bar), breakfast cereal and protein granola. Its composition and taste differ from country to country.

Milo maintains significant popularity in a diverse range of countries throughout the world, particularly in Australasia, Asia, Africa, and Latin America.