hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Primitive recursive functional
In mathematical logic, the primitive recursive functionals are a generalization of primitive recursive functions into higher type theory. They consist of a collection of functions in all pure finite types.

The primitive recursive functionals are important in proof theory and constructive mathematics. They are a central part of the Dialectica interpretation of intuitionistic arithmetic developed by Kurt Gödel.

In recursion theory, the primitive recursive functionals are an example of higher-type computability, as primitive recursive functions are examples of Turing computability.

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.
Rancho Cañada del Corral
Rancho Cañada del Corral was a 8,876-acre (35.92 km2) Mexican land grant in present-day Santa Barbara County, California given in 1841 by Governor pro tem Manuel Jimeno to José Dolores Ortega.  The name means "valley corral".  The grant extended along the Pacific coast from José Francisco Ortega's Rancho Nuestra Señora del Refugio past El Capitán State Beach to Rancho Dos Pueblos, and extended up into the Santa Ynez Mountains along Corral Canyon and El Capitán Canyon.

José Francisco Ortega
José Francisco Ortega (1734 – February 1798) was a soldier from New Span and early settler of Alta California. He joined the military at the age of twenty-one and rose to the rank of sergeant by the time he joined the Portola expedition in 1769. At the end of his military duty he would be granted land which he named Rancho Nuestra Senora del Refugio near Santa Barbara.
Danny Dahill
Dan "Danny" Dahill (September 28, 1919 – April 15, 2013) was an American lawyer and legislator.

Born in Glen Jean, West Virginia, Dahill served in the United States Marine Corps during World War II. He graduated from the University of Notre Dame and received his law degree from West Virginia University College of Law. He practiced law in West Logan, West Virginia and was the city attorney. He served in the West Virginia House of Delegates (from 1957 to 1961) and in the State Senate (from 1961 to 1964).

Dahill died in Huntington, West Virginia, aged 93.

West Virginia University College of Law
West Virginia University College of Law is the law school of West Virginia University in Morgantown, West Virginia, United States. The law school was established in 1878 as the university's first professional school. The Juris Doctor program is accredited by the American Bar Association, and the school is listed as an ABA-approved law school and as a member of the Association of American Law Schools. Susan Brewer has served as interim dean since July 2025, succeeding Amelia Smith Rinehart, who served as dean from 2021 to 2025.
Youvanam
Youvanam is a 1974 Indian Malayalam-language film, directed by Babu Nanthankode and produced by P. Subramaniam. The film stars Madhu, Thikkurissy Sukumaran Nair, Raghavan, Vijayasree and Rani Chandra. The film had musical score by V. Dakshinamoorthy.

Babu Nanthankode
Babu Nanthankode  is a South Indian film director who works mainly in the Malayalam film industry. Born in Thiruvananthapuram, India, Babu Nanthankode displayed a storyteller's potential from an early age. He is known for his realistic and sensitive portrayal of village life in his movies.
Strahinja Stojačić
Strahinja Stojačić (Serbian Cyrillic: Страхиња Стојачић; born 15 July 1992), nicknamed "Brka" and "Doctor Strange", is a Serbian professional basketball player who last played for Hercegovac Gajdobra of the Second Basketball League of Serbia. He also played at the FIBA 3x3 World Tour for Ub Huishan NE and Serbia men's national 3x3 team.

KK Hercegovac Gajdobra
Košarkaški klub Hercegovac (Serbian Cyrillic: Кошаркашки клуб Херцеговац), commonly referred to as KK Hercegovac, is a men's basketball club based in Gajdobra, near Bačka Palanka, Vojvodina, Serbia. They are currently competing in the Second Basketball League of Serbia.

The club bears its name after an ethnonym Herzegovinian.
Mount Young (Antarctica)
Mount Young (84°27′S 179°48′E﻿ / ﻿84.450°S 179.800°E﻿ / -84.450; 179.800) is a small peak, 770 m, at the north end of a spur on the east side of Ramsey Glacier, just south of the Ross Ice Shelf. Discovered and photographed by U.S. Navy Operation Highjump on the flights of February 16, 1947, and named by Advisory Committee on Antarctic Names (US-ACAN) after Henry Richard Young of New Zealand, who was a mechanic on the Byrd Antarctic Expedition, 1928–30 and 1933–35.

