hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Type theory
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems.

Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that have been proposed as foundations are:

Typed λ-calculus of Alonzo Church

Intuitionistic type theory of Per Martin-Löf

Most computerized proof-writing systems use a type theory for their foundation. A common one is Thierry Coquand's calculus of inductive constructions.

Intuitionistic type theory
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory (MLTT)) is a type theory and an alternative foundation of mathematics.
Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions. However, all versions keep the core design of constructive logic using dependent types.
Porkkala Naval Base
Porkkala Naval Base was a  Soviet naval base operational from 1944–1956 in the municipalities of Kirkkonummi, Ingå and Siuntio  on the Porkkala peninsula, 30 kilometers (19 mi) west of Helsinki, Finland.

The area was leased to the Soviet Union according to the Moscow Armistice signed in 1944 by Finland, the Soviet Union, and the United Kingdom. The area was returned to Finland in 1956. In the 21st century, it is the site of the Finnish naval base Upinniemi.

Moscow Armistice
The Moscow Armistice was signed between Finland on one side and the Soviet Union and United Kingdom on the other side on 19 September 1944, ending the Continuation War.  The Armistice restored the Moscow Peace Treaty of 1940, with a number of modifications.

The final peace treaty between Finland and many of the Allies was signed in Paris in 1947.
C. C. Pyle
Charles C. "Charlie" Pyle (March 26, 1882 – February 3, 1939), sometimes cattily referred to as "Cash and Carry Pyle," was a theater owner and sports entertainment promoter best known for his touring exhibitions featuring American football star Red Grange and French tennis player Suzanne Lenglen.

Pyle was the founder of the New York Yankees football club in 1926, owning it until the team's demise at the end of the 1928 season.

New York Yankees (NFL)
The New York Yankees were a short-lived professional American football team from 1926 to 1929. The team was a member of the first American Football League (AFL) in 1926, and later the National Football League (NFL) from 1927 to 1929. They played their home games at Yankee Stadium. The team featured Red Grange at halfback.
Nesonektris
Nesonektris aldridgei is an extinct vetulicolian from the Late Botomian-aged  Emu Bay Shale Lagerstätte in Kangaroo Island, Australia.  So far, it is the fourth described vetulicolian that is not restricted to the Maotianshan Shales (the other three being Ooedigera of Sirius Passet, Banffia of the Burgess Shale, and Skeemella of the Pierson Cove Formation above the Wheeler Shale).

Vetulicolia
Vetulicolia is a group of bilaterian marine animals encompassing several extinct species from the Cambrian, and possibly Ediacaran, periods.  As of 2023, the majority of scientists favor placing Vetulicolians in the stem group of the Chordata, but some continue to favor a more crownward placement as a sister group to the Tunicata.  It was initially erected as a monophyletic clade with the rank of phylum in 2001, with subsequent work supporting its monophyly.  However, more recent research suggests that vetulicolians may be paraphyletic and form a basal evolutionary grade of stem chordates.
Toiyabe Range
The Toiyabe Range is a mountain range in Lander and Nye counties, Nevada, United States. Most of the range is included within the Humboldt-Toiyabe National Forest. The highest point in the range, near its southern end, is Arc Dome (11,788 feet, 3592 m), an area protected as the Arc Dome Wilderness. The highest point in Lander County, Bunker Hill, is also located within the Toiyabe Range. The range starts in northwestern Nye County north of Tonopah, Nevada and runs approximately 120 miles (190 km) north-northeast into southern Lander County, making it the second longest range in the state.

Humboldt–Toiyabe National Forest
The Humboldt–Toiyabe National Forest (HTNF) is the principal U.S. National Forest in the U.S. state of Nevada, and has a smaller portion further west in Eastern California in the state of California. With an area of 6,289,821 acres (25,454.00 km2), it is the largest U.S. National Forest reservation outside of Alaska, further northwest on the North American continent.
1993 CONCACAF Gold Cup
The 1993 CONCACAF Gold Cup was the 2nd edition of the CONCACAF Gold Cup, the biennial international men's football championship of the North, Central American and Caribbean region organized by CONCACAF. The tournament took place from 10 to 25 July 1993 and jointly hosted by 2 cities in two North American countries: Mexico, and the United States.

Mexico were crowned the champions after winning the final against the title holder United States 4–0 . It was Mexico's fourth CONCACAF title and their first Gold Cup title.

