hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
RE (complexity)
In computability theory and computational complexity theory, RE (recursively enumerable) is the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amount of time. Informally, it means that if the answer to a problem instance is 'yes', then there is some procedure that takes finite time to determine this, and this procedure never falsely reports 'yes' when the true answer is 'no'. However, when the true answer is 'no', the procedure is not required to halt; it may go into an "infinite loop" for some 'no' cases. Such a procedure is sometimes called a semi-algorithm, to distinguish it from an algorithm, defined as a complete solution to a decision problem.

Similarly, co-RE is the set of all languages that are complements of a language in RE.  In a sense, co-RE contains languages of which membership can be disproved in a finite amount of time, but proving membership might take forever.

Wang tile
Wang tiles (or Wang dominoes), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, is a class of formal systems. They are modeled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them.

The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way. The next question is whether this can be done in a periodic pattern.
Gruene Family Home
The Henry Gruene Family Home is a Victorian-style house that was constructed in 1872.  The Gruene Family Home, though not listed individually on the National Register of Historic Places, is a contributing property to Gruene Historic District, which was listed in 1974. Presently, the home operates as the Gruene Mansion Inn in the Gruene Community of New Braunfels, Texas. Deep in tradition, the mansion was one of the first buildings in Gruene, in 1872. The Gruene Mansion Inn began as H.D. Gruene's historic Eastlake Victorian home and cotton plantation. All current accommodations are century-old barns and homes restored to our own Victorian Rustic Elegance - A combination of antiques, fine fabrics, and handmade furniture. Every room has a unique character and offers details such as clawfoot tubs and deep pedestal sinks. Gruene Mansion Inn is listed as one of the top inns in the state of Texas.

New Braunfels, Texas
New Braunfels (/ˈbrɔːnfəlz/ ⓘ BRAWN-fəlz) is a city in Comal and Guadalupe counties in the U.S. state of Texas. It is the county seat of Comal County. The city covers 44.9 square miles (116 km2) and had a population of 90,403 as of the 2020 Census. A suburb just north of San Antonio, and part of the Greater San Antonio metropolitan area, it was the third-fastest-growing city in the United States from 2010 to 2020. As of 2022, the U.S. Census Bureau estimates its population at 104,707.

New Braunfels is known for its German Texan heritage.
Kronenburg B.V.
The Kronenburg B.V. company is a fire-service vehicles manufacturer, based in Wanroij, Netherlands. The company was founded by the Kronenburg family in 1823.

Kronenburg B.V. supplies thousands of fire trucks to many countries. Its trucks serve in military and civil airports, petrochemical industries and municipal fire brigades.

Kronenburg MAC 08-7000 military Airport crash tender, Israeli Air Force

Kronenburg MAC 08-7000 military Airport crash tender, Israeli Air Force, Tel Nof Airbase

Kronenburg MAC CT012 military Airport crash tender, Israeli Air Force

Firefighting apparatus
A firefighting apparatus (North American English) or firefighting appliance (UK English) is any vehicle that has been customized for use during firefighting operations. These vehicles are highly customized depending on their needs and the duty they will be performing. These duties can include firefighting, technical rescue, and emergency medical services.
Tamtert
Tamtert (Arabic: تامترت), also written Tamert or Tamatart is a town and commune in Béni Abbès District, Béni Abbès Province, in western Algeria. According to the 2008 census its population is 1,248, down from 1,302 in 1998, with an annual growth rate of -0.4%. The commune covers an area of 3,130 square kilometres (1,210 sq mi).

El Ouata
El Ouata (Arabic: اﻟﻮاتة) is a town and commune in Béchar Province, western Algeria. The commune is coextensive with El Ouata District, which is named after the town. According to the 2008 census its population is 7,343, up from 7,014 in 1998, with an annual population growth rate of 0.5%. The commune covers an area of 2,870 square kilometres (1,110 sq mi).
Saint-Avé
Saint-Avé (French pronunciation: [sɛ̃.t‿ave]; Breton: Sant-Teve) is a commune in the Morbihan department of Brittany in north-western France. Part of the urban unit of Vannes, it's the 9th most populated commune of the Morbihan department and the 32nd of the Brittany region with its population of 11,927 inhabitants in 2021.

Located just north of the bigger city of Vannes, it is part of the Gulf of Morbihan regional natural reserve. The name of the town is a francization of the Breton name Sant-Teve.