Richard E. Byrd
Richard Evelyn Byrd Jr. (October 25, 1888 – March 11, 1957) was an American naval officer, and pioneering aviator, polar explorer, and organizer of polar logistics. Aircraft flights in which he served as a navigator and expedition leader crossed the Atlantic Ocean, a segment of the Arctic Ocean, and a segment of the Antarctic Plateau. He is also known for discovering Mount Sidley, the largest dormant volcano in Antarctica.

Byrd claimed to be the first to reach both the North and South Poles by air. However, there is some controversy as to whether he was actually the first person to reach the North Pole. It is generally believed that the distance he claimed to have flown was longer than the possible fuel range of his airplane.

He was a recipient of the Medal of Honor, the United States Armed Forces' highest military decoration, and the Navy Cross, the second highest honor for valor given by the U.S. Navy.
1500 or Nothin'
1500 or Nothin' is an American musical ensemble composed of record producers, songwriters, musicians and music videographers, formed in 2006, in Los Angeles, California. With headquarters located in Inglewood, California, 1500 or Nothin' is composed of three internal divisions: 1500 Or Nothin'  Music, 1500 Or Nothin'  Video, and 1500 Or Nothin' Ancillary. The collective has lent their writing or production to releases for Justin Timberlake, Asher Roth, Jay-Z, Kanye West, T.I., Bruno Mars and  B.o.B.

In addition, the 1500 or Nothin' (or The Fifteen Hundreds) are an 8-piece band that tours internationally and makes television appearances regularly with artists including Snoop Dogg, Lupe Fiasco, The Game, Faith Evans and Eladio Carrion. Its members are Larrance "Rance" Dopson, Charles 'Uncle Chucc' Hamilton, Lamar 'Mars' Edwards, Brody Brown, James Fauntleroy, Kenneth "Bam" Alexander, Alexandria Dopson, Carlos "Los" Mc Swain, and Jeret Black.

Videography
Videography involves capturing moving images on electronic media (such as: videotape, direct to disk recording, or solid state storage), and can include streaming media. It encompasses both video production and post-production methods. Historically videography was considered the video counterpart to cinematography, which involved recording moving images on film stock. However, with the advent of digital video recording in the late 20th century, the distinction between the two has become less clear as  both use similar intermediary mechanisms. Today, any video work can be referred to as videography, while commercial motion picture production is typically termed cinematography.

A videographer works in the field of videography and video production. News broadcasting heavily relies on live television, where videographers are involved in electronic news gathering (ENG) of local news stories.
The House on Tollard Ridge
The House on Tollard Ridge is a 1929 detective novel by John Rhode, the pen name of the British writer Cecil Street. It marked the sixth appearance of the armchair detective Lancelot Priestley, who featured in a long-running series of novels during the Golden Age of Detective Fiction. The plot was partly inspired by Rudyard Kipling's short story Wireless, which Rhode mentions in the novel.

Dr. Lancelot Priestley
Dr. Lancelot Priestley is a fictional investigator in a series of books by John Rhode. After 1924, Dr. Priestley took over from Dr. Thorndyke as the leading fictional forensic investigator in Britain and featured in 72 novels written over 40 years, solving many ingenious and misleading murders.
With Child
With Child is the third novel in the Kate Martinelli series by Laurie R. King. In the book, a teenaged girl is kidnapped while she was supposed to be in Kate's care. With Child is preceded by To Play the Fool and followed by Night Work. The book was nominated for an Edgar Allan Poe Award.

Edgar Awards
The Edgar Allan Poe Awards, popularly called the Edgars, are presented every year by the Mystery Writers of America which is based in New York City. Named after American writer Edgar Allan Poe (1809–1849), a pioneer in the genre, the awards honor the best in mystery fiction, non-fiction, television, film, and theater published or produced in the previous year.
Carina (constellation)
Carina (/kəˈraɪnə, kəˈriːnə/ kə-RY-nə, -⁠REE-) is a constellation in the southern sky. Its name is Latin for the keel of a ship, and it was the southern foundation of the larger constellation of Argo Navis (the ship Argo) until it was divided into three pieces, the other two being Puppis (the poop deck), and Vela (the sails of the ship).

Southern celestial hemisphere
The southern celestial hemisphere, also called the Southern Sky, is the southern half of the celestial sphere; that is, it lies south of the celestial equator. This arbitrary sphere, on which seemingly fixed stars form constellations, appears to rotate westward around a polar axis as the Earth rotates.