1993 CONCACAF Gold Cup final
The 1993 CONCACAF Gold Cup final was an association football match that took place on 25 July 1993 at the Estadio Azteca in Mexico City, Mexico, to determine the winner of the 1993 CONCACAF Gold Cup. This was the second final in the history of CONCACAF Gold Cup and second consecutive final for the United States after they beat Honduras in a penalty shootout in the 1991 final. They faced Mexico, who were making their first appearance in a Gold Cup Final. El Tri won the match 4–0 in front of 120,000 spectators.

As the Gold Cup champion, Mexico qualified as the CONCACAF representative in the 1995 King Fahd Cup in Saudi Arabia.
Dreadnots GFC
Dreadnots GFC is a Gaelic Athletic Association (GAA) club that fields gaelic football teams in competitions organised by Louth GAA. It is located in the south Louth seaside village of Clogherhead.

The club has a local rivalry with neighbours St Fechin's. As of 2025, the club competes in the Louth Senior Championship and Division 1 of the county football Leagues.

St Fechin's GAA
St Fechin's GAA is a Gaelic Athletic Association (GAA) club that fields teams in competitions organised by Louth GAA. It is located in the seaside village of Termonfeckin, part of Beaulieu parish.

Former Louth county footballer Fr Shane Cullen helped found the club in 1941.

Paddy McGlew, who played football with the club, was Chairman of Louth GAA from 1988 to 1991.

In the late 1990s St Fechin's purchased a 27-acre site at Beaulieu, which would become their new home. The official opening was performed by then GAA president Seán Kelly in August 2003. The site at Beaulieu has 3 GAA pitches and two small Astro turf pitches. In 2020 the club opened a new community centre which has multiple meeting rooms, a hall, remote working area and a kitchen.

Clogherhead club Dreadnots are the clubs local rivals and Knockbridge GAA are the clubs biggest rivals in hurling.
Ed Martin (boxer)
Edward "Denver Ed" Martin (September 10, 1881, or 1877 – May 11, 1937) was an American boxer who was the World Colored Heavyweight Champion from February 24, 1902, when he beat Frank Childs, until February 5, 1903, when he lost his title to Jack Johnson, the only Colored Heavyweight Champion (and first African American) to win the world's heavyweight championship.

Known as "Denver Ed Martin" and "The Colorado Giant", Martin was born in Denver, Colorado, on September 10, 1881 (or 1877). His father was born in Alabama and his mother in Georgia. His height was listed as 6 ft 3+1⁄2 in (1.918 m), while some sources report that he was 6' 6" or 6' 6½" tall. Martin was a strong boxer with renowned footwork who was a strong puncher.

Frank Childs
Frank Childs (born July 17, 1867, Texas; died June 20, 1936, Waukegan, Illinois), "The Crafty Texan", was an African American boxer who fought professionally  out of Chicago from 1892 to 1911 and twice held the World Colored Heavyweight Championship. Fighting at a weight of between 160 and 185 lbs., the short, stocky Childs fought middleweights, light-heavyweights and heavyweights. He had a powerful punch.
A Sumo Wrestler's Tail
A Sumo Wrestler's Tail (Japanese: ちゅうずもう, Hepburn: Chūzumō) is a 2010 fantasy animated 13-minute short film written by Hayao Miyazaki and directed by Akihiko Yamashita. It is based on a Japanese folk tale, Nezumi no Sumō. It was produced by Studio Ghibli for the Ghibli Museum in Mitaka.

Nezumi no Sumō
Nezumi no Sumō (ねずみのすもう or ねずみの相撲; lit. "Rat's/Mouse's Sumo") is a Japanese folk tale. It tells the story of an old man and his wife who help out some mice who engage in sumo. As a reward, one of the mice gives them enough gold on which to live for the rest of their lives.

