hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Nuel Belnap
Nuel Dinsmore Belnap Jr. (/ˈbɛlnæp/; May 1, 1930 – June 12, 2024) was an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory.  He taught at the University of Pittsburgh from 1963 until his retirement in 2011.

Structural proof theory
In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof, a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised in a proof calculus have analytic proofs, then the proof calculus can be used to demonstrate such things as consistency, provide decision procedures, and allow mathematical or computational witnesses to be extracted as counterparts to theorems, the kind of task that is more often given to model theory.
I Fell in Love (album)
I Fell in Love is the sixth studio album by American country music singer Carlene Carter, released in 1990. This was the highest-ranking Billboard album of her career, at #19 on the US Country charts. Four singles from the album also charted, with the title song "I Fell in Love," and "Come on Back" both reaching #3 as singles. Two lower-charting hits were the #25 "The Sweetest Thing" and the #33 "One Love."

The track "Me and the Wildwood Rose" is a tribute to Carter's half-sister, Rosie Nix Adams.  "Easy From Now On", a song that Carter cowrote with Susanna Clark in the 1970s, was originally a number 12 hit for Emmylou Harris on the Billboard Hot Country Singles & Tracks chart. Also, "You Are the One," written by Leon Payne, was a top 5 country hit for Carter's father, Carl Smith, in 1956. The album was produced by Howie Epstein from the Heartbreakers and also featured Benmont Tench, who cowrote the title track.

Carlene Carter
Carlene Carter (born Rebecca Carlene Smith; September 26, 1955) is an American country music singer and songwriter. She is the daughter of June Carter Cash and her first husband, Carl Smith.

Since 1978, Carter has recorded 12 albums as of 2020, primarily on major labels. In the same timespan, she has released more than 20 singles, including three number three-peaking hits on the Billboard Hot Country Songs charts.
Iduapriem Gold Mine
The Iduapriem Gold Mine (French: Mine d'or d'Iduapriem) is an open-pit gold mine situated 10 km south of Tarkwa, in the Western Region of Ghana. The mine is owned by AngloGold Ashanti and consists of the Iduapriem and the Teberebie operation, which were merged in 2000. AngloGold Ashanti originally only owned 85% of the mine but acquired the remaining 15% in September 2007.

In 2008, AngloGold Ashanti's Ghana operations, consisting of Iduapriem and the Obuasi Gold Mine, contributed 11% to the company's annual production. Both mines became part of AngloGold Ashanti when AngloGold merged with the Ashanti Goldfields Corporation in 2004.

In 2009, the mine employed 1,447 people. The mine has been fatality-free since 1999.

Tarkwa
Tarkwa is a town and is the capital of Tarkwa-Nsuaem Municipal District, a district in the Western Region southwest of South Ghana. Frequently dubbed as the "Golden City" by its indigenous populace, the region is characterized by a rich tapestry of Fante communities, among which include Efuanta, Tamso, Aboso, Akoon, Nzemaline, and Kwabedu.

Tarkwa has a population of 218,664 people according to 2021 settlement.
Sigamos Haciendo Historia
Sigamos Haciendo Historia (English: Let's Keep Making History) is a centre-left to left-wing, catch-all Mexican electoral coalition formed by the National Regeneration Movement (Morena), the Labor Party (PT), and the Green Ecologist Party of Mexico (PVEM) for the 2024 Mexican general election. Some local parties also participate in the coalition for their respective state elections.

The coalition is the successor to Juntos Hacemos Historia, an alliance that participated in the 2021 Mexican elections, the 2022 and 2023 state elections.

Big tent
A big tent party, or catch-all party, is a political party having members covering a broad spectrum of beliefs. This is in contrast to other kinds of parties, which defend a determined ideology, seek voters who adhere to that ideology, and attempt to convince people towards it.
Charles P. Daly
Charles Patrick Daly (October 13, 1816 – September 19, 1899) was a member of the New York State Assembly, Chief Justice of the New York Court of Common Pleas, president of the American Geographical Society, and an author of several books.

New York Court of Common Pleas
The New York Court of Common Pleas was a state court in New York. Established in the Province of New York in 1686, the Court remained in existence in the Province and, after the American Revolution, in the U.S. state of New York until it was abolished in 1894.

James Wilton Brooks wrote in History of the Court of common pleas of the city and county of New York (1896) that:

The Court of Common Pleas, founded in 1686, in the City of New York, extended in 1691 throughout the State, restricted again in 1846 to the City of New York, and finally, in accordance with the amended State Constitution of 1894, passing out of existence on the thirty-first of December, 1895, was the oldest judicial tribunal in the state of New York. It succeeded "The Worshipful Court of the Schout, Burgomasters and Schepens", which was established in 1653 and may thus be said to have had a continuous existence of nearly two centuries and a half.
Small Sacrifices
Small Sacrifices is a 1989 American made-for-television crime drama film written by Joyce Eliason and based on the best-selling true crime book by Ann Rule of the same name. The film is about Diane Downs and the murder and attempted murder of her three children. It stars Farrah Fawcett, Ryan O'Neal, Gordon Clapp, John Shea, and Emily Perkins. The film premiered in two parts on ABC on November 12 and 14, 1989.

Joyce Eliason
Joyce Eliason (May 14, 1934 – January 10, 2022) was an American television writer and producer. She was best known for writing TV miniseries including Titanic and The Last Don, and for the TV film The Jacksons: An American Dream. Eliason was one of the writers for the hit television series Love, American Style and wrote her first screenplay Tell Me a Riddle in 1980.
Pamela Smart
Pamela Ann Smart (née Wojas; born August 16, 1967) is an American woman who was convicted of being an accomplice to first-degree murder, conspiracy to murder, and witness tampering in the 1990 death of her husband, Gregory (Gregg) William Smart. Smart, then aged 22, had conspired with her underaged boyfriend, then 15-year-old William "Billy" Flynn, and three of his friends to have Gregg murdered in Derry, New Hampshire. She is currently serving a life sentence without the possibility of parole at Bedford Hills Correctional Facility for Women, a maximum security prison in Westchester County, New York.

Goffstown, New Hampshire
Goffstown is a town in Hillsborough County, New Hampshire, United States. The population was 18,577 at the 2020 census. The compact center of town, where 3,366 people resided at the 2020 census, is defined by the U.S. Census Bureau as the Goffstown census-designated place and is located at the junctions of New Hampshire routes 114 and 13. Goffstown also includes the villages of Grasmere and Pinardville. The town is home to Saint Anselm College (and its New Hampshire Institute of Politics), the Goffstown Giant Pumpkin Regatta, and was the location of the New Hampshire State Prison for Women, prior to the prison's relocation to Concord in 2018.
Alkali
In chemistry, an alkali (/ˈælkəlaɪ/ ⓘ; from the Arabic word al-qāly, القالِي) is a basic salt of an alkali metal or an alkaline earth metal. An alkali can also be defined as a base that dissolves in water. A solution of a soluble base has a pH greater than 7.0. The adjective alkaline, and less often, alkalescent, is commonly used in English as a synonym for basic, especially for bases soluble in water. This broad use of the term is likely to have come about because alkalis were the first bases known to obey the Arrhenius definition of a base, and they are still among the most common bases.

Magnesium hydroxide
Magnesium hydroxide is an inorganic compound with the chemical formula Mg(OH)2. It occurs in nature as the mineral brucite. It is a white solid with low solubility in water (Ksp = 5.61×10−12). Magnesium hydroxide is a common component of antacids, such as milk of magnesia.
Will Greaves
Wilfrid Greaves MP is a Canadian politician from the Liberal Party of Canada. He was elected Member of Parliament for Victoria in the 2025 Canadian federal election. Prior to his election, Greaves was an associate professor of political science at the University of Victoria. Greaves is the son and grandson of diplomats in Canada's foreign service.

Victoria (federal electoral district)
Victoria is a federal electoral district in British Columbia, Canada, that has been represented in the House of Commons of Canada from 1872 to 1904 and since 1925.

The riding was originally chartered as Victoria District for the special byelections held in 1871 upon the province's entry into Confederation. Like the other B.C. ridings with that appellation, however, the "District" was dropped once the temporary ridings were ratified and made "permanent" for the general election of 1872; this was the first in which the Victoria riding (by that name) appeared.  From 1905 up until the 1925 election, Victoria was represented by the riding of Victoria City.
111th Helicopter Regiment
The 111th Helicopter Regiment (Serbo-Croatian: 111. helikopterski puk / 82. хеликоптерски пук) was a unit established in 1944 as the 422nd Assault Aviation Regiment (Serbo-Croatian: 422. vazduhoplovni jurišni puk / 422. ваздухопловни јуришни пук).

780th Transport Helicopter Squadron
The 780th Transport Helicopter Squadron (Serbo-Croatian: 780. transportna helikopterska eskadrila / 780. транспортна хеликоптерска ескадрила) was a helicopter squadron of Yugoslav Air Force and later Republika Srpska Air Force formed in October 1960 as 34th Helicopter Squadron (Serbo-Croatian: 34. helikopterska eskadrila / 34. хеликоптерска ескадрила).
Alejandra Guzman En Vivo
Alejandra Guzmán En Vivo is the second live album recorded by Mexican singer Alejandra Guzmán. A DVD with the full concert was also released. The only new track included is a version of "Wild Thing" by Chip Taylor.

Alejandra Guzmán
Gabriela Alejandra Guzmán Pinal (born 9 February 1967) is a Mexican pop and rock singer. With more than 30 million records sold throughout her career, winner of a Latin Grammy Award, and nicknamed "La Reina de Corazones" (the Queen of Hearts) and "La Reina del Rock" (the Queen of Rock), she is one of the most successful Mexican female singers. She is also daughter of actress Silvia Pinal and singer Enrique Guzmán.
Listed buildings in Barnby, North Yorkshire
Barnby, North Yorkshire is a civil parish in the Scarborough district of North Yorkshire, England.  It contains ten listed buildings that are recorded in the National Heritage List for England.  All the listed buildings are designated at Grade II, the lowest of the three grades, which is applied to "buildings of national importance and special interest".  The parish is almost entirely rural, and all the listed buildings are farmhouses or farm buildings.

Barnby, North Yorkshire
Barnby is a civil parish in North Yorkshire, England.  According to the 2001 UK census, the parish had a population of 79. As the civil parish population remained less than 100 at the 2011 census, all details were included in the civil parish of Mickleby.

The parish includes the hamlets of East Barnby and West Barnby. From 1974 to 2023 it was part of the Borough of Scarborough, it is now administered by the unitary North Yorkshire Council.

The name Barnby derives from the Old Norse barnbȳ meaning 'children's village'.
Reni, Alwar
Reni is a town (Tehsil, Municipality and Block) in Alwar district of the Indian state of Rajasthan, situated 205 km from Delhi and 122 km from Jaipur. It is situated in between Bandkui and Karanpura station.
Reni is Municipality area since 2024 and have population around 22500. Reni also have SDM(sub divisional magistrate) Court and Civil Court.

Alwar district
Alwar district is a district in the state of Rajasthan in northern India, whose district headquarters is Alwar city. The district covers 8,337 km2. It is bound on the north by Khairthal Tijara and Kot Behror district of Rajasthan, on the east by Bharatpur district of Rajasthan and Nuh district of Haryana, on the south by Dausa district, and on the west by Jaipur district.

As of 2011, it is the third most populous district of Rajasthan (out of 33), after Jaipur and Jodhpur.
Marion Hänsel
Marion Hänsel (née Ackermans; 12 February 1949 – 8 June 2020) was a Belgian film director, producer, actress and screenwriter. Her film Between the Devil and the Deep Blue Sea was entered into the 1995 Cannes Film Festival.

Hänsel was posthumously awarded an Honorary Magritte Award at the 11th Magritte Awards.

1995 Cannes Film Festival
The 48th Cannes Film Festival took place from 17 to 28 May 1995. French actress Jeanne Moreau served as jury president for the main competition. French actress Carole Bouquet hosted the opening and closing ceremonies.

Serbian filmmaker Emir Kusturica won the Palme d'Or, the festival's top prize, for a second time with the comedy-drama film Underground.

The festival opened with The City of Lost Children by Marc Caro and Jean-Pierre Jeunet, and closed with The Quick and the Dead by Sam Raimi.
Lime Kiln Bottom
Lime Kiln Bottom is a historic stone and brick kiln complex located in Cromwell Valley Park at Parkville, Baltimore County, Maryland.  The complex includes the Shanklin #1 (1893), Risteau #2 (ca. 1785), and Jenifer #3 (1883) kilns, and the Merrick Log House.  The original stone and log structure of the Merrick Log House was built sometime between 1797 and 1805.

It was listed on the National Register of Historic Places in 2019.

Cromwell Valley Park
Cromwell Valley Park is a public park just to the north of Baltimore City. The park initially opened in 1993, on 426 acres (172 ha) of rural farm land. It is primarily open fields, woods, cultivated gardens and orchards. The varied terrain provides an excellent habitat for local wildlife, particularly birds of prey which feed on large populations of mice, rabbits and other small mammals. Healthy populations of white-tailed deer, red fox and local songbirds can also be found throughout the park. Several miles of trails traverse the park making it popular among local hikers, birdwatchers and photographers.
Carol Sams
Carol Sams (born 1945) is an American composer based in the Seattle area. She earned a Master of Arts in Music from Mills College and a Doctor of Musical Arts from the University of Washington. One of her teachers was Darius Milhaud. In 1976 her opera, Salome, Daughter of Herodias, was premiered at the National Opera Association Convention in Seattle. In 1983 her children's opera Beauty and the Beast was premiered in Los Angeles with Henry Holt conducting. Her opera The Pied Piper of Hamelin was commissioned by the Tacoma Opera, and was premiered by the company in 1993 and repeated in 1994. Her works have also been performed in concerts by the Seattle Chamber Singers, the Everett Chorale, the Northwest Boychoir, the Washington Composers Forum, and the University of Washington Contemporary Group among others. Soprano Janeanne Houston released a CD "So Much Beauty" which contained several songs by Carol Sams.

Tacoma Opera
Tacoma Opera is the Pacific Northwest's second-largest professional opera company located in Tacoma, WA and is a member of OPERA America. The company presents two to three operas a year. The 2015-16 season includes Don Giovanni, Die Fledermaus, and  The Threepenny Opera. After several online endeavors during the pandemic, the company reemerged in 2022 with The Drunken Tenor's Operapalooza Spectacular Shindig, Carmina Burana with Tacoma City Ballet, and Tacoma Method.
Carl Pantin
Carl Frederick Abel Pantin FRS (30 March 1899 – 14 January 1967) was a British zoologist. He was educated at Tonbridge School and Christ's College, Cambridge.

In 1937, he won the Trail Medal of the Linnean Society, was elected a Fellow of the Royal Society in 1937, won one of its Royal Medals in 1950.  Pantin was president of the Linnean Society 1958 - 1961, and won the Linnean Medal, with Richard E. Holttum, in 1964.  He was Professor of Zoology, Cambridge University from 1959 to 1966, and president of the Marine Biological Association from 1960 to 1966.

Pantin was married to Amy Moir Philip Smith (see image of 1939 register), the sister of botanist Edith Philip Smith.

Edith Philip Smith
Edith Philip Smith FLS FRSE (9 March 1897 – 17 May 1976) was a botanist and teacher who became a fellow of the Royal Society of Edinburgh and Head of the Botany Department at Queen's College, Dundee (now the University of Dundee).
Peter Clavelle
Peter A. Clavelle (born May 10, 1949) is an American politician who served as the 38th and 40th mayor of Burlington, Vermont, and was the first member of a third party to hold the office since James Edmund Burke in 1935. Bernie Sanders also won several elections as an independent candidate in the 1980s (e.g. in 1981, in 1983, in 1985, in 1987), defeating both Republican and Democratic candidates. Sanders and Clavelle founded the Vermont Progressive Party during Sanders' time as mayor.

1985 Burlington, Vermont mayoral election
The 1985 Burlington, Vermont mayoral election was held March 5, 1985. Incumbent Mayor Bernie Sanders won with 56.09% of the popular vote against Democratic nominee Brian D. Burns, independent Diane Gallagher, and various other minor candidates.

Gallagher initially sought the nomination of the Republican Party, but later became an independent candidate. William Murray and Richard Sartelle sought the Republican nomination, but the Republican caucus voted unanimously to not nominate a candidate. Sartelle also unsuccessfully sought the nomination of the Liberty Union Party which also chose to not nominate a candidate.
Gerd Boder
Gerd Boder (13 June 1933, Saarbrücken – 2 June 1992) was a German composer. He studied music at the Hochschule für Musik Saar, the Conservatoire à rayonnement régional de Poitiers, and the Conservatoire de Paris. Among his teachers were Heinrich Konietzny, Jean Rivier, and Noël Gallon. He won the Stuttgart Award for Young Composers in 1963 and 1968, was awarded the Prix de Composition Prince Pierre de Monaco in 1963, and received the Kunstpreis des Saarlandes, the most important cultural prize of this German federal state, in 1976.

Hochschule für Musik Saar
The Hochschule für Musik Saar is a conservatory of music in Saarbrücken, Germany and dates back to 1947. From 1994 until 2002, it was named Hochschule des Saarlandes für Musik und Theater (University of Music and Drama Saarbrücken). Since 2024, the rector is Prof. Hans Peter Hofmann. As of 2023, 463 students are enrolled and taught by 159 teachers in courses and classes for musicians and music teachers.
Fermat number
In mathematics, a Fermat number, named after Pierre de Fermat (1601–1665), the first known to have studied them, is a positive integer of the form:  where n is a non-negative integer. The first few Fermat numbers are: 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, 340282366920938463463374607431768211457, ... (sequence A000215 in the OEIS).

If 2k + 1 is prime and k > 0, then k itself must be a power of 2, so 2k + 1 is a Fermat number; such primes are called Fermat primes. As of January 2025, the only known Fermat primes are F0 = 3, F1 = 5, F2 = 17, F3 = 257, and F4 = 65537 (sequence A019434 in the OEIS).

257 (number)
257 (two hundred [and] fifty-seven) is the natural number following 256 and preceding 258.

257 is a prime number of the form  specifically with n = 3, and therefore a Fermat prime. Thus, a regular polygon with 257 sides is constructible with compass and unmarked straightedge.  It is currently the second largest known Fermat prime.

Analogously, 257 is the third Sierpinski prime of the first kind, of the form  ➜ .

It is also
a balanced prime,
an irregular prime,
a prime that is one more than a square,
and a Jacobsthal–Lucas number.

Four-fold 257 is 1028, which is the prime index of the fifth Mersenne prime, 8191.

There are exactly 257 combinatorially distinct convex polyhedra with eight vertices (or polyhedral graphs with eight nodes).
Bevent, Wisconsin
Bevent is a town in Marathon County, Wisconsin, United States. It is part of the Wausau, Wisconsin Metropolitan Statistical Area. The population was 1,118 at the 2010 census. The unincorporated community of Shantytown is located in the town. The unincorporated community of Bevent is also located partially in the town.

Marathon County, Wisconsin
Marathon County is a county located in the U.S. state of Wisconsin. As of the 2020 census, the population was 138,013. Its county seat is Wausau. It was founded in 1850, created from a portion of Portage County. At that time the county stretched to the northern border with the Upper Peninsula of Michigan. It is named after the battlefield at Marathon, Greece.

Marathon County comprises the Wausau, WI Metropolitan Statistical Area and is included in the Wausau–Stevens Point–Wisconsin Rapids, WI Combined Statistical Area.
David Angell Humanitarian Award
The David Angell Humanitarian Award, in honor of David Angell, is an award given to individuals in the entertainment industry who contribute to global wellbeing through donations of time, expertise or other support to improve the human condition.

The American Screenwriters Association established the award with permission from the Angell family.

David Angell
David Lawrence Angell (April 10, 1946 – September 11, 2001) was an American screenwriter and television producer, known for his work in sitcoms. He won multiple Emmy Awards as a Cheers writer and as the creator and executive producer of the sitcoms Wings and Frasier with Peter Casey and David Lee. Heading home from their vacation on Cape Cod, Angell and his wife, Lynn, were killed aboard American Airlines Flight 11, the first plane to hit the World Trade Center during the September 11 attacks.
Harris Academy Greenwich
Harris Academy Greenwich (formerly Eltham Foundation School) is a coeducational secondary school and sixth form with academy status, located in the Eltham area of the Royal Borough of Greenwich in London, England. The Academy was rated 'outstanding' by Ofsted in 2022.

Eltham
Eltham (/ˈɛltəm/ EL-təm) is a district of southeast London, England, within the Royal Borough of Greenwich. It is 8.7 miles (14.0 km) east-southeast of Charing Cross, and is identified in the London Plan as one of 35 major centres in Greater London. The three wards of Eltham North, South and West have a total population of 35,459. 88,000 people live in Eltham.
Lalla, Tasmania
Lalla is a rural locality in the local government area (LGA) of Launceston in the Launceston LGA region of Tasmania. The locality is about 30 kilometres (19 mi) north of the town of Launceston. The 2016 census recorded a population of 87 for the state suburb of Lalla.

City of Launceston
Launceston City Council (or City of Launceston) is a local government body in Tasmania, located in the city and surrounds of Launceston in the north of the state. The Launceston local government area is classified as urban, encompassing localities including Lilydale, Targa and through to Swan Bay on the eastern side of the Tamar River.