At all times, the entire Southern Sky is visible from the geographic South Pole; less of the Southern Sky is visible the further north the observer is located. The northern counterpart is the northern celestial hemisphere.
Karl Umrigar
Karl Umrigar (4 October 1960 – 3 May 1979) born to a Parsi family, was a champion Indian jockey in the 1970s. His family sponsors a Karl Umrigar Trophy every year in his memory.

He is survived by his parents Jimmy and Nan Umrigar, his sister Tina who is married to champion Jockey and Horse Trainer Pesi Shroff. Karl became a famous Indian jockey at the age of 17.

In the 1978-79 Mahalaxmi racing season, Karl Umrigar who rode 144 mounts that season with 54 winners, 33 seconds, 22 thirds and 17 fourths, only 18 of his rides failing to finish in the frame.

He met with a tragic accident on the racetrack when the horse Vasudha, threw him off her back. He slipped into coma at the Breach Candy hospital and died on 3 May 1979.

Breach Candy Hospital
Breach Candy Hospital is a private hospital located in Mumbai, India. It is located in the Breach Candy area of South Mumbai.  It is well known for the rich and famous patients that have been in the hospital.
Journal of Trace Elements in Medicine and Biology
The Journal of Trace Elements in Medicine and Biology is a bimonthly peer-reviewed medical journal covering the roles played by trace elements in medical and biological systems. It was established in 1987 as the Journal of Trace Elements and Electrolytes in Health and Disease, obtaining its current title in 1995. It is published by Elsevier on behalf of the Federation of European Societies on Trace Elements and Minerals (FESTEM), of which it is the official journal. The editor-in-chief is Dirk Schaumlöffel (Université de Pau et des Pays de l'Adour/Centre national de la recherche scientifique). According to the Journal Citation Reports, the journal has a 2017 impact factor of 3.755.

University of Pau and the Adour Region
The University of Pau and the Adour Region (French: L'Université de Pau et des Pays de l'Adour, often known by the initialism UPPA) is a multi-site, public university located in southwestern France. Founded in 1972, it is based in Pau (département of Pyrénées-Atlantiques) but also in  Anglet, Bayonne, Tarbes and Mont-de-Marsan in the Adour river basin. Coming administratively under the Academy of Bordeaux, it is the third largest university in southwestern France (after Bordeaux and Toulouse), with almost 14,000 students.
Kanjli
Kanjli  is a village in Kapurthala district of Punjab State, India. It is located 5 kilometres (3.1 mi) from Kapurthala, which is both district and sub-district headquarters of Kanjli. The village is administrated by a Sarpanch, who is an elected representative.Moreover, It is the home of famous kabaddi player and wrestler Sikandar Kanjli and malkeet kanjli.

Kapurthala
Kapurthala (Punjabi pronunciation: [kə.puːɾ.t̪ʰə.läː]) is a city in the Punjab state of India. It is the administrative headquarters of the Kapurthala District. It was the capital of the Kapurthala State, a princely state in British India. It is an immediate neighbour of Jalandhar city proper, and a part of the Jalandhar Metropolitan Region. The aesthetic mix of the city, with its prominent buildings based on French and Indo-Saracenic architecture self-narrate its princely past. And for this reason, it has often been referred to as the “Paris of Punjab”. It is also known as the 'City of Palaces & Gardens'. According to the 2011 census, Kapurthala is the least populated city in India.
Battle of Maehwa-san
The Battle of Maehwa-San was fought for control of the hills and area around Maehwa mountain between the Hoengseong County and Wonju, between 7–12 March 1951, during the Korean War. The British Empire 27th British Commonwealth Brigade was tasked with eliminating the Chinese People's Volunteer Army (PVA) and  Korean People's Army (KPA) forces occupying the area.

Korean People's Army
The Korean People's Army (KPA; Korean: 조선인민군; MR: Chosŏn inmin'gun) encompasses the combined military forces of North Korea and the armed wing of the Workers' Party of Korea (WPK). The KPA consists of five branches: the Ground Force, the Naval Force, the Air Force, the Strategic Force, and the Special Operations Forces. It is commanded by the WPK Central Military Commission, which is chaired by the WPK general secretary, and the president of the State Affairs; both posts are currently headed by Kim Jong Un.

The KPA considers its primary adversaries to be the Republic of Korea Armed Forces and United States Forces Korea, across the Korean Demilitarized Zone, as it has since the Armistice Agreement of July 1953. As of 2021 it is the second largest military organisation in the world, with 29.9% of the North Korean population actively serving, in reserve or in a paramilitary capacity.
Suzuki Boulevard
The Suzuki Boulevard range of motorcycles includes:

Suzuki Boulevard C109R

Suzuki Boulevard C90

Suzuki Boulevard C50

Suzuki Boulevard M109R

Suzuki Boulevard M90

Suzuki Boulevard M50

Suzuki Boulevard S40

Suzuki Boulevard S50

Suzuki Boulevard S83

Suzuki Boulevard C50
The Suzuki Boulevard C50 (VL800) is a  cruiser motorcycle made by Suzuki Motor Corporation since 2001. Prior to 2005, the model was named the Volusia for Volusia County, Florida, where it was unveiled at the 2001 Daytona Bike Week. In 2005, Suzuki re-branded it as the Suzuki Boulevard C50. It follows the formula of a smaller yet capable engine fitted into a frame sized for a slightly larger engine, a popular combination also in use by Honda, Kawasaki, and Yamaha in their respective cruiser lines.
Doorways in the Sand
Doorways in the Sand is a science fiction novel by American writer Roger Zelazny. Featuring both detective fiction and comic elements, it was originally published in serial form in the magazine Analog Science Fiction and Science Fact; the hardcover edition was first published in 1976 and the paperback in 1977. Zelazny wrote the whole story in one draft, with no rewrites, and it subsequently became one of his five favorites among his own work. Doorways in the Sand was nominated for the Nebula and Hugo awards.

Locus (magazine)
Locus: The Magazine of The Science Fiction & Fantasy Field, founded in 1968, is an American magazine published monthly in Oakland, California. It is the news organ and trade journal for the English-language science fiction and fantasy fields. It also publishes comprehensive listings of all new books published in the genres (excluding self-published). The magazine also presents the annual Locus Awards. Locus Online was launched in April 1997, as a semi-autonomous web version of Locus Magazine.
Raisby Hill Quarry
Raisby Hill Quarry is a Site of Special Scientific Interest in east County Durham, England. It lies just under 1.2 miles (2 km) east of the village of Coxhoe.

The site is a working quarry and has been designated as of national importance in the Geological Conservation Review. Until 1984, the site included most of the area that now forms the Raisby Hill Grassland SSSI.

The quarry exposes a section through the Marl Slate and the Ford and Raisby Formations of the Upper Permian. It is the type locality for the Raisby Formation, a carbonate unit of the English Zechstein sequence. The exposed sequence commences with the Yellow Sands, which are overlain by the Marl Slate and some 200 feet of calcareous and dolomitic limestones.

Coxhoe
Coxhoe is a village in County Durham, England. It is situated about 5 miles (8 km) south of Durham City centre. The civil parish also includes nearby Quarrington Hill.  The electoral ward of Coxhoe stretches beyond the boundaries of the parish and has a total population of 7,027.
Anders Svela
Anders Bernhard Svela (11 September 1939 – 7 September 2010) was a Norwegian footballer and teacher.

In his younger days he competed in both athletics (Sandnes IL), gymnastics and handball. He played at the highest tier in football, winning promotion with Stavanger, before moving to Oslo to study. Here he played 187 games for first-tier club Frigg. He was also capped twice for Norway. After retiring, he coached Ulf-Sandnes, Figgjo IL, Klepp IL, Ålgård FK and Egersunds IK between 1967 and 1982.

At the University of Oslo he graduated with the cand.philol. degree and spent his professional career as a teacher at Sandnes Upper Secondary School from 1967 to 2005. His favorite subject was French, and he was awarded the Ordre des Palmes Académiques.

He was married and had two daughters. He died in September 2010, shortly before his 71st birthday.

Sandnes IL
Sandnes Idrettslag is a Norwegian sports club from Sandnes, founded in 1946. The club has sections for track and field athletics, orienteering and skiing.

Athletes competing for Sandnes IL include Henrik Ingebrigtsen, Bjørnar Ustad Kristensen, Filip Ingebrigtsen, Lars Vikan Rise, Per Magne Florvaag, Marius Bakken Støle, and Jakob Ingebrigtsen.
Gen. Gideon Foster House
The Gen. Gideon Foster House is a historic house in Peabody, Massachusetts.  The two story Federal style wood-frame house was built in the early 1800s at a location on Main Street.  The house was bought in 1815 by Gideon Foster, a local veteran of the American Revolutionary War and the War of 1812.  The house was later owned by Eben Sutton, a local textile manufacturer, who sold the house so that it could be moved to make way for a larger house on the same lot.