Many individual books and story collections have included this story. Nezumi no Sumō was animated as episode 42 of ''Manga Nihon Mukashi Banashi'' in 1976 on MBS. Studio Ghibli released a 13-minute short film in 2010 titled A Sumo Wrestler's Tail based on this folk tale. The film shows at the Ghibli Museum in Mitaka.
Trailblazers (Women's T20 Challenge)
Trailblazers was an Indian cricket team. They were founded in 2018 to compete in the Women's T20 Challenge, which they competed in until the tournament ended in 2022. They won the tournament once, beating Supernovas in the final of the 2020 Women's T20 Challenge by 16 runs.

Supernovas (Women's T20 Challenge)
Supernovas were an Indian cricket team. They were founded in 2018 to compete in the Women's T20 Challenge, which they competed in until the tournament ended in 2022. They were the most successful T20 Challenge side, having won the tournament three times, in 2018, 2019 and 2022.
Don Jazzy
Michael Collins Ajereh (born 26 November 1982), known professionally as Don Jazzy, is a Nigerian music executive, record producer, singer, songwriter, businessman, and philanthropist. He founded the record label Mavin Records in 2012, as a subsidiary of Mavin Global Holdings, through which he has signed artists including Rema, Ayra Starr, Magixx, Bayanni, Johnny Drille, Ladipoe, Lifesize Teddy, DJ Big N, and Boy Spyce. He co-founded Mo' Hits Records with D'banj in 2004, and was an in-house producer for Kanye West's GOOD Music from 2011 to 2013.

Rema (musician)
Divine Ikubor (born 1 May 2000), known professionally as Rema, is a Nigerian singer-songwriter and rapper. He gained recognition with his 2019 song "Dumebi". That same year, he signed with D'Prince's record label, Jonzing World. He achieved international recognition with his 2022 single "Calm Down", which spawned a remix with American singer Selena Gomez that peaked at number three on the Billboard Hot 100. The song also led Billboard Afrobeats Songs chart for a record-setting 58 weeks.

That same year, he released his studio album, Rave & Roses (2022), which peaked at number 81 on the Billboard 200. His second album, Heis (2024), was supported by the single "Benin Boys" (with Shallipopi) and yielded Rema's first Grammy Award nomination—for Best Global Music Album at the 67th Annual Grammy Awards.
Josh Bullocks
Josh Bullocks (born February 28, 1983) is an American football safety. He was drafted by the New Orleans Saints in the second round of the 2005 NFL draft. He is the identical twin of fellow NFL safety Daniel Bullocks.

He played college football at Nebraska. Bullocks has also been a member of the Chicago Bears and Oakland Raiders. In January 2015, he joined the Omaha Beef of Champions Indoor Football as an assistant coach.

Daniel Bullocks
Daniel Bullocks (born February 28, 1983) is an American football coach and former player.  He played football professionally as safety in the National Football League (NFL) with the Detroit Lions from 2006 to 2010. He was selected by the Lions in the second round of the 2006 NFL draft following his college football playing career at Nebraska.
Wallis Annenberg Wildlife Crossing
The Wallis Annenberg Wildlife Crossing is a vegetated overpass currently under construction in Agoura Hills, California, at Liberty Canyon. Originally called the Liberty Canyon Wildlife Crossing, the bridge will be a critical wildlife crossing, spannning the ten-lane Ventura Freeway, connecting the Simi Hills with the isolated Santa Monica Mountains.

Simi Hills
The Simi Hills are a low rocky mountain range of the Transverse Ranges in eastern Ventura County and western Los Angeles County, of Southern California, United States.

The range runs mainly north-south, is approximately
26 miles (42 km) long by 7 mi (11 km) wide, and reaches a maximum elevation of 2,401 ft (732 m) at  Simi Peak.
Amber Radio
Amber Radio was originally a classic hits/gold radio station operating from studios in both Norwich and Ipswich, England.  It was the AM sister station of Radio Broadland and SGR and served Norfolk and Suffolk, covering a population of over a million for several years.

Amber Radio returned to the airwaves in Norwich and Norfolk and parts of north Suffolk in September 2023. It broadcast on the Norfolk local DAB multiplex, as well as on smart speaker and online. The station was operated on a voluntary basis by mainly former Amber and Broadland staff members as a not-for-profit business.

Heart Ipswich
Heart Ipswich (formerly SGR FM) was an Independent Local Radio station that evolved from Suffolk Group Radio, which was the parent company for two Independent radio stations serving the county of Suffolk in England.
Agiapuk River
Agiapuk River (also Agee-ee-puk, Ageepuk, Agiopuk, Ahgeeapuk) is a waterway on the Seward Peninsula in the U.S. state of Alaska. It is a tributary to Grantley Harbor from the north. American River is a main tributary.

American River (Agiapuk River tributary)
American River is a waterway in the U.S. state of Alaska. Situated on the northwestern portion of Seward Peninsula, it is the eastern and larger fork of the Agiapuk River. It joins the Agiapuk River in a broad, gravel-filled basin, and for 20 miles (32 km) up, is characterized by a wide flood plain and a meandering course. It receives a number of large tributaries from the east which also have wide floodplains developed in their lower parts. The important tributaries are Portage Creek, Budd Creek, and Igloo Creek, while smaller tributaries are Burke, Gold Run, Dome, and Camp creeks. All of these tributaries received some attention from gold prospectors. The river is easily navigable by small boats for several miles above the mouth of Portage Creek, and the region can also be reached from Teller. Gold had been discovered in the region in September 1901 and a number of the streams were known to be gold-bearing to some extent.
George Strez Balšić
George Strez Balšić (Serbian Cyrillic: Ђурађ Стрезов Балшић; Albanian: Gjergj Balsha)[A] or Gjergj Strez Balsha (fl. 1444–57) and his brothers Gojko and Ivan were the lords of Misia, a coastal area from the White Drin towards the Adriatic. The brothers were members of the Balšić noble family, which had earlier held Zeta. They participated in founding of the League of Lezhë, an alliance led by their maternal uncle Skanderbeg. George later betrayed Skanderbeg, by selling a domain to the Ottomans, while his two brothers continued to support Skanderbeg until his death and then continued to fight for the Venetian forces.

Ivan Strez Balšić
Ivan Strez Balšić (Serbian Cyrillic: Јован Стрез Балшић; Albanian: Gjon Balsha)  or John Balsha fl. 1444–1469)[A] and his brothers George Strez and Gojko Balšić were the lords of Misia, a coastal area from the White Drin towards the Adriatic. The brothers were members of the Balšić family, which earlier held Zeta, but had now placed itself among the nobility in Albania. They participated in founding of the League of Lezhë, an alliance led by their maternal uncle Skanderbeg. Ivan and Gojko supported Skanderbeg until he died in 1468 and then continued to fight against Ottomans together with Venetian forces. After Skanderbeg's death Venice installed Ivan Strez Balšić as Skanderbeg's successor.
Catherine Backus
Catherine Fallis Backus (1863–1955) was an American sculptor. She created several commemorative bronze statues and busts from the 1890s through the first decade of the 20th century. She is perhaps most well known for creating a statue of William J. Colvill for the rotunda of the Minnesota State Capitol.

Backus was a student at the Minneapolis School of Fine Arts and studied under sculptor Lorado Taft at the School of the Art Institute of Chicago. During her career she created a statue of the ferryman Captain John Tapper, a tablet depicting horticulturalist John S. Harris, a bas-relief portrait of poet Arthur Upson, and busts of missionary Joseph W. Hancock and Reverend H. M. Simmons. After 1911, she moved to Florida with her family where she undertook large-scale flower gardening.

Lorado Taft
Lorado Zadok Taft (April 29, 1860 – October 30, 1936) was an American sculptor, writer and educator. Part of the American Renaissance movement, his monumental pieces include, Fountain of Time, Spirit of the Great Lakes, and The Eternal Indian. His 1903 book, The History of American Sculpture, was the first survey of the subject and stood for decades as the standard reference. With what were seen as progressive views on the subject, he has been credited with helping to advance the status of women as sculptors.

Taft was the father of U.S. Representative Emily Taft Douglas, father-in-law to her husband, U.S. Senator Paul Douglas, and a distant relative of U.S. President William Howard Taft.
Marek Hucz
Marek Piotr Hucz (Polish: [ˈma.rɛk ˈpjɔtr ˈxut͡ʂ]; born 20 December 1988) is a Polish stage, film and television actor, producer, and director. Together with Jan Jurkowski, he is a co-founder of Darwin Film Group which publishes its productions on YouTube.

Jan Jurkowski
Jan Jurkowski (Polish: [ˈjan jurˈkɔf.ski]; born 1989) is a Polish stage, film and television actor, director, screenwriter, and editor. Together with Marek Hucz, he is a co-founder of Darwin Film Group which publishes its productions on YouTube.
Drunken Tiger
Drunken Tiger (Korean: 드렁큰 타이거) was a Korean hip hop group that debuted in 1999 and has since released several albums and won numerous awards. They are known as pioneers of Korean hip-hop who helped bring the genre into the mainstream.

The group's original line-up consisted of central member Tiger JK, as well as DJ Shine. Micki Eyes, DJ Jhig, and Roscoe Umali later joined the group. In 2013, Tiger JK moved away from making music under the group's original name and formed MFBTY with his wife Yoon Mi-Rae and Bizzy. In 2018, Tiger JK released a final self titled album under the Drunken Tiger name, featuring Yoon Mi-Rae and Bizzy alongside a number of other artists.

MFBTY
MFBTY, an acronym that stands for "My Fans [Are] Better Than Yours," is a Korean hip-hop group under Feel Ghood Music consisting of Tiger JK, Yoon Mi-rae, and Bizzy. They debuted in 2013 with the single, "Sweet Dream." MFBTY was meant to be only a temporary name, and the trio released an album later that year as Drunken Tiger, Tiger JK's legendary hip hop group. However, they later returned to the name MFBTY and released their first full-length album under that name in 2015.
New Britain
New Britain (Tok Pisin: Niu Briten) is the largest island in the Bismarck Archipelago, part of the Islands Region of Papua New Guinea. It is separated from New Guinea by a northwest corner of the Solomon Sea (or with an island hop of Umboi the Dampier and Vitiaz Straits) and from New Ireland by St. George's Channel. The main towns of New Britain are Rabaul/Kokopo and Kimbe.  The island is roughly the size of Taiwan.

When the island was part of German New Guinea, its name was Neupommern ("New Pomerania").  In common with most of the Bismarcks it was largely formed by volcanic processes, and has active volcanoes including Ulawun (highest volcano nationally), Langila, the Garbuna Group, the Sulu Range, and the volcanoes Tavurvur and Vulcan of the Rabaul caldera. A major eruption of Tavurvur in 1994 destroyed the East New Britain provincial capital of Rabaul. Most of the town still lies under metres of ash, and the capital has been moved to nearby Kokopo.

East New Britain Province
East New Britain is a province of Papua New Guinea, consisting of the north-eastern part of the island of New Britain and the Duke of York Islands. The capital of the province is Kokopo, not far from the old capital of Rabaul, which was largely destroyed in a volcanic eruption in 1994. East New Britain covers a total land area of 15,816 square kilometres (6,107 sq mi), and the province's population was reported as 220,133 in the 2000 census, rising to 328,369 in the 2011 count. Provincial coastal waters extend over an area of 104,000 square metres (26 acres). The province's only land border is with West New Britain Province to the west, and it also shares a maritime border with New Ireland Province to the east.

East New Britain has a dual economy: a cash economy operates side by side with the subsistence-farming sector. The main crops produced for export are cocoa and copra. Tourism continues to be an increasingly important sector of the provincial economy.
Hokkaido University
Hokkaido University (北海道大学, Hokkaidō daigaku), or Hokudai (北大), is a public research university in Sapporo, Hokkaido, Japan. Founded in 1918, it is the fifth-oldest government-authorised university in Japan and one of the former Imperial Universities.

The university finds its roots in Sapporo Agricultural College, which was a pioneer in the country's modern agricultural education and research, founded in 1876. The university's motto is 'Boys, Be Ambitious', which is said to be the parting words of the American dean of the Agricultural College, William S. Clark.

The university has 12 undergraduate faculties and 21 postgraduate schools. The university mainly operates on two campuses: the main campus is located in downtown Sapporo, just north of Sapporo Station, and the other campus is located in Hakodate, primarily used by the Faculty of Fishery Sciences.

Imperial Universities
The Imperial Universities (Kyūjitai: 帝國大學, Shinjitai: 帝国大学, teikoku daigaku; abbr.: 帝大 teidai) were founded by the Empire of Japan between 1886 and 1939, seven in Mainland Japan, one in Korea under Japanese rule and one in Taiwan under Japanese rule. These universities were funded by the imperial government until the end of World War II.
Entre Douro e Minho
Entre Douro e Minho (Portuguese pronunciation: [ˈẽtɾɨ ˈðoɾu i ˈmiɲu]) is one of the historical provinces of Portugal which encompassed the country's northern Atlantic seaboard between the Douro and Minho rivers. Contemporaries often referred to the province as simply "Minho". It was one of six provinces Portugal was commonly divided into from the early modern period until 1936, although these provinces were not recognized as official units of government.

Provinces of Portugal
The term "provinces" (Portuguese: províncias) has been used throughout history to identify regions of continental Portugal. Current legal subdivisions of Portugal do not coincide with the provinces, but several provinces, in their 19th- and 20th-century versions, still correspond to culturally relevant, strongly self-identifying categories. They include:

Alentejo (Alto Alentejo, Baixo Alentejo)

Algarve

Beira (Beira Alta, Beira Baixa, Beira Litoral)

Douro Litoral

Estremadura

Minho

Ribatejo

Trás-os-Montes e Alto Douro

The islands of Azores and Madeira were never called "provinces".