hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
O-minimal theory
In mathematical logic, and more specifically in model theory, an infinite structure  that is totally ordered by  is called an o-minimal structure if and only if every definable subset  (with parameters taken from ) is a finite union of intervals and points.

O-minimality can be regarded as a weak form of quantifier elimination. A structure  is o-minimal if and only if every formula with one free variable and parameters in  is equivalent to a quantifier-free formula involving only the ordering, also with parameters in . This is analogous to the minimal structures, which are exactly the analogous property down to equality.

A theory  is an o-minimal theory if every model of  is o-minimal. It is known that the complete theory  of an o-minimal structure is an o-minimal theory. This result is remarkable because, in contrast, the complete theory of a minimal structure need not be a strongly minimal theory, that is, there may be an elementarily equivalent structure that is not minimal.

Theory (mathematical logic)
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first understood from context, giving rise to a formal system that combines the language with deduction rules. An element  of a deductively closed theory  is then called a theorem of the theory. In many deductive systems there is usually a subset  that is called "the set of axioms" of the theory , in which case the deductive system is also called an "axiomatic system". By definition, every axiom is automatically a theorem. A first-order theory is a set of first-order sentences (theorems) recursively obtained by the inference rules of the system applied to the set of axioms.
Vujević
Vujević (Serbian: Вујевић) is a South Slavic surname. Notable people with the surname include:

Branimir Vujević (born 1974), Croatian rower

Goran Vujević (born 1973), Montenegrin-born Serbian volleyball player

Pavle Vujević (1881–1966), Serbian geographer

Robert Vujević (born 1980), Croatian footballer

Branimir Vujević
Branimir Vujević (born 29 November 1974 in Zadar) is a Croatian rower who won a bronze medal in the eights competition at the 2000 Summer Olympics in Sydney. His teammates were Igor Boraska, Nikša Skelin, Siniša Skelin, Krešimir Čuljak, Tomislav Smoljanović, Tihomir Franković and Igor Francetić.
Kyle Abbott (cricketer)
Kyle John Abbott (born 18 June 1987) is a South African cricketer. He is a right-arm fast-medium bowler who represented South Africa in Test, One Day International and Twenty20 International cricket between 2013 and 2017, before retiring to take up a contract with Hampshire in English county cricket. He previously played in South African domestic cricket for the Dolphins.

In September 2019, Abbott took match figures of 17–86 in Hampshire's match against Somerset in the 2019 County Championship. These were the fourth-best figures in County Championship cricket in England, and the tenth-best figures of all time in first-class cricket. They were also the best match figures in first-class cricket since Jim Laker took 19–90 in the fourth Test against Australia in 1956.

County cricket
Inter-county cricket matches have been played since the early 18th century, involving teams that are representative of the historic counties of England and Wales.

Two county championship competitions have existed since the late 19th century at different levels: the County Championship, a first-class competition which involves 18 clubs, of which 17 are English and one is from Wales; and the National Counties Championship, with 19 English clubs and one club representing several Welsh counties.

County clubs have also played limited-overs competitions since the 1960s. The first edition of the Gillette Cup in 1963 was the world's first List A cricket tournament. The Sunday League existed from 1969 to 2009, mostly as a 40-overs-per-side league. The 2003 Twenty20 Cup was the world's first Twenty20 tournament. Currently, the main limited-overs county competitions are the One-Day Cup, Women's One-Day Cup, T20 Blast and Women's T20 Blast.
Walcourt
Walcourt (French pronunciation: [walkuʁ] ⓘ; Walloon: Walcoû) is a municipality and city of Wallonia located in the province of Namur, Belgium.

On 1 January 2006, the municipality had 17,516 inhabitants. The total area is 123.18 km2, giving a population density of 142 inhabitants per km2.

The municipality consists of the following districts: Berzée, Castillon, Chastrès, Clermont, Fontenelle, Fraire, Gourdinne, Laneffe, Pry, Rognée, Somzée, Tarcienne, Thy-le-Château, Vogenée, Walcourt, Yves-Gomezée.

Namur Province
Namur (French: [namyʁ] ⓘ; Walloon: Nameur; Dutch: Namen [ˈnaːmə(n)] ⓘ) is a province of Wallonia, one of the three regions of Belgium. It borders (clockwise from the West) on the Walloon provinces of Hainaut, Walloon Brabant, Liège and Luxembourg in Belgium, and the French department of Ardennes. Its capital and largest city is the city of Namur. As of January 2024, the province of Namur has a population of about 0.5 million.
Rozworzyn
Rozworzyn [rɔzˈvɔʐɨn] is a village in the administrative district of Gmina Brzeziny, within Brzeziny County, Łódź Voivodeship, in central Poland. It lies approximately 5 km (3 mi) east of Brzeziny and 25 km (16 mi) east of the regional capital Łódź.

Brzeziny County
Brzeziny County (Polish: powiat brzeziński) is a unit of territorial administration and local government (powiat) in Łódź Voivodeship, central Poland. It was created in 2002 out of the north-eastern part of Łódź East County. Its administrative seat and only town is Brzeziny, which lies 20 kilometres (12 mi) east of the regional capital Łódź.

The county covers an area of 358.51 square kilometres (138.4 sq mi). As of 2006 its total population is 30,600, out of which the population of Brzeziny is 12,373 and the rural population is 18,227.
Syringin
Syringin is a natural chemical compound first isolated from the bark of lilac (Syringa vulgaris) by Meillet in 1841.  It has since been found to be distributed widely throughout many types of plants. It is also called eleutheroside B, and is found in Eleutherococcus senticosus (Siberian ginseng). It is also found in dandelion coffee. Syringin may potentially have antidiabetic effects.

Chemically, it is the glucoside of sinapyl alcohol.

Eleutherococcus senticosus
Eleutherococcus senticosus is a species of small, woody shrub in the family Araliaceae. It is native to Northeastern Asia. It may be colloquially called devil's bush, Siberian ginseng, taiga root, eleuthero, ciwujia, Devil's shrub, shigoka, touch-me-not, wild pepper, or kan jang. E. senticosus has a history of use in folklore and traditional Chinese medicine. Root extracts of E. senticosus are sold as a dietary supplement or cosmetic, usually under the name Siberian ginseng.
Ronda de la Universitat, Barcelona
Ronda de la Universitat is a major thoroughfare of central Barcelona, Catalonia, Spain, in lower side of the Dreta de l'Eixample, in the Eixample district. It links two of the city's three main squares, running from Plaça de Catalunya towards Plaça Universitat. There it meets Gran Via de les Corts Catalanes and Ronda de Sant Antoni begins. It's essentially the same street as Ronda de Sant Pere, which follows it right after Plaça de Catalunya. As the other ronda, it follows the original outline of the medieval city walls, particularly the wall of Tallers, above the area nowadays known as Raval, where a road called Carrer de Tallers runs partially parallel to it. Ronda de la Universitat was paved in 1872. It takes its name from the Universitat de Barcelona, which has had its main building at Plaça Universitat since the 19th century. Before its current name was approved in 1989, its official name was in Spanish: Universidad. The Biblioteca Judicial de Catalunya is on this street.

El Raval
El Raval (Catalan pronunciation: [əl rəˈβal]) is a neighborhood in the Ciutat Vella district of Barcelona, the capital city of Catalonia. The neighborhood, especially the part closest to the old port, was formerly (informally) known as Barri Xinès or Barrio Chino, meaning "Chinatown". El Raval is one of the two historical neighborhoods that border La Rambla, the other being the Barri Gòtic; it contains some 50,000 people.

An area historically infamous for its nightlife and cabarets, as well as prostitution and crime, El Raval has changed significantly in recent years and due to its central location has become a minor attraction of Barcelona. It currently has a very diverse immigrant community (47.4% of its population was born abroad, ranging from Filipinos, South Americans, and Pakistanis, to a more recent Eastern European community, especially from Romania). It is home to many bars, restaurants, and night spots.
Tania Park
Tania Park is an urban park located at 2 Bareena Drive, Balgowlah Heights, a suburb of Sydney, New South Wales, Australia.

Administered by the Northern Beaches Council, the park functions as a suburban park containing large dog exercise areas, sporting facilities and play equipment. The park is adjacent to Dobroyd Head which offers commanding views of Sydney, Middle and North Harbours. Located on a high point, it contains the 90.3 2MWM transmitter, which can be heard across northern and eastern Sydney.

It is named after Tania Verstak, a winner of the 1962 Miss International Beauty pageant, who was brought up locally.

Tania park is known for its wide variety of activities such as dog walking, cricket, football and many more sporting activities.

Miss International
Miss International (Miss International Beauty or The International Beauty Pageant) is a Japan-based international major beauty pageant organized by the International Culture Association. First held in 1960, it is the fourth largest pageant in the world in terms of the number of national winners participating in the international contest.

Along with Miss World, Miss Universe, and Miss Earth, the pageant is one of the Big Four beauty pageants. The Miss International Organization and the brand are currently owned (since 1968), along with Miss International Japan, by the International Cultural Association and Miss Paris Group. The pageant crown used by the organization is supplied and patented by the Mikimoto pearl company.

In 2020 and again in 2021, the pageant was canceled due to the COVID-19 pandemic.

The current Miss International is Catalina Duque of Colombia, who was crowned on 27 November 2025 in Tokyo, Japan.
2025–26 King Mindaugas Cup
The 2025–26 King Mindaugas Cup, also known as Citadele Karaliaus Mindaugo taurė for sponsorship purposes, was eleventh edition of the Lithuanian King Mindaugas Cup. The final four was hosted by Šiauliai Arena in Šiauliai on 21–22 February 2026.

Žalgiris successfully defended the title for the 6th time in a row after defeating Rytas in the final 101–85.

Šiauliai Arena
Šiauliai Arena is the largest arena in Šiauliai, Lithuania. It generally hosts basketball games as well as concerts. The basketball club BC Šiauliai, which currently competes in the domestic LKL and ULEB Cup, uses the facility for all of its European and LKL home fixtures. It opened on 25 July 2007. The arena had hosted the Eurobasket 2011 Group B matches from 31 August 2011 to 5 September 2011.

In 2013, Šiauliai Arena hosted Davis Cup matches.
Cape Bougainville
Cape Bougainville is the second-most northerly point on East Falkland, Falkland Islands, after Cape Dolphin, and is the second-most northerly point of the two main islands, East and West Falkland. Many of the smaller islands, such as the Jason Islands, are further north.

The name (like Port Louis) comes from the French navigator Louis de Bougainville, who established the first settlement in the archipelago in the 1760s.

Port Louis, Falkland Islands
Port Louis is a settlement on northeastern East Falkland.  It was established by Louis de Bougainville on 5 April 1764 as the first French settlement on the islands, but was then transferred to Spain in 1767 and renamed Puerto Soledad (In Spanish, East Falkland is known as Isla Soledad).
Bietingen station
Bietingen station (German: Bahnhof Bietingen) is a railway station in Bietingen, in the municipality of Gottmadingen, in Baden-Württemberg, Germany. It is located on the standard gauge High Rhine Railway of Deutsche Bahn.

Schaffhausen S-Bahn
The Schaffhausen S-Bahn is an S-Bahn network in the Swiss canton of Schaffhausen and the German state of Baden-Württemberg (Konstanz and Waldshut districts). It comprises three services and began operation in 2015. Services are operated by SBB GmbH, Swiss Federal Railways' German subsidiary, and Thurbo.

Regional railway services in the city of Schaffhausen and other nearby towns are complemented by services of Zürich S-Bahn (S9, S12, S24, S29, S33), St. Gallen S-Bahn (S1), the Seehas (S6), and RB30 of Basel S-Bahn. The system is also supported by bus routes of vbsh.
Virdi
Virdi is a Punjabi surname. Notable people with this surname include:

Amar Virdi, English cricket player

Ginnie Virdi, Indian television actress

Gurpal Virdi (born 1958), politician

Harvey Virdi, actress and writer

Kanwar Virdi (born 1969), Indian cricket player

Roger Verdi (born 1953), English footballer

R. R. Virdi (born 1990), American author

Sonia Birdi, Kenyan politician

Amar Virdi
Guramar Singh Virdi (born 19 July 1998), known as Amar Virdi, is an English cricketer. An off-spin bowler, Virdi played in two Under-19 internationals for England against Sri Lanka in 2016. He made his first-class debut for Surrey in the 2017 County Championship on 26 May 2017.
Who Do You Love (The Chainsmokers song)
"Who Do You Love" is a song by American DJ duo the Chainsmokers featuring Australian pop rock band 5 Seconds of Summer, released on February 7, 2019, through Sony Music. It is the acts' first collaboration and follows their December 2018 singles "Hope" and "Lie to Me", respectively. The song serves as the lead single from the Chainsmokers' third studio album World War Joy, alongside the scene of "Booksmart". The music video was released on March 25, 2019. In April 2021, an early demo of the song intended for Demi Lovato's 2017 album Tell Me You Love Me surfaced online.

Booksmart
Booksmart is a 2019 American coming-of-age comedy film directed by Olivia Wilde (in her feature directorial debut) and written by Emily Halpern, Sarah Haskins, Susanna Fogel, and Katie Silberman. It stars Beanie Feldstein and Kaitlyn Dever as two graduating high school girls who set out to finally break the rules and party on their last day of classes. Jessica Williams, Lisa Kudrow, Will Forte, and Jason Sudeikis also star.

The film had its world premiere at South by Southwest on March 10, 2019, and was theatrically released in the United States on May 24, by United Artists Releasing. It received critical acclaim and grossed $25 million against a $6 million budget. For her performance, Feldstein was nominated for Best Actress – Comedy or Musical at the 77th Golden Globe Awards.
Fluid Concepts and Creative Analogies
Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought is a 1995 book by Douglas Hofstadter and other members of the Fluid Analogies Research Group exploring the mechanisms of intelligence through computer modeling. It contends that the notions of analogy and fluidity are fundamental to explain how the human mind solves problems and to create computer programs that show intelligent behavior. It analyzes several computer programs that members of the group have created over the years to solve problems that require intelligence.

It was the first book ever sold by Amazon.com.

David Chalmers
David John Chalmers (/ˈtʃɑːmərz/; born 20 April 1966) is an Australian philosopher and cognitive scientist, specializing in philosophy of mind and philosophy of language. He is a professor of philosophy and neural science at New York University (NYU), as well as co-director of NYU's Center for Mind, Brain and Consciousness (along with Ned Block). In 2006, he was elected a fellow of the Australian Academy of the Humanities. In 2013, he was elected as a fellow of the American Academy of Arts and Sciences.

Chalmers is best known for formulating the hard problem of consciousness, and for popularizing the philosophical zombie thought experiment.

Chalmers and David Bourget co-founded PhilPapers; a database of journal articles for philosophers.
Fencing at the 1908 Summer Olympics – Men's sabre
The men's sabre was one of four fencing events on the Fencing at the 1908 Summer Olympics programme. The top two places were won by Hungarian fencers, who also took the gold medal in the team sabre event. Jenő Fuchs took the gold medal and Béla Zulawszky the silver. Bronze went to Bohemian Vilém Goppold von Lobsdorf. There were 76 competitors from 11 nations. Each nation could enter up to 12 fencers.

Béla Zulawszky
Béla Zulawszky (Slovak: Vojtech Zulawszky) (23 October 1869 – 27 October 1914) was a Slovak-Hungarian fencer. He won a silver medal in the individual sabre event at the 1908 Summer Olympics. He was killed in action during World War I.
HYPE
HYPE is the first Polish PocketQube picosatellite developed by students at the AGH University of Krakow. Designed to showcase a custom 1P (5x5x5 cm) platform with a "selfie-stick" to image a 240x240 px LCD screen on the satellite's surface and a VIS-NIR miniature spectrometer. At the time of its launch onboard the Falcon 9 Transporter-12 it was the smallest Polish satellite.

PocketQube
A PocketQube is a type of miniaturized satellite for space research that usually has a size of cube with 5 cm sides (one eighth the volume of a CubeSat), has a mass of no more than 250 grams, and typically uses commercial off-the-shelf components for its electronics.

Beginning in 2009, Morehead State University (MSU) and Kentucky Space developed the PocketQube specifications to help universities worldwide to perform space science and exploration. While the bulk of development comes from academia, several companies build PocketQubes, such as Fossa Systems and Alba Orbital. PocketQube projects have even been the subject of Kickstarter campaigns. The PocketQube format is also popular with amateur radio satellite builders.
Nuts and bolts (general relativity)
In physics, in the theory of general relativity, spacetimes with at least a 1-parameter group of isometries can be classified according to the fixed point-sets of the action.  Isolated fixed points are called nuts. The other possibility is that the fixed point set is a metric 2-sphere, called bolt. The number of nuts and bolts can also be related to topological invariants, such as the Euler characteristic.  This classification is widely used in the analysis of gravitational instantons.

Sphere
A sphere (from Ancient Greek σφαῖρα, sphaîra) is a surface analogous to the circle, a curve. In solid geometry, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and the distance r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

The sphere is a fundamental surface in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubbles such as soap bubbles take a spherical shape in equilibrium. The Earth is often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres roll smoothly in any direction, so most balls used in sports and toys are spherical, as are ball bearings.
Snag Rocks
Snag Rocks, (65°8′S 64°27′W﻿ / ﻿65.133°S 64.450°W﻿ / -65.133; -64.450) also known as Rocas Bravo, is a cluster of rocks off the west coast of the Antarctic Peninsula.  This cluster of rocks lies mid-channel in the French Passage between the Roca Islands and the Myriad Islands, in the Wilhelm Archipelago. Photographed from the helicopter of HMS Protector in March 1958, Snag Rocks was so named by United Kingdom Antarctic Place-Names Committee (UK-APC) because the feature presents a hazard or obstacle to navigation.

Wilhelm Archipelago
The Wilhelm Archipelago is an island archipelago off the west coast of the Antarctic Peninsula in Antarctica.

Wilhelm Archipelago consists of numerous islands, the largest of which are Booth Island and Hovgaard Island. The archipelago extends from Bismarck Strait southwest to Lumus Rock, off the west coast of Graham Land. It was discovered by a German expedition under Eduard Dallmann, 1873–74. He named them for Wilhelm I, then German Emperor and King of Prussia.
Armide
Armide is the French and English form of the name Armida, a sorceress in Tasso's Gerusalemme liberata, after whom are also named:

Armide (Lully), an opera by Jean-Baptiste Lully

Armide (Gluck), an opera by Christoph Willibald Gluck

Le Pavillon d'Armide, ballet by Fokine

French submarine Armide, a submarine constructed during World War I

Armide (ship), a French frigate
Armide-class frigate

See also Armida#In_opera

Le Pavillon d'Armide
Le Pavillon d'Armide is a ballet in one act and three scenes choreographed by Michel Fokine with music by Nikolai Tcherepnin to a libretto by Alexandre Benois. It was inspired by the novella Omphale by Théophile Gautier.
343 Ostara
343 Ostara (prov. designation: A892 VA or 1892 N) is a background asteroid from the inner region of the asteroid belt. It was discovered by German astronomer Max Wolf at the Heidelberg Observatory on 15 November 1892.

Heidelberg-Königstuhl State Observatory
Heidelberg-Königstuhl State Observatory (German: Landessternwarte Heidelberg-Königstuhl) is a historic astronomical observatory located near the summit of the Königstuhl hill in the city of Heidelberg in Germany. It is operated by the Center for Astronomy (ZAH) at the University of Heidelberg.

The predecessor of the current observatory was originally opened in 1774 in the nearby city of Mannheim but degradation of observational conditions there resulted in a relocation to the Königstuhl in 1898.

The Observatory facility have little value for current astronomical research of ZAH; research is done with the Gama Ray H.E.S.S in Namibia and ESO facilities in Chile.

Andreas Quirrenbach is the observatory's director since 2005.
Pannonian Limes
The Pannonian Limes (Latin: Limes Pannonicus; German: Pannonischer Limes) is part of the old Roman fortified frontier known as the Danubian Limes that runs for approximately 420 km (260 mi) from the Roman camp of Klosterneuburg in the Vienna Basin in Austria to the castrum in Singidunum (Belgrade)  in present-day Serbia. The garrisons of these camps protected the Pannonian provinces against attacks from the north from the time of Augustus (31 BC–14 AD) to the beginning of the 5th century. In places this section of the Roman limes also crossed the river into the territory of the barbarians (Barbaricum).

Klosterneuburg
Klosterneuburg (German pronunciation: [kloːstɐˈnɔɪ̯bʊʁk] ⓘ) is a town in the Tulln District of the Austrian state of Lower Austria.  Frequently abbreviated to Kloburg by locals, it has a population of about 27,500. The Stift Klosterneuburg (Klosterneuburg Monastery), which was established in 1114 and soon after given to the Augustinians, is of particular historical importance.