The house was listed on the National Register of Historic Places in 1976, and included in the Washington Street Historic District in 1985. It is the current home of the Peabody Historical Society, which acquired the property in 1916.

Peabody, Massachusetts
Peabody (/ˈpiːbədi/) is a city in Essex County, Massachusetts, United States. The population was 54,481 at the time of the 2020 United States census. Peabody is located in the North Shore region of Massachusetts, and is known for its rich industrial history.
Barbershop (TV series)
Barbershop: The Series is an American sitcom which made its debut on Showtime in August 2005. It is based upon the Mark Brown–created characters from the popular films Barbershop (2002) and Barbershop 2: Back in Business (2004), and was developed for television by screenwriter John Ridley. It stars Omar Gooding as Calvin Palmer, Jr., the proprietor of an African-American barbershop on the South Side of Chicago.

The series was produced by Barbershop and Barbershop 2 producers George Tillman, Jr. and Robert Teitel, along with original Barbershop star Ice Cube, and co-executive produced by Matt Wickline.  It lasted for only one season, and ten episodes were aired (seven of which were written by Ridley).

Matt Wickline
Matthew John Wickline (born April 28, 1962) is an American television writer, producer, director, and actor known for being a longtime member of the writing staff for Late Night With David Letterman. He wrote on In Living Color, where he created the hit character Homey D. Clown, portrayed by Damon Wayans. He went on to write for Martin, The Jamie Foxx Show, and co-create The Hughleys and Frank TV.

Throughout his career, Wickline was nominated for 11 Emmys and won four.
Bermuda Civil Aviation Authority
The Bermuda Civil Aviation Authority (BCAA) is the civil aviation authority of Bermuda. It has its headquarters in St. George's.

The body is organised into four departments, namely Airworthy, Operations, Flight Operations, and Administration. As of March 2012, Thomas Dunstan is the Director.

St. George's, Bermuda
St. George's (formally the Town of St. George or St. George's Town), located on the island and within the parish of the same names (and on the northern side of St. George's Harbour), settled in 1612, is the first permanent English (and later British) settlement on the islands of Bermuda. It is often described as the third permanent British settlement in the Americas, after Jamestown, Virginia (1607), and Cupids, Newfoundland (1610), and the oldest continuously-inhabited British town in the New World, since the other two settlements were seasonal for a number of years.
SIC Comédia
SIC Comédia was a Portuguese TV channel, available on cable. It was part of the television network SIC (Sociedade Independente de Comunicação). It closed on 31 December 2006.

The channel aired shows such as Seinfeld, The Tonight Show, Late Night with Conan O'Brien, Cheers, The Benny Hill Show, M*A*S*H, Benson, Saturday Night Live, 'Allo 'Allo!, Comedy Inc., Mad About You, Everybody Loves Raymond, Frasier, My Hero, Alas Smith and Jones, The War Next Door. It also showed home-grown products (either reruns from the main channel or original commissions), such as Biqueirada, HermanSic and Prazer dos Diabos.

It is now defunct, because TVCabo, Portugal's main cable provider, decided to drop it despite a petition for it to continue. On TVCabo, Fox Life replaced it, and on TVTEL (another Portuguese cable provider), SIC Mulher got the spot.

SIC Mulher
SIC Mulher (lit. SIC Woman) is a Portuguese basic cable and satellite television channel owned by Sociedade Independente de Comunicação (SIC) and launched on March 8, 2003. The target audience of this general entertainment channel are women.
Wincentów, Łask County
Wincentów [vinˈt͡sɛntuf] is a village in the administrative district of Gmina Widawa, within Łask County, Łódź Voivodeship, in central Poland. It lies approximately 8 km (5 mi) south of Widawa, 27 km (17 mi) south-west of Łask, and 58 km (36 mi) south-west of the regional capital Łódź.

Łask County
Łask County (Polish: powiat łaski) is a unit of territorial administration and local government (powiat) in Łódź Voivodeship, central Poland. It came into being on January 1, 1999, as a result of the Polish local government reforms passed in 1998. Its administrative seat and only town is Łask, which lies 32 kilometres (20 mi) south-west of the regional capital Łódź.

The county covers an area of 617.38 square kilometres (238.4 sq mi). As of 2006 its total population is 50,874, out of which the population of Łask is 18,684 and the rural population is 32,190.