Vannes
Vannes (French pronunciation: [van] ⓘ; Breton: Gwened, pronounced [ˈɡweːnet], [ˈɡɥeːnet]) is a commune in the French department of Morbihan, Brittany, northwestern mainland France. It was founded over 2,000 years ago.
What Kate Does
"What Kate Does" is the 106th television episode of the American Broadcasting Company's Lost and third episode of the sixth season. It was written by executive producers Edward Kitsis and Adam Horowitz and directed in September 2009 by Paul Edwards. "What Kate Does" was first aired February 9, 2010, on ABC in the United States and on CTV in Canada. Kate Austen is the character on whom the episode is centered.

In December 2007, Kate Austen chases after James "Sawyer" Ford (Josh Holloway), who escapes from the Others' captivity in the island's temple and is grieving over the death of his love Juliet Burke (Elizabeth Mitchell) just hours earlier. In flash sideways to September 22, 2004, Kate assists a pregnant Claire Littleton (Emilie de Ravin) while on the run as a fugitive.

The title alludes to the second season episode "What Kate Did".  "What Kate Does" was watched by eleven million Americans and received mixed reviews by audiences and critics alike.

What Kate Did
"What Kate Did" is the 34th episode of Lost. It is the ninth episode of the second season. The episode was directed by Paul Edwards, and written by Steven Maeda and Craig Wright. It first aired on November 30, 2005, on ABC. The character of Kate Austen (Evangeline Lilly) is featured in the episode's flashbacks.
Taqi Rafat
Mirza Taghi Khan Raf'at (Persian: میرزا تقی خان رفعت; c. 1889–1920) was the son of Agha Mohammad Tabrizi. He was educated in Istanbul and during World War I returned to Tabriz to teach French in high school. He was a modernist poet who wrote in Turkish and French as well as Persian. Politically, he was a follower of Mohammad Khiabani, and edited the latter's newspaper, Tajaddod ("Modernity"), an organ of the Democratic Party of Azerbaijan, as well as the magazine Azadistan. When Khiabani's movement was violently crushed, Rafat committed suicide in a small village near Tabriz.

His arguments with Malek-osh-Sho'arā Bahār, a traditionalist poet are famous. he was a reformist with a hot tongue who criticized the old ways of literature in Iran and was pushing for reforms in both form and content in order to revolutionize the core of Persian Literature, especially in poetry.

Mohammad-Taqi Bahar
Mohammad-Taqi Bahar (Persian: محمدتقی بهار; also romanised as Mohammad-Taqī Bahār; 10 December 1886 in Mashhad – 22 April 1951 in Tehran), widely known as Malek osh-Sho'arā (Persian: ملک‌الشعراء) and Malek osh-Sho'arā Bahār ("poet laureate," literally: the king of poets), was a renowned Iranian poet, scholar, politician, journalist, historian and Professor of Literature. Although he was a 20th-century poet, his poems are fairly traditional and strongly nationalistic in character. Bahar was father of prominent Iranist, linguist, mythologist and Persian historian Mehrdad Bahar.
Cortana Mall
Cortana Mall (formerly The Mall at Cortana) was an enclosed shopping mall in Baton Rouge, Louisiana, and was at the intersection of Airline Highway and Florida Blvd (U.S. Route 190). It was last owned by Moonbeam Equities of Las Vegas, Nevada. It opened in 1976 and was demolished in 2021. An Amazon distribution center now occupies the land.

Dillard's
Dillard's, Inc. is an American department store chain founded in 1938 by William T. Dillard. It is headquartered in Little Rock, Arkansas, and operates approximately 272 stores in 30 states. Currently, the largest number of stores are located in Texas with 57 and Florida with 42.
2008 Georgian parliamentary election
Parliamentary elections were held in Georgia on 21 May 2008. President Mikheil Saakashvili proposed a referendum on bringing them forward from fall to spring after the 2007 Georgian demonstrations. The referendum was held at the same time as the early presidential election on 5 January 2008; the results indicated that voters were largely in favour of having the elections in spring.

The Central Election Commission registered 3,458,020 voters, significantly higher than the 2,343,087 registered in 2004. The election was observed by 14 international and 31 local organizations.

New Rights Party
The New Rights Party (NRP) (Georgian: ახალი მემარჯვენეები, romanized: akhali memarjveneebi), also translated as New Conservative Party (NCP), was a political party in Georgia. It was an associate member of the International Democrat Union and applicant of the European People's Party.

