hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
De Bruijn–Erdős theorem (graph theory)
In graph theory, the De Bruijn–Erdős theorem relates graph coloring of an infinite graph to the same problem on its finite subgraphs. It states that, when all finite subgraphs can be colored with  colors, the same is true for the whole graph. The theorem was proved by Nicolaas Govert de Bruijn and Paul Erdős, after whom it is named.

The De Bruijn–Erdős theorem has several different proofs, all depending in some way on the axiom of choice. Its applications include extending the four-color theorem and Dilworth's theorem from finite graphs and partially ordered sets to infinite ones, and reducing the Hadwiger–Nelson problem on the chromatic number of the plane to a problem about finite graphs. It may be generalized from finite numbers of colors to sets of colors whose cardinality is a strongly compact cardinal.

Nicolaas Govert de Bruijn
Nicolaas Govert "Dick" de Bruijn (Dutch: [ˈnikoːlaːs ˈxoːvər də ˈbrœyn]; 9 July 1918 – 17 February 2012) was a Dutch mathematician, noted for his many contributions in the fields of analysis, number theory, combinatorics and logic.
2016–2017 Podemos state party assembly
The 2016−2017 Podemos state assembly—officially the 2nd Citizen Assembly, and more informally referred to as Vistalegre II—was held between 7 December 2016 and 12 February 2017. Party members would be able to vote on the party's strategic proposals as well as the new leadership composition from February 4 to February 11. While Pablo Iglesias's re-election bid as Secretary General was not disputed, there was strong media interest in the assembly because of a strong internal debate between Iglesias and his Political Secretary, Íñigo Errejón, on the party's strategy and main lines of action for the ensuing years.

Pablo Iglesias Turrión
Pablo Iglesias Turrión (Spanish pronunciation: [ˈpaβlojˈɣlesjas tuˈrjon]; born 17 October 1978) is a Spanish political scientist and former politician. During his political career, he served as Second Deputy Prime Minister and as Minister of Social Rights and 2030 Agenda of the Government of Spain from 2020 to 2021. He also served as Member of the Congress of Deputies from 2016 to 2021, representing Madrid. Iglesias is a co-founder of Podemos, a left-wing political party that he led from 2014 until his resignation in 2021.

Before then, he was a lecturer in political science at the Complutense University of Madrid and TV host. He was elected to the European Parliament in the 2014 elections as the leading candidate of the newly created Podemos. On 15 March, he announced that he would be stepping down from the government to run in the Unidas Podemos list for the 2021 Madrilenian regional election, leaving politics shortly after Unidas Podemos' poor performance at the ballots.
1936 United States Senate election in South Dakota
The 1936 United States Senate election in South Dakota took place on November 3, 1936. Incumbent Democratic Senator William J. Bulow ran for re-election to a second term. He was challenged by businessman Chan Gurney, who defeated former Congressman Charles A. Christopherson in the Republican primary. Bulow, likely aided by President Franklin D. Roosevelt's landslide victory in South Dakota, narrowly defeated Gurney to win his second term, though he significantly underperformed Roosevelt.

William J. Bulow
William John Bulow (January 13, 1869 – February 26, 1960) was an American politician and lawyer. He was the first Democrat to serve as Governor of South Dakota, from 1927 to 1931. He received the highest number of votes of any Democratic candidate for governor in the state up to that time. Bulow then went on to serve as a member of the United States Senate from South Dakota from 1931 to 1943.
Ceará Sporting Club
Ceará Sporting Club (Brazilian Portuguese: [seaˈɾa (i)sˈpɔʁtʃĩ ˈklubi]), or simply Ceará, is a Brazilian professional football club from the city of Fortaleza, capital city of the Brazilian state of Ceará.

Founded on June 2, 1914, Ceará is one of the most traditionally successful clubs in the Northeast region of Brazil alongside Bahia, Santa Cruz, Sport, Náutico, Vitória and their city rivals Fortaleza.

Ceará is the most popular team in the state, proven in several research and communication vehicles.  It also has an advantage in direct confrontations, with 203 wins, 211 draws and just 184 defeats over its rival.  It is the pioneering and most traditional team in its state and one of the largest in its region.

Campeonato Cearense
The Campeonato Cearense is the professional state football league in the Brazilian state of Ceará. It is run by the Ceará Football Federation (FCF).

In over a hundred years of competition, only 11 clubs have won the title.
Skořenice
Skořenice (German: Skorenitz) is a municipality and village in Ústí nad Orlicí District in the Pardubice Region of the Czech Republic. It has about 400 inhabitants.

Skořenice lies approximately 15 kilometres (9 mi) north-west of Ústí nad Orlicí, 32 km (20 mi) east of Pardubice, and 129 km (80 mi) east of Prague.

Ústí nad Orlicí District
Ústí nad Orlicí District (Czech: okres Ústí nad Orlicí) is a district in the Pardubice Region of the Czech Republic. Its capital is the town of Ústí nad Orlicí, but the most populated town is Česká Třebová.
Longhorn League
The Longhorn League was the name of a Minor league baseball circuit that operated from 1947 through 1955 in the Southwestern United States. In 1956, it was renamed the Southwestern League and operated through 1957 before changing its name to the Sophomore League. Joe Bauman hit 72 home runs in 1954 to set the minor league record, while playing for the Roswell Rockets.

Roswell, New Mexico, minor league baseball history
Minor league baseball teams were based in Roswell, New Mexico, in various seasons between 1923 and 1959, before resuming play in 2011. Roswell teams played as members of the Panhandle-Pecos Valley League in 1923, West Texas–New Mexico League in 1937, Longhorn League from 1949 to 1955, Southwestern League in 1956, Sophomore League in 1959 and Pecos League from 2011 to present.  The 1959 Roswell Pirates were a minor league affiliate of the Pittsburgh Pirates.  Rosewll hosted home games at League Park in 1937 and Fair Park Stadium.

Joe Bauman hit a minor league record 72 home runs playing for the 1954 Roswell Rockets. Baseball Hall of Fame inductee Willie Stargell played for the 1959 Roswell Pirates.
Sułków, Końskie County
Sułków [ˈsuu̯kuf] is a village in the administrative district of Gmina Fałków, within Końskie County, Świętokrzyskie Voivodeship, in south-central Poland. It lies approximately 4 km (2 mi) south-west of Fałków, 27 km (17 mi) west of Końskie, and 47 km (29 mi) north-west of the regional capital Kielce.

As per census 2011, it has a population of 127.

Gmina Fałków
Gmina Fałków is a rural gmina (administrative district) in Końskie County, Świętokrzyskie Voivodeship, in south-central Poland. Its seat is the village of Fałków, which lies approximately 24 kilometres (15 mi) west of Końskie and 46 km (29 mi) north-west of the regional capital Kielce.

The gmina covers an area of 132.1 square kilometres (51.0 sq mi), and as of 2006 its total population is 4,803.

The gmina contains part of the protected area called Przedbórz Landscape Park.
John R. Smith (politician, born 1945)
John R. Smith (born December 29, 1945) is a politician from Leesville, Louisiana. He is  a Republican former member of the Louisiana State Senate for District 30.

In 2010, Smith switched from Democratic to Republican party affiliation.

Leesville, Louisiana
Leesville is a city in and the parish seat of Vernon Parish, Louisiana, United States. The population was 5,649 at the 2020 census. It is part of the Fort Polk South micropolitan area and is additionally served by the Leesville Airport. The city is home to the Fort Polk (known as Fort Johnson from 2023-2025) U.S. Army installation.
203rd Engineer Battalion (United States)
The  203rd Engineer Battalion is a combat engineer battalion of the Missouri Army National Guard.

The 203rd Engineer Battalion can trace its history back to Missouri volunteer militia units that formed in 1883, when the militia units in southwest Missouri were reorganized into the 2nd Infantry Regiment of the National Guard of Missouri in 1890 and mustered into federal service during the Spanish–American War. The 2nd Missouri Infantry was called up to serve during the Mexican border dispute in 1916; redesignated as the 128th, 129th, and 130th Machine Gun Battalions in 1917; transformed into the 203rd Artillery, Coast Artillery Corps in 1921; inducted into federal service in September 1940; and was later sent to Alaska for the Aleutian Campaign.

Missouri National Guard
The Missouri National Guard (MONG), commonly known as the Missouri Guard, is a component of the Army National Guard and Missouri State Department of the National Guard. It is composed of Army and Air National Guard units. The department office is located in Jefferson City.

The state mission of the Missouri National Guard is "to provide trained and disciplined forces for domestic emergencies or as otherwise required by state law under the authority of the governor."
Northern line (Sri Lanka)
The northern line is a railway line in Sri Lanka. Branching off the Main Line at Polgahawela Junction the line heads north through North Western, North Central and Northern provinces before terminating at the northern port of Kankesanthurai. The line is 339 kilometres (211 mi) long and has 55 stations between Polgahawela Junction and Vavuniya. It is the longest railway line in Sri Lanka. The line opened in 1894. Major cities served by the line include Kurunegala, Anuradhapura, Vavuniya,Kilinochchi and Jaffna. The popular Yal Devi service operates on the line. The line was severely affected by the civil war and no services operated north of Vavuniya after 1990. Reconstruction of this section of the line commenced following the end of the civil war in 2009 and was fully completed in early 2015.

Northern Province, Sri Lanka
The Northern Province (Tamil: வட மாகாணம் Vaṭa Mākāṇam; Sinhala: උතුරු පළාත Uturu Paḷāta) is one of the nine provinces of Sri Lanka. The province has an area of 8,884 km2, making it the 3rd largest province by area, and a population of 1,150,148 making it the least populated province. Jaffna is the capital city of the province.

Between 1988 and 2006, the province was temporarily merged with the Eastern Province into one province, the North Eastern Province. Due to its large Tamil population, the Northern Province is sometimes referred to as "Sri Lanka's Tamil country". The majority of the fighting in the Sri Lankan Civil War took place in the Northern province.
Dean Hargrove
Dean Hargrove (born July 27, 1938) is an American television producer, writer, and director. His background includes graduating from the St. John's Military School, Wichita State University, and attending the UCLA Film School as a graduate student. He specializes in creating mystery series. He frequently worked with television producer Fred Silverman and television writer Joel Steiger.

Fred Silverman
Fred Silverman (September 13, 1937 – January 30, 2020) was an American television executive and producer. He worked as an executive at all of the Big Three television networks, and was responsible for bringing to television such programs as Scooby-Doo, Where Are You! (the original incarnation of the Scooby-Doo franchise, 1969–1970), All in the Family (1971–1979), The Waltons (1972–1981), and Charlie's Angels (1976–1981), as well as the miniseries Rich Man, Poor Man (1976), Roots (1977), and Shōgun (1980). For his success in programming such shows, Time magazine declared him "The Man with the Golden Gut" in 1977.
Alaska Native Arts Foundation
The Alaska Native Arts Foundation (2002–present) is a non-profit organization formed to support the Alaska Native art community. Its mission is focused on the advancement of Indigenous art into global marketplaces to enhance economic development in the state of Alaska and create fairly-priced markets for Alaska Native art. The Foundation also seeks to provide general awareness and public education of Alaska's Indigenous cultures, and as a result offered programs to support Alaska Native artists and preserve cultural heritage. Funded by a combination of government grants and private funding in the form of donations from Alaska Native corporations, the organization distributed grant money through project support programs to provide in-residence art programs, educational programs for rural schools, funding for museum demonstrations, art workshops, and exhibitions and documentation of native artists' work.

Alaska Native art
Alaska Native cultures are rich and diverse, and their art forms are representations of their history, skills, tradition, adaptation, and nearly twenty thousand years of continuous life in some of the most remote places on earth. These art forms are largely unseen and unknown outside the state of Alaska, due to distance from the art markets of the world.
Southernality
Southernality is the debut studio album by American country music band A Thousand Horses. It was released on June 9, 2015 via Republic Nashville. The album includes their debut single "Smoke", which reached number 1 on Country Airplay.

A Thousand Horses
A Thousand Horses is an American country rock band formed in 2010 in Nashville, Tennessee. The band is composed of Michael Hobby (lead vocals), Bill Satcher (lead guitar), and Graham Deloach (bass and vocals); Zach Brown (guitar, vocals) was also a member until leaving in 2023. Their first EP, A Thousand Horses, was released under Interscope Records in 2010. In 2014, the band signed with Republic Nashville of Big Machine Label Group and released its first single "Smoke", which set a record for the highest debut by a new act when it opened at number 28 on the Country Aircheck radio chart.
King's Point
King's Point is a town on the north shore of the southwest arm of Green Bay in Newfoundland and Labrador, Canada. King's Point is 24 km (15 mi) by road (Route 391) from Springdale, and 10 km (6.2 mi) from the Trans-Canada Highway (Route 1).

Newfoundland and Labrador Route 391
Route 391, also known as Harry's Harbour Road, is a 37.2-kilometre-long (23.1 mi) north–south highway on the northern coast of Newfoundland in the Canadian Province of Newfoundland and Labrador. It connects the towns of Harry's Harbour and King's Point with Springdale and the Trans-Canada Highway (Route 1), via Route 390.
Visalia Transit
Visalia Transit is the primary bus agency serving residents and visitors to Visalia, California, the largest city and county seat of Tulare County, California. It is operated by the city through its contractor RATP Dev and offers both fixed routes and dial-a-ride local service within Visalia. In 2024, the system had a ridership of 630,700, or about 2,300 per weekday as of the fourth quarter of 2024.

Most routes operate out of the central transit center in Downtown Visalia. There are three secondary hubs located on the city's north, west, and south sides. Buses connecting Visalia's central transit hub to nearby census-designated places are handled by the Tulare County Regional Transit Agency including services to Dinuba (Route C10) and Woodlake (Route C30); Route C40 connects the southern hub in Visalia (Government Center) with Tulare and Porterville.

Tulare County, California
Tulare County (/tʊˈlɛəri/ ⓘ tuu-LAIR-ee) is a county located in the U.S. state of California. As of the 2020 census, the population was 473,117. The county seat is Visalia. The county is named for Tulare Lake, once the largest freshwater lake west of the Great Lakes. Drained for agricultural development, the site is now in Kings County, which was created in 1893 from the western portion of the formerly larger Tulare County.

Tulare County comprises the Visalia-Porterville, CA Metropolitan Statistical Area. The county is located south of Fresno, spanning from the San Joaquin Valley east to the Sierra Nevada.

Sequoia National Park is located in the county, as is part of Kings Canyon National Park, in its northeast corner (shared with Fresno County), and part of Mount Whitney, on its eastern border (shared with Inyo County). As of the 2020 census, the population was 473,117, up from 442,179 at the 2010 census.
Rhizopogonaceae
The Rhizopogonaceae are a family of fungi in the order Boletales. The family, first named and described by botanists Ernst Albert Gäumann and Carroll William Dodge in 1928, contains 2 genera and 151 species. The genus Fevansia, formerly thought to belong in the Rhizopogonaceae, was found to belong in the Albatrellaceae in a molecular phylogenetics study.

Boletales
The Boletales are an order of Agaricomycetes containing over 1300 species with a diverse array of fruiting body types. The boletes are the best known members of this group, and until recently, the Boletales were thought to only contain boletes. The Boletales are now known to contain distinct groups of agarics, puffballs, and other fruiting-body types.
Clarence Town, New South Wales
Clarence Town is both a primarily rural locality and a township in the Dungog Shire local government area in the Hunter Region of New South Wales, Australia. It is 193 kilometres (120 mi) north of Sydney, 54 km (34 mi) north-north-west of Newcastle, and 28 km (17 mi) from the Pacific Highway at Raymond Terrace. The locality is bisected by the Williams River. The township sits just to the west of the river about 32 km (20 mi) upstream from where it flows into the Hunter River at Raymond Terrace.

Dungog Shire
Dungog Shire  is a local government area in the Hunter region of New South Wales, Australia. The Shire is situated adjacent to the Barrington Tops and consists predominantly of very rugged to hilly country which becomes less rugged from north to south.

Dungog Shire was formed on 1 July 1958 through the amalgamation of Wallarobba Shire with the Municipality of Dungog.

The mayor of the Dungog Shire Council is Clr. John Connors, an independent politician.
CKZZ-FM
CKZZ-FM (95.3 MHz) Z95.3 is a commercial FM radio station in Vancouver, British Columbia.  The station airs a hot adult contemporary format, and is owned by Stingray Group.  The studios are on Horseshoe Way in Richmond.

CKZZ-FM is a Class C station with an effective radiated power (ERP) of 20,001 watts (57,003 watts maximum).  The transmitter tower is atop Mount Seymour in the District of North Vancouver.

Mount Seymour
Mount Seymour is a mountain located in Mount Seymour Provincial Park in the District of North Vancouver, British Columbia, Canada. It is a part of the North Shore Mountains, rising to the north from the shores of Burrard Inlet and Indian Arm to a summit of 1,449 m (4,754 ft) above the Indian River and Deep Cove neighbourhoods. Mount Seymour is most commonly identified for its ski area of the same name, and as a popular hiking area. It is named in honour of Frederick Seymour, second governor of the Colony of British Columbia. The name is used to refer to the ridge although the main summit is one of several, and is also known as Third Peak.
Gloria Parker
Gloria Parker (née Rosenthal; August 20, 1921 – April 13, 2022) was an American musician and bandleader who had a radio show during the big band era. The Gloria Parker Show was broadcast nightly from 1950 to 1957, coast to coast on WABC. She played the marimba, organ, and singing glasses (glass harp). Dubbed Princess of the Marimba, she conducted the 21-piece Swingphony from the Kelly Lyceum Ballroom in Buffalo, New York. This was the largest big band led by a female bandleader. Edgar Battle and Walter Thomas were arrangers for the Swingphony.

Marimba
The marimba (/məˈrɪmbə/ mə-RIM-bə) is a musical instrument in the percussion family that consists of wooden bars that are struck by mallets. Below each bar is a resonator pipe that amplifies particular harmonics of its sound. Compared to the xylophone, the marimba has a lower range. Typically, the bars of a marimba are arranged chromatically, like the keys of a piano. The marimba is a type of idiophone.

Today, the marimba is used as a solo instrument, or in ensembles like orchestras, marching bands (typically as a part of the front ensemble), percussion ensembles, brass and concert bands, and other traditional ensembles.
Australian Law Journal
The Australian Law Journal is an Australian peer-reviewed law journal which has been publishing since 1927. Studies have found that it is one of the most cited Australian law journals.

A 2002 study found that while on the Federal Court of Australia and the High Court of Australia judges published academic articles most often in the Australian Law Journal in both decades studied, the 1980s and 1990s.

The first editor "set out to create in the ALJ, a Journal somewhere between the learned reviews and the practical magazines of the English legal profession."

Past editors have included Bernard Sugerman (1927–1946), Rae Else-Mitchell (1946–1958), Russell Walter Fox (1958–1967), Nigel Bowen (1958–1961), Philip Jeffrey (1968–1973), Professor J. G. Starke QC (1974–1992), and Peter Young AO (1992–2016). The Assistant Editor and Revenue Editor (1977–87) was the later Chief Justice of Tuvalu, The Hon Charles Sweeney QC.

Nigel Bowen
Sir Nigel Hubert Bowen, AC, KBE (26 May 1911 – 27 September 1994) was an Australian lawyer, politician and judge. He was a member of the Liberal Party and served in the House of Representatives from 1964 to 1973, representing the New South Wales seat of Parramatta. He held senior ministerial office in multiple Coalition governments, serving as Attorney-General (1966–1969, 1971), Minister for Education and Science (1969–1971), and Minister for Foreign Affairs (1971–1972). After the Coalition lost the 1972 election he was an unsuccessful candidate to replace William McMahon as Liberal leader, losing to Billy Snedden by a single vote. After leaving politics he served as the inaugural chief justice of the Federal Court of Australia (1976–1990).
Magnolia Hotel (Dallas, Texas)
The Magnolia Hotel (sometimes called the Magnolia Building, originally the Magnolia Petroleum Building) is a 29-story, Beaux-Arts style, upscale hotel in the Main Street District of downtown Dallas, Texas, that for many years was the tallest building in the state after surpassing the Adolphus Hotel. The structure is a Dallas Landmark and is listed on the National Register of Historic Places.

Main Street District, Dallas
The Main Street District of downtown Dallas, Texas (United States) runs along Main Street and is bounded by Elm Street one block north, Commerce St. one block south, N. Lamar St. to the west, and US 75/I-45 (I-345) elevated highway to the east. The district is the spine of downtown Dallas, and connects many of the adjoining business and entertainment districts. The Main Street District excludes a small portion at the western end of the three parallel streets, which is where the John Fitzgerald Kennedy Memorial and Dealey Plaza are situated. That area falls within the neighboring West End Historic District.
Aulnoye-Aymeries
Aulnoye-Aymeries (French pronunciation: [o(l)nwaɛm(ə)ʁi]; Picard: Auno-Aymeries) is a commune in the Nord department in northern France. It was established in 1953 by the merger of the former communes Aulnoye and Aymeries.

Before the opening of the high-speed railway line between Brussels and Paris, the railway station of Aulnoye-Aymeries was a major junction, where the lines Paris–Brussels and Calais–Lille–Thionville connected.

Aulnoye-Aymeries station
Aulnoye-Aymeries station (French: Gare de Aulnoye-Aymeries) is a railway station serving the town Aulnoye-Aymeries, Nord department in the Hauts-de-France region of France. It is situated on the Creil–Jeumont railway and the Fives–Hirson railway.