hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Tarski–Grothendieck set theory
Tarski–Grothendieck set theory (TG, named after mathematicians Alfred Tarski and Alexander Grothendieck) is an axiomatic set theory.  It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom, which states that for each set there is a "Tarski universe" it belongs to (see below). Tarski's axiom implies the existence of inaccessible cardinals, providing a richer ontology than ZFC.  For example, adding this axiom supports category theory.

The Mizar system and Metamath use Tarski–Grothendieck set theory for formal verification of proofs.

Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.

A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics.
2024–25 Nebraska Cornhuskers men's basketball team
The 2024–25 Nebraska Cornhuskers men's basketball team represented the University of Nebraska–Lincoln in the 2024–25 NCAA Division I men's basketball season. The Cornhuskers were led by sixth-year head coach Fred Hoiberg and played their home games at Pinnacle Bank Arena in Lincoln, Nebraska as members of the Big Ten Conference. They finished the season 21–14, 7–13 in Big Ten play to finish in a five-way tie for 12th place. Due to tiebreaking procedures, they failed to qualify for the Big Ten tournament. The Cornhuskers received an invitation to the inaugural College Basketball Crown tournament where they defeated Arizona State, Georgetown, and Boise State to advance to the tournament championship game where they defeated UCF.

2024–25 Arizona State Sun Devils men's basketball team
The 2024–25 Arizona State Sun Devils men's basketball team represented Arizona State University during the 2024–25 NCAA Division I men's basketball season. The Sun Devils, led by 10th-year head coach Bobby Hurley, played their home games at Desert Financial Arena in Tempe, Arizona as first-year members of the Big 12 Conference. The team finished the season 13–20, 4–16 in Big 12 play to finish in 15th place. They lost to Kansas State in the first round of the Big 12 tournament. The Sun Devils were selected to participate in the inaugural 2025 College Basketball Crown tournament, where they lost in the first round to Nebraska.
Nnubi dynasty
Osim and Akuma Nnubi Listenⓘ were brothers and merchant princes of the Akpa people from the east of the Cross River in the late 17th century. The Akpa people were trading allies with the Eze Agwu and Nnachi clans of the Igbo. When Nnachi called them to assist the Igbos in the Aro-Ibibio Wars, they answered. Leading their people, they allied with the Igbo groups to fight against the northern Ibibio clan. Osim died and his brother Akuma became the new Arochukwu kingdom's first EzeAro or king.

Arochukwu
Arochukwu Listenⓘ Local Government Area, sometimes referred to as Arochuku or Aro Oke Igbo is the third largest local government area in Abia State (after Aba and Umuahia) in southeastern Nigeria and homeland of the Igbo subgroup, Aro people. Arochukwu is in the Abia North senatorial district of Abia State, Nigeria.

It is composed of five clans namely Abam, Aro, Ihechiowa, Ututu and Isu. Arochukwu is a principal historic town in Igbo land. It was also one of the cities in the Southern protectorate targeted by the British colonial government. Several historic tourist sites exist in the city. The mystic Ibini Ukpabi shrine, the slave routes and other relics of the slave trade era are frequently visited by tourists. It is also in the food belt of Abia state where most of the staple foods are produced.
2019 Copa de la Superliga
The 2019 Copa de la Superliga Argentina (named Copa de la Superliga YPF Infinia 2019 due to sponsorship by YPF) was the first edition of the Copa de la Superliga Argentina, Argentina's football league cup competition open to all 26 participants in the Superliga Argentina for the 2018–19 season. The competition was planned by the executive committee of the Superliga Argentina throughout 2018 with a final approval being given on 12 December 2018, and was played from 12 April to 2 June 2019, after the conclusion of the Superliga season.

Tigre were the champions, beating Boca Juniors by a 2–0 score in the final match played at Estadio Mario Alberto Kempes in Córdoba.

Copa de la Superliga
The Copa de la Superliga Argentina was an Argentine cup competition. It was contested by all the teams participating in the Primera División, and played after the conclusion of the regular season.

The 2019 edition was sponsored by YPF, with its brand "Infinia", while the 2020 edition was sponsored by Cerveza Quilmes, with its brand "Quilmes Clásica".
Robert Taylor (rugby union coach)
Robert Taylor is a professionalRugby unioncoach  from New Zealand, who has coached  in three different competitions; English Premiership, Japan Rugby League One and Super Rugby. His most recent role was as an Assistant Coach at Super Rugby team Melbourne Rebels for the 2024 Season. He has also been a Head Coach of NEC Green Rockets in the Japan Rugby League One competition under Director of Rugby Michael Cheika. He was an Assistant coach at Leicester Tigers under now England coach Steve Borthwick.

In Australia he was head coach of the Sydney University Football Club winning back to back Shute Shield championships in 2018 & 2019 as well as the Australian Club Championship in 2020 before leaving to Leicester Tigers 
 He was the head coach of the 2019 NSW Country Eagles team that played in the NRC competition. Robert was the Director of Rugby at Auckland University RFC and coached the Auckland NPC B team Auckland.

New South Wales Country Eagles
The New South Wales Country Eagles is an Australian rugby union football team competes in the National Rugby Championship (NRC). The team was founded by a group of patrons associated with country rugby in New South Wales. The Eagles team plays home matches in regional centres of New South Wales including Armidale, Goulburn, Orange, and Tamworth.
Educated Evans (TV series)
Educated Evans is a British comedy television series which aired on the BBC in 24 episodes between 2 October 1957 and 24 June 1958. It is based on the 1924 novel Educated Evans by Edgar Wallace, about a racing tipster. The story had previously been made into a 1936 film Educated Evans. The title role was played by Charlie Chester, whose comedic style was similar to that of Max Miller who had starred in the earlier film. Jack Melford starred as his antagonist, Detective Sergeant Miller.

Other actors who appeared in episodes of the series included Sid James, Jackie Collins, Georgina Cookson, Jill Adams, Sydney Tafler, Liz Fraser, Deryck Guyler, Sam Kydd, Eunice Gayson, Danny Green, Robert Raglan, Anita Sharp-Bolster, Ray Cooney, Jack MacGowran, Ian Fleming, Erik Chitty, Diane Hart, Terence Alexander, Alan Tilvern, Charles Farrell and Mavis Villiers.

Mavis Villiers
Mavis Villiers (born Mavis Clare Cooney; 10 December 1909 – 23 February 1976) was an Australian-born British actress of stage, film and television. Her parents were John Cooney and Clara Smythe. Her brother, Cecil Cooney, was a camera operator and cinematographer. Her stage name, Villiers, was taken from her maternal grandfather.
Valarie Pettiford
Valarie Pettiford (born July 8, 1960) is an American stage and television actress, dancer, and jazz singer. She received a Tony Award nomination for her role in the broadway production Fosse. She is also known for her role as Deirdre "Big Dee Dee" LaFontaine Thorne on the UPN television sitcom Half & Half.

The Equalizer (2021 TV series)
The Equalizer is an American crime drama television series that aired for five seasons on CBS from February 7, 2021, to May 4, 2025. It is the reboot of the original series of the same name created by Michael Sloan and Richard Lindheim. The series is co-created by executive producers Lindheim, with Sloan, and Queen Latifah, who also stars as the titular character. John Davis, John Fox, Debra Martin Chase, Andrew Marlowe, and Terri Miller also serve as executive producers.

In May 2025, the series was canceled after five seasons.
Greater Newcastle Act 1937
Greater Newcastle Act 1937 was a New South Wales statute with the purpose of amalgamating a series of local government areas to create the City of Greater Newcastle. The Act also transferred parts of Lake Macquarie Shire and Tarro Shire to the new city. The amalgamations and transfers took effect from 2 April 1938.

The newly created City of Greater Newcastle was subsequently renamed to City of Newcastle on 23 March 1949.

Tarro Shire
Tarro Shire was a local government area in the Hunter region of New South Wales, Australia.

Tarro Shire was proclaimed (as Kurri Kurri Shire) on 7 March 1906, one of 134 shires created after the passing of the Local Government (Shires) Act 1905. It was renamed Tarro Shire on 8 January 1907.

The shire office was in East Maitland. Other towns and villages in the shire included Hexham, Mulbring, Tarro and Sandgate.

On 2 April 1938, the Greater Newcastle Act 1937  saw part of Tarro Shire was excised and merged with part of Lake Macquarie Shire and 10 suburban municipalities to form the City of Greater Newcastle.

Tarro Shire amalgamated with Bolwarra Shire and part of Kearsley Shire on 6 June 1944 to form Lower Hunter Shire.
LuAZ-1302
The LuAZ-1302, formerly called ZAZ-969 (1966-1971), LuAZ-969 (1971-1979) and LuAZ-969M (1979-1992), is a Soviet and Ukrainian four-wheel drive automobile built by the ZAZ and LuAZ. The first Soviet vehicle with front wheel drive, it was based on the LuAZ-967.

ZAZ
ZAZ or Zaporizhzhia Automobile Building Plant (Ukrainian: ЗАЗ, Запорізький автомобілебудівний завод, romanized: Zaporiz'kyi avtomobilebudivnyi zavod or Запорізький автозавод, Zaporiz'kyi avtozavod) is Ukraine's main automobile manufacturer based in the south-eastern city of Zaporizhzhia. ZAZ manufactures cars, buses and trucks. ZAZ is also often known by the public as its former parent company, AvtoZAZ.
2017 W-League grand final
The 2017 W-League grand final was the final match of the 2016–17 W-League season and decided the champions of women's football in Australia for the season.

The match took place at nib Stadium in Perth, Western Australia on 12 February 2017 and was played by Perth Glory and reigning league champions Melbourne City. The match was won by Melbourne City 0–2, who recorded their second consecutive league championship. The match marked the second time both clubs qualified for a Grand Final, Perth having lost in the 2014 final and Melbourne qualifying for their second consecutive final after winning the 2016 final. The player of the match award was won by Jessica Fishlock of Melbourne City. At the time, the attendance of 4,591 was a record for W-League grand finals.

Perth Glory FC (women)
Perth Glory Football Club is an Australian professional soccer club based in Perth, Western Australia. It competes in the country's premier women's competition, A-League Women. The team was established in 2008, with the founding of the new league.
Teofil Sidorovici
General Teofil Gh. Sidorovici (13 February 1896 – 22 November 1940) was one of the commanders of the Straja Țării (Watchmen), a paramilitary youth organization in the Kingdom of Romania, created in 1935, and Minister of National Propaganda in the sixth Gheorghe Tătărescu cabinet, after the resignation of Constantin C. Giurescu.

He was born in Bucșoaia village, part of the Duchy of Bukovina within Austria-Hungary at the time, now in Romania's Suceava County.

Sidorovici committed suicide in Bucharest on 22 November 1940.

His sister was the Stalinist Alexandra Sidorovici, who became a public prosecutor of the People's Tribunals, an office which allowed her to ask for death sentences for many collaborators of the Ion Antonescu regime; she was a member of the nomenklatura of the Communist government.

Straja Țării
Straja Țării (Romanian - roughly, The Sentinel of the Motherland; also known as Străjeria - translatable as The Sentinel) was a youth organization in the Kingdom of Romania, created in 1935 by King Carol II to counter the growing influence the Iron Guard had over the youth of Romania. Its members were known as străjeri ("sentinels"), and used a form of the Roman salute as greeting.
Sin City Sinners
Sin City Sinners is an American rock band who perform self-penned originals and rock and roll covers at key venues throughout Las Vegas, Nevada. The band is composed of a group of core members: Brent Muscat (ex-Faster Pussycat) on guitar; Todd Kerns (Age of Electric, Static in Stereo, Slash) on lead vocals and guitar; and Rob Cournoyer (Raging Slab) on drums. In addition, Sin City Sinners' performances regularly feature appearances by many notable musicians, comedians, actors, and other entertainers. The group started around 2007, and was spun off from an earlier "Sin City All-Stars" band that featured Brent Muscat and Louie Merlino, amongst others.

Todd Kerns
Todd "Dammit" Kerns is a Canadian rock musician who has worked with several bands, most notably The Age of Electric. He is currently the bass guitarist and backing vocalist for Slash in the band Slash featuring Myles Kennedy and The Conspirators.  He's also the lead vocalist for the band Blackbird Angels, which he co-founded with Tracii Guns.
Red Bluff Reservoir
Red Bluff Reservoir is a reservoir on the Pecos River 40 miles (64 km) north of Pecos, Texas.  The reservoir extends into Loving and Reeves Counties in Texas, and Eddy County in New Mexico.  The northern shoreline of the reservoir is the lowest point in the state of New Mexico.  The reservoir was formed in 1936 by the construction of a dam by the Red Bluff Water Control District to provide water for irrigation and hydroelectric power.  The reservoir is also used for recreational activities. With an elevation of 2,842 feet [866 m] above sea level, it is the lowest point in New Mexico.

Eddy County, New Mexico
Eddy County is a county located in the U.S. state of New Mexico. As of the 2020 census, the population was 62,314. Its county seat and largest city is Carlsbad. The county was created in 1891 and later organized in 1892. It is north of the Texas state line.

Eddy County comprises the Carlsbad-Artesia, NM Micropolitan Statistical Area.

Carlsbad Caverns National Park is located in this county. Eddy County is the location of the Waste Isolation Pilot Plant.
Call Me Anna
Call Me Anna is a 1990 American made-for-television biographical drama film directed by Gilbert Cates and written by John McGreevey. It is based on the 1987 book Call Me Anna by Patty Duke and Kenneth Turan. The film stars Patty Duke, Timothy Carhart, Howard Hesseman, Deborah May, Ari Meyers and Millie Perkins. The film premiered on ABC on November 11, 1990.

John McGreevey
John McGreevey (December 21, 1922 – November 24, 2010) was an American writer and screenwriter. He is the father of former Disney star and Emmy-nominated television writer Michael McGreevey. The elder McGreevey received four Christopher Awards, an Emmy Award, a Peabody Award, and a Writers Guild Paddy Chayefsky Award. Additionally, he was nominated for another Writers Guild Award, another Emmy Award, and a Silver Dove award
2012–13 Ranji Trophy
The 2012–13 Ranji Trophy was the 79th season of the Ranji Trophy. It was contested by 27 teams divided into three groups of nine teams each. The top three teams from Groups A and B proceeded to the quarterfinals along with the top two teams from Group C. Mumbai won this year's trophy for the 40th time by beating Saurashtra in the final at the Wankhede.

The season had a different grouping system compared to that of the previous seasons, which had Elite and Plate divisions. The new system also increased the number of matches of the tournament. The points awarded to outright wins were increased from five to six in order to encourage results. The knock-out matches will be played across five days instead of four. All these changes were recommended by the BCCI's Technical Committee in June 2012.

Saurashtra cricket team
Saurashtra cricket team is one of the three first-class cricket teams based in the Indian state of Gujarat (the other two being the Baroda cricket team and the Gujarat cricket team) that competes in India's first-class cricket tournament Ranji Trophy and limited-overs cricket tournaments Vijay Hazare Trophy and Syed Mushtaq Ali Trophy.
Southerndown Golf Club
Southerndown Golf Club is a downland/links golf club in the Vale of Glamorgan, in south-east Wales, near the coast and Ogmore-by-Sea and Southerndown, in proximity to Merthyr Mawr Sand Dunes. The course lies in an open, elevated position above the Ogmore River valley and in 2001 was 6,417 yards. The course was established in 1905 and designed by Willie Fernie. Players such as Peter McEvoy, Gary Wolstenholme, Stephen Dodd, Bradley Dredge, and Gene Sarazen have all played at Southerndown. The club has held the Piccadilly Medal in 1970–71 and the Martini International and has also hosted the Welsh Amateur Golf event.

Southerndown
Southerndown is a village in the Vale of Glamorgan, in south Wales. It is southwest of Bridgend, and within the St Brides Major community, close to Llantwit Major and Ogmore-by-Sea. It is mostly known for its beach which backs Dunraven Bay (Welsh: Bae Dwnrhefn), which is a popular tourist destination during the summer months and since 1972 has been part of a Heritage Coast and is part of the Southerndown Coast SSSI.  When the tide is out there is an expanse of sand and pools. The cliffs are an obvious example of sedimentary rock.
2014 Asian Junior Badminton Championships – Girls singles
The Girls' Singles tournament of the 2014 Asian Junior Badminton Championships was held from February 19–23 in Taipei, Taiwan. The defending champions of the last edition was Aya Ohori from Japan. Ohori competed in this event as the first seeds, but she was beaten by the eventual silver medalist Chen Yufei from China in the third round. Akane Yamaguchi of Japan claim the title after beat Chen in the final with the score 21–10, 21–15. The second and fifth seeded Busanan Ongbumrungpan of Thailand and Liang Xiaoyu of Singapore finished in the semi-finals round, settle for the bronze medal.

Chen Yufei
Chen Yufei (Chinese: 陈雨菲; pinyin: Chén Yǔfēi; born 1 March 1998) is a Chinese badminton player. She was the gold medalist in the 2020 Summer Olympics, and also at the 2025 Asian Championships. In her junior career, she won the girls' singles titles at the 2016 Asian and the World Junior Championships. At the same year, Chen clinched her first senior title at the Macau Open. She won a bronze medal at the 2017 World Championships and was awarded as the Eddy Choong Most Promising Player of the Year in 2017. On 17 December 2019, she reached a career-high BWF World Ranking as world number 1, and finished the year as the year-end no.1. Other achievements include winning the World Tour Finals in 2019, silver medals at the 2022 and 2025 BWF World Championships, and also at the 2022 Asian Games.
Garden City, Alabama
Garden City is a town in Cullman and Blount counties in the U.S. state of Alabama. At the 2020 census, the population was 528. Garden City was  founded by Johann Cullmann, namesake of Cullman County in 1873 after founding Cullman, Alabama. It was located in Blount County and was incorporated in 1878 (although other sources claim 1911). Cullman County was created in 1877. Garden City was annexed by Cullman County with a shift in county borders until 1901. After a lapse in its incorporation, it was re-incorporated in 1950.

Cullman County, Alabama
Cullman County is a county located in the north central portion of the U.S. state of Alabama. As of the 2020 census, the population was 87,866. Its county seat and largest city is Cullman. Its name is in honor of Colonel John G. Cullmann.

Cullman County comprises the Cullman, AL Micropolitan Statistical Area, which is a component of the Birmingham-Hoover-Talladega, AL Combined Statistical Area.

It is served by TV stations and FM radio stations from both Huntsville and Birmingham and is part of the designated market area, or "DMA," of Birmingham.   Cullman is a "moist" county in terms of availability of alcoholic beverages; the cities of Cullman, Good Hope, and Hanceville allow sale of alcohol and are "wet" and the rest of the county is dry.
Recoil (Wonderla Hyderabad)
Recoil is a Boomerang roller coaster located at Wonderla in Raviryal, Hyderabad, India. The ride originally operated at World Expo Park before being relocated to Wonderland Sydney, where it operated as The Demon. After Wonderland's closure in 2004, it operated as Zoomerang at Alabama Adventure. The ride was removed from Alabama Adventure in 2011 and has since operated at Wonderla, opening in 2016.

Raviryal
Raviryal is a village in Rangareddy district in Telangana, India. It falls under Maheshwaram mandal. A semiconductor hub FAB City (fabrication facility) is located in Raviryal village. Raviryal is located about 15 km away from the Rajiv Gandhi International Airport (RGIA) in Shamshabad , 2 kilometres away from Outer Ring Road (ORR) and 6 km away from Adibatla. Raviryala Pedda Cheruvu lake is located here.
Fred Arbinger
Fred Arbinger (born 6 June 1957) is a former German footballer.

Arbinger was born in Aldersbach.  He began his career playing amateur football in his native Bavaria, before being signed by FC Bayern Munich in 1976. He had the misfortune to make his debut in Bayern's record league defeat, a 7–0 home loss against FC Schalke 04. He made nine more appearances in his first season, most notably a substitute appearance in the second leg of the Intercontinental Cup. He didn't play at all the following season, though, and left for Tennis Borussia Berlin in 1978. After two seasons in Berlin he returned to the Bavarian amateur leagues, initially as a player and later as a coach. He served as a youth coach with SV Wacker Burghausen from 2003 to 2007, and had a brief spell as the club's caretaker manager.

Aldersbach
Aldersbach (Central Bavarian: Oidaschbo) is a municipality in the district of Passau in Bavaria in Germany. The former Cistercian Aldersbach Abbey, of which the Baroque church remains, is located in the village. There is also a brewery with museum. Aldersbach has around 4,500 inhabitants.
Markus Schirmer
Markus Schirmer (born 10 June 1963) is an Austrian pianist.

Schirmer is a professor at the University of Music and Performing Arts, Graz, where he teaches concert piano. He was awarded the Music Manual Award at the international Music Convention EUROMUSIC and the Karl-Böhm-Interpretationspreis, an award for Austrian artists.

University of Music and Performing Arts Graz
The University of Music and Performing Arts Graz, also known as Kunstuniversität Graz (KUG) is an  Austrian university. Its roots can be traced back to the music school of the Akademischer Musikverein founded in 1816, making it the oldest university of music in Austria.
Ricochet Romance (film)
Ricochet Romance is a 1954 American western comedy film directed by Charles Lamont and starring Marjorie Main, Chill Wills and Alfonso Bedoya. It was produced and distributed by Universal Pictures. Its title is derived from the song of the same name, which is also featured in the film. It is also known as The Matchmakers.

Ricochet (Teresa Brewer song)
"Ricochet" (sometimes rendered "Rick-o-Shay" and also as "Ricochet Romance") is a popular song. The credits show it to be written by Larry Coleman, Joe Darion, and Norman Gimbel, without apportioning the work on the lyrics and music, in 1953. In fact, since Coleman and Darion wrote "Changing Partners" the same year, with Darion as lyricist and Coleman as composer, while Gimbel wrote the English lyric for "Sway" the same year, it can be concluded that Coleman wrote the music and Darion and Gimbel the lyrics.