On 8 December  2008, the New Rights Party joined the Republican Party of Georgia in a new opposition alliance. Both parties united in "The Alliance for Georgia" led by Irakli Alasania, Georgia's ex-envoy to the United Nations in February 2009.

Following the establishment of Lelo for Georgia political party in 2019, both David Usupashvili's Development Movement and the New Rights Party merged with the new party and became part of Lelo for Georgia.
Sun386i
The Sun386i (codenamed Roadrunner) is a discontinued hybrid UNIX workstation/PC compatible computer system produced by Sun Microsystems, launched in 1988. It is based on the Intel 80386 microprocessor but shares many features with the contemporary Sun-3 series systems.

SPARCstation
The SPARCstation, SPARCserver and SPARCcenter product lines are a series of SPARC-based computer workstations and servers in desktop, desk side (pedestal) and rack-based form factor configurations, that were developed and sold by Sun Microsystems.

The first SPARCstation was the SPARCstation 1 (also known as the Sun 4/60), introduced in 1989. The series was very popular and introduced the Sun-4c architecture, a variant of the Sun-4 architecture previously introduced in the Sun 4/260. Thanks in part to the delay in the development of more modern processors from Motorola, the SPARCstation series was very successful across the entire industry. The last model bearing the SPARCstation name was the SPARCstation 4. The workstation series was replaced by the Sun Ultra series in 1995; the next Sun server generation was the Sun Enterprise line introduced in 1996.
1979 Virginia 500
The 1979 Virginia 500 was the 9th stock car race of the 1979 NASCAR Winston Cup Series season. The race took place at Martinsville Speedway in Martinsville, Virginia on April 22, 1979 before a crowd of 35,500. Richard Petty, driving for his team Petty Enterprises would win the race by 4 seconds, leading 247 laps. Buddy Baker of Ranier-Lundy Racing and Darrell Waltrip of DiGard Motorsports would finish 2nd and 3rd, respectively.

1979 NASCAR Winston Cup Series
The 1979 NASCAR Winston Cup Series was the 31st season of professional stock car racing in the United States and the 8th modern-era Cup series. It began on Sunday, January 14, and ended on Sunday, November 18. Richard Petty won his seventh and final Winston Cup championship, winning by 11 points over Darrell Waltrip. Dale Earnhardt was crowned NASCAR Rookie of the Year.
WDSE-FM
WDSE-FM (103.3 MHz) is a 95,000-watt public radio station in Duluth, Minnesota, operated by the Duluth–Superior Area Educational Television Corporation, which primarily carries an adult alternative radio format but also has a number of programs focusing on jazz, blues, and other genres. It is part of Minnesota's Independent Public Radio network. Programming from national sources includes World Cafe and American Routes.

AMPERS
AMPERS (Association of Minnesota Public Educational Radio Stations) is an association of 19 independent community radio stations in Minnesota. Each station is locally managed and programmed by and for the local community it serves. AMPERS is the largest statewide association of community radio stations in the United States. The stations primarily serve underserved populations including greater Minnesota, diverse communities, and students for a combined audience of about 300,000 listeners. AMPERS has no affiliation with Minnesota Public Radio (MPR) and receives no financial support from MPR.
2025 Winnipeg National Bank Challenger
The 2025 Winnipeg National Bank Challenger was a professional tennis tournament played on outdoor hard courts. It was the 8th edition of the tournament and part of the 2025 ATP Challenger Tour. It took place in Winnipeg, Manitoba, Canada between July 7 and 13, 2025.

2025 ATP Challenger Tour
The Association of Tennis Professionals (ATP) Challenger Tour in 2025 was the secondary professional tennis circuit organized by the ATP. The 2025 ATP Challenger Tour calendar comprised 217 tournaments with prize money ranging from $60,000 up to $250,000. It was the 48th edition of Challenger tournaments cycle and 17th under the name of Challenger Tour.
The Keg of Nails
The Keg of Nails is a traveling trophy continuously awarded to the winner of the American college football rivalry game between the Cincinnati Bearcats and Louisville Cardinals. The rivalry has stretched over the span of four conferences from the Missouri Valley Conference, to Conference USA, and more recently in the Big East Conference, which in 2013 was renamed to the American Athletic Conference. It is believed to be the oldest rivalry for the Louisville football team and the second-oldest for Cincinnati, only behind the Victory Bell with the Miami RedHawks.

The rivalry went on hiatus following the 2013 season, as Louisville moved to the Atlantic Coast Conference on July 1, 2014. Cincinnati leads the series 30–23–1. Cincinnati in the interim was invited to the Big 12 conference and joined in 2023.

Louisville Cardinals football
The Louisville Cardinals football team represents the University of Louisville in the sport of American football. The Cardinals compete in the Football Bowl Subdivision (FBS) of the National Collegiate Athletic Association (NCAA) and compete in the Atlantic Coast Conference.
Lamivudine/nevirapine/stavudine
Lamivudine/nevirapine/stavudine (3TC/NVP/d4T) is a fixed-dose combination antiretroviral medication used to treat HIV/AIDS. It contains lamivudine, nevirapine, and stavudine. It is either used by itself or along with other antiretrovirals. It is taken by mouth twice a day.

It is on the World Health Organization's List of Essential Medicines. As of 2015, it is not commercially available in the United States.

Nevirapine
Nevirapine (NVP), sold under the brand name Viramune among others, is a medication used to treat and prevent HIV/AIDS, specifically HIV-1. It is generally recommended for use with other antiretroviral medications. It may be used to prevent mother to child spread during birth but is not recommended following other exposures. It is taken by mouth.

Common side effects include rash, headache, nausea, feeling tired, and liver problems. The liver problems and skin rash may be severe and should be checked for during the first few months of treatment. It appears to be safe for use during pregnancy. It is a non-nucleoside reverse transcriptase inhibitor (NNRTI) and works by blocking the function of reverse transcriptase.

Nevirapine was approved for medical use in the United States in 1996. It is on the World Health Organization's List of Essential Medicines. It is available as a generic medication.
Troy Galloway
Troy D. Galloway is a retired United States Army major general who last served as the Deputy Commanding General for the Army National Guard of the United States Army Forces Command from August 1, 2021, to May 1, 2023. He most recently served as the Deputy Commanding General for Operations of the First United States Army from May 1, 2019, to April 2021. Previously, he served as the Deputy Commanding General for the Army National Guard of the United States Army Combined Arms Center.

Galloway attended Missouri State University, where he participated in the Army Reserve Officers' Training Corps program and earned a Bachelor of Science degree in geography in 1991. He later received a Master of Arts degree in leadership and administration from the University of Oklahoma in 2009 and a Master of Strategic Studies degree from Army War College in 2011.

Army National Guard
The Army National Guard (ARNG) is an organized militia force and a federal military reserve force of the United States Army. It is simultaneously part of two different organizations: the Militia of the United States (consisting of the ARNG of each state, most territories, and Washington D.C.), as well as the federal ARNG, as part of the National Guard as a whole (which includes the Air National Guard). It is divided into subordinate units stationed in each state or insular area, responsible to their respective governors or other head-of-government.

The Guard's origins are usually traced to the city of Salem, Massachusetts, in 1636. That year a regiment of militia drilled for the first time to defend a multi-community area within what is now the United States.
Agence nationale pour la gestion des déchets radioactifs
The Agence nationale pour la gestion des déchets radioactifs (French pronunciation: [aʒɑ̃s nɑsjɔnal puʁ la ʒɛstjɔ̃ de deʃɛ ʁadjoaktif]; ANDRA), or National agency for the management of radioactive waste is a 'public institution of an industrial and commercial nature' charged with the management of radioactive waste in France.

Placed under the supervision of the ministers for research, the industry and the environment, ANDRA leads complementary industrial, research and public information missions.

ANDRA's funding comes from a mixture of public and private sources, including a tax on producers of radioactive waste and commercial contracts with waste producers.

ANDRA is responsible for the Cigéo deep geological repository project.

Bure, Meuse
Bure (French pronunciation: [byʁ] ⓘ) is a commune in the Meuse department in Grand Est in northeastern France.

It hosts the Meuse/Haute Marne Underground Research Laboratory for radioactive waste storage.
Badenoch and Strathspey (ward)
Badenoch and Strathspey is one of the 21 wards used to elect members of the Highland Council.  It encompasses the towns and villages of Aviemore, Boat of Garten, Carrbridge, Cromdale, Dulnain Bridge, Grantown-on-Spey, Kingussie,  Newtonmore and Nethy Bridge. It elects four Councillors.

Grantown-on-Spey
Grantown-on-Spey (Scottish Gaelic: Baile nan Granndach) is a town in the Highland Council Area, historically within the county of Moray. It is located on a low plateau at Freuchie beside the river Spey at the northern edge of the Cairngorm mountains, about 20 miles (32 km) south-east of Inverness (35 miles or 56 km by road).

The town was founded in 1765 as a planned settlement, and was originally called simply Grantown after Sir James Grant. The addition 'on Spey' was added by the burgh council in 1898. The town has several listed 18th and 19th century buildings, including several large hotels, and serves as a regional centre for tourism and services in the Strathspey region.

The town is twinned with Notre-Dame-de-Monts in the Vendée, Pays de la Loire, France.
Yarali-ye Olya
Yarali-ye Olya (Persian: يارعلي عليا, also Romanized as Yār‘alī-ye ‘Olyā; also known as Yār‘alī-ye Bālā) is a village in Nurali Rural District, in the Central District of Delfan County, Lorestan Province, Iran. At the 2006 census, its population was 44, in 8 families.

Nurali Rural District
Nurali Rural District (Persian: دهستان نورعلي) is in the Central District of Delfan County, Lorestan province, Iran. Its capital is the village of Deh Firuzvand-e Vosta. The previous capital of the rural district was the village of Azizabad-e Pain.
RNLB Manchester Unity of Oddfellows (B-702)
RNLB Manchester Unity of Oddfellows (B-702) was an Atlantic 75-class lifeboat rigid-inflatable inshore lifeboat on station at the English coastal town of Sheringham in the county of Norfolk in the United Kingdom.  The boat was a permanent replacement for the Atlantic 21-class lifeboat RNLB B-536 which served at Sheringham from 29 January 1994.

Sheringham
Sheringham (/ˈʃɛrɪŋəm/; population 7,367) is a seaside town and civil parish in the county of Norfolk, England. The motto of the town, granted in 1953 to the Sheringham Urban District Council, is Mare Ditat Pinusque Decorat, Latin for "The sea enriches and the pine adorns".
Mayors of St. Petersburg, Florida
There have been 54 mayors of St. Petersburg, Florida. David Moffett was the city's first mayor. The current mayor is Ken Welch, the city's first African American mayor.

Late 19th century mayor J. A. Armistead had an opera house. He allowed Indian mounds on his property to be excavated for research.

Businessman, spearmint gum tycoon, property developer, and promoter Frank F. Purvis served as mayor in the 1920s.

Architect Randolph Wedding was the city's mayor from 1973 until 1975. Corinne Freeman served as the city's first female mayor and governed from 1977 until 1985. Republican 
Richard M. Baker  led the city from 2001 until 2010. He was succeeded by Bill Foster, who served until 2014.

Corinne Freeman
Corinne Freeman (November 9, 1926 – May 11, 2014) was the mayor of St. Petersburg, Florida, United States, serving from April 1, 1977 until 1985. She was the city's first female mayor. After serving as mayor she would be a member of the Pinellas County School Board for the next 10 years.
All Your Reasons
"All Your Reasons" is a song from Matchbox Twenty's fourth album, Exile on Mainstream. It was released in Australia as the second single from the album, while in the rest of the world, "These Hard Times" was released as the second single.

Paul Doucette
Paul John Doucette (born August 22, 1972) is an American musician best known for being the drummer, rhythm guitarist, and backing vocalist of the band Matchbox Twenty. Doucette is also known as a film composer and as the frontman of his own band The Break and Repair Method. He was married to Moon Zappa from 2002 to 2014.
Ariany, Spain
Ariany (Catalan pronunciation: [əɾiˈaɲ]) is a small municipality on Majorca, one of the Balearic Islands, Spain. It has an area of 22.72 km ² with 839 inhabitants in 2008,  763 of which lived in the main town.  In 2006, the foreign population of the municipality was 10.4% (80 people). Since 2007 the Mayor (Alcalde) has been Joan Ribot Mayol, re-elected in 2023.

Situated in the Plain of Mallorca (Llano de Mallorca) it is 50km from Palma, the island Capital, 6km from Petra and 19km from Manacor.

Palma de Mallorca
Palma, also known as Palma de Mallorca (officially between 1983–1988, 2006–2008, and 2012–2016), is the capital and largest city of the autonomous community of the Balearic Islands in Spain. It is situated on the south coast of Mallorca on the Bay of Palma. With a population of 438,234 as of 2024, it is the 8th-largest city in Spain.

The Cabrera Archipelago, though widely separated from Palma proper, is part of the municipality.