hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Actor model theory
In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.

Actors are the primitives that form the basis of the Actor model of concurrent digital computation.  In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received.  Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models.

Proof theory
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, proof-theoretic semantics, reverse mathematics, proof mining, automated theorem proving, and proof complexity. Much research also focuses on applications in computer science, linguistics, and philosophy.
Alavuden Peli-Veikot
Alavuden Peli-Veikot ry or APV is a sports club in Alavus, Finland. APV was founded in 1953 as a speciality football club – tradition holds that it was the first specialty football club to be founded in rural Finland – but expanded to include other sports over time. The club now offers programs in football, futsal, ice hockey, and pesäpallo and is best known for its youth and junior teams. APV's representative ice hockey teams play in the men's fourth-tier II-divisioona and in the women's second-tier Naisten Mestis. The club's representative men's pesäpallo team plays in the Suomensarja (Finnish League), the third-tier league below the Superpesis and Ykköspesis.

Lauri Taipalus
Lauri Taipalus (born January 14, 1988) is a Finnish professional ice hockey player who played with JYP Jyväskylä in the SM-liiga during the 2010-11 season. He played with SaiPa seasons 2012-14 and signed a contract with HIFK for next season.
Maryland Route 935
Maryland Route 935 (MD 935) is an unsigned state highway in the U.S. state of Maryland.  The state highway runs 2.99 miles (4.81 km) from MD 36 in Barton north to MD 36 in Nikep.  MD 935 is the old alignment of MD 36 through Barton, Moscow, and Nikep in the Georges Creek Valley of western Allegany County.  The state highway was designated when MD 36 moved to a new alignment through the communities in the early 1980s.

Nikep, Maryland
Nikep (originally known as Pekin) is an unincorporated community and census-designated place (CDP) in Allegany County, Maryland, United States. As of the 2020 census it had a population of 95.
Nikep is located in the Georges Creek Valley of western Allegany County, along the old route of Maryland Route 36. Lonaconing is 1.6 miles (2.6 km) to the northeast, and Westernport is 6.6 miles (10.6 km) to the southwest.

The name Nikep was given to the first post office established in the community, because Pekin was already in use at another post office (Pekin, Indiana).
Jag vill ha en egen måne
"Jag vill ha en egen måne" (English: I want my own moon) is a song written by Swedish lyricist Kenneth Gärdestad and singer-songwriter Ted Gärdestad. Ted Gärdestad recorded the song, and released it as a single (Polar POS 1155) in April 1972. The song became his breakthrough, charting at Svensktoppen, where it stayed for 14 weeks between 11 June and 10 September 1972, topping the charts. All ABBA members appeared in the studio during the recording; Anni-Frid Lyngstad and Agneta Fältskog appear as background singers.

The song has also been recorded by Thorleifs on the 1978 album Kurragömma and Wahlströms låten on 2010 album Vårt älskade 80-tal.

A rock-version was performed by the Gamblers at Dansbandskampen 2009.

Svensktoppen
Svensktoppen (Swedish: [ˈsvɛ̂nːskˌtɔpːɛn]) is a weekly record chart airing on Sveriges Radio. Until January 2003, the songs had to be in the Swedish language. Svensktoppen has aired since 1962, except for the years 1982–1985. In the years leading up to the January 2003 change, the programme was strongly dominated by dansband music.

The first number-one hit song was "Midnattstango" performed by Swedish crooner Lars Lönndahl.

New rules on 17 January 2016 restricted the maximum length for a song to chart to one year.
Navajo I
The Navajo I is a secure telephone built into a briefcase that was developed by the U.S. National Security Agency. According to information on display in 2002 at the NSA's National Cryptologic Museum, 110 units were built in the 1980s for use by senior government officials when traveling. It uses the linear predictive coding algorithm LPC-10 at 2.4 kilobits/second.

The name is most likely a reference to the Navajo code talkers of World War II.

Briefcase
A briefcase or an attaché case (/əˈtæʃeɪ/) is a narrow hard-sided box-shaped bag or case used mainly for carrying papers and equipped with a handle. Lawyers commonly use briefcases to carry briefs to present to a court, hence the name.
Janet Meakin Poor
Janet Meakin Poor (November 27, 1929 – June 21, 2017, Cincinnati, Ohio) was a landscape design specialist based out of Winnetka, Illinois. She was the great great niece of American impressionist painter Lewis Henry Meakin.

Landscape design
Landscape design is an independent profession and a design and art tradition, practiced by landscape designers, combining  nature and  culture.  In contemporary practice, landscape design bridges the space between landscape architecture and garden design.
Fiona Taylor
Fiona Cynthia Taylor (born 29 May 1971) is an Australian windsurfer who competed in the 1992 Summer Olympics. Born in Melbourne, Taylor represented Australia in the women's Lechner event and finished in tenth place.

In the early 2000s Taylor founded a coaching company, Barakaya, and published two books. Spirit in Sport : Peak performance and the zone in sport covers her winning seven windsurfing world titles and includes interviews with 15 other World and Olympic champions, while An Olympian's Guide to Weight Loss discusses her personal weight loss experience.

Sailing at the 1992 Summer Olympics – Women's Lechner A-390
The Women's Sailboard (Lechner A-390) Competition at the 1992 Summer Olympics was held from 27 July to 4 August 1992, in Barcelona, Spain. Points were awarded for placement in each race. Best nine out of ten scores did count for the final placement.
Harlan Carr
Harlan Bradley "Gotch" Carr (April 30, 1903 – October 24, 1970) was a professional football player from Union Springs, New York. He attended Syracuse University and made his professional debut in the National Football League in 1927 with the Pottsville Maroons. He also played for the Buffalo Bisons in 1927. He scored two rushing touchdowns in ten NFL games during his 1-year career.

Harlan played basketball with Vic Hanson at Syracuse University. After his collegiate career, he also played with Vic Hanson's All-Americas pro basketball team for two seasons from 1928 to 1930.

Union Springs, New York
Union Springs is a village in Cayuga County, New York, United States. The population was 1,197 at the 2010 census. The name is derived from the mineral springs near the village. Union Springs is in the western part of the town of Springport and is southwest of Auburn.
Yaroslava
Yaroslava (Cyrillic: Ярослава) is a Slavic feminine given name. It is the feminine form of Yaroslav, composed of the Slavic elements jar meaning "strong, fierce" and slav meaning "glory, fame".

The Czech and Slovak form of the name is Jaroslava, the Polish form is Jarosława.

Notable people with the name include:

Yaroslava Bondarenko (born 1997), Russian cyclist

Yaroslava Frolova (born 1997), Russian handball player

Yaroslava Mahuchikh (born 2001), Ukrainian high jumper

Yaroslava Mosiychuk (born 1960), Ukrainian actress

Yaroslava Muzyka (1894–1973), Ukrainian painter, restorer, and public figure

Yaroslava Nechaeva, Russian ice dancer

Yaroslava Pavlovich (born 1969), Belarusian rower

Yaroslava Plaviuk (1926–2023), Ukrainian activist

Yaroslava Shvedova (born 1987), Russian-Kazakhstani tennis player

Yaroslava Stetsko (1920–2003), Ukrainian politician

Yaroslava Yakushina (born 1993), Russian boxer

Yaroslava Pavlovich
Yaroslava Anatolyevna Pavlovich (Belarusian: Яраслава Анатолеўна Паўловіч, romanized: Yaraslava Anatoljeŭna Paŭlovič); born 2 November 1969, in Pinsk) is a Belarusian rowing cox, who won a bronze at the 1996 Summer Olympics.
Theeuwes
Theeuwes (Dutch pronunciation: [ˈteːu.əs]) is a Dutch patronymic surname. Theeuw, Teeuwes, Tewis, Theeuwis etc. are archaic short forms of the given name Matthew/Mattheus. The surname has many variant forms, including Teeuwen and Tewes. Notable people with the surname include:

Jacques Theeuwes (born 1944), Dutch organizational theorist

Janus Theeuwes (1886–1975), Dutch archer

Jules Theeuwes (1944–2012), Belgian economist

Lodewijk Theeuwes (fl.1560–1585), Flemish harpsichord maker

Marcellin Theeuwes (1936–2019), Dutch Carthusian prior

Variant forms

Arjen Teeuwissen (born 1971), Dutch equestrian

Len Teeuws (1927–2006), American football player

Ties Theeuwkens (born 1985), Dutch basketball player

Frans Theuws (born 1953), Dutch historian, medievalist and archaeologist

Thomas Thewes (1931–2008), American business executive

Hans Thewissen (born c.1960), Dutch-born American paleontologist

Rachelle Thiewes (born 1952), American jeweler and metal artist

Hans Thewissen
Johannes Gerardus Marie (Hans) Thewissen is a Dutch-American paleontologist known for his significant contributions to the field of whale evolution. Thewissen's fieldwork has led to the discovery of key fossils that have shed light on the transition of whales from land to water, including the discovery of Ambulocetus, Pakicetus, and Kutchicetus. In addition to his work on fossil discoveries, Thewissen also studies modern bowhead and beluga whales in Alaska, focusing on their biology and the implications of this knowledge for management and conservation efforts. His research has been instrumental in deepening our understanding of cetacean evolution and the adaptations that allowed these mammals to transition from terrestrial to fully aquatic lifestyles.
Hohner Harde
Hohner Harde is an Amt ("collective municipality") in the district of Rendsburg-Eckernförde, in Schleswig-Holstein, Germany. It is situated approximately 10 km west of Rendsburg. The seat of the Amt is in Hohn.

Hohner Harde consists of the following municipalities:

Bargstall

Breiholz

Christiansholm

Elsdorf-Westermühlen

Friedrichsgraben

Friedrichsholm

Hamdorf

Hohn

Königshügel

Lohe-Föhrden

Prinzenmoor

Sophienhamm

Rendsburg-Eckernförde
Rendsburg-Eckernförde (German pronunciation: [ˈʁɛnt͡sˌbʊʁk ɛkɐnˈføːɐ̯də] ⓘ; Danish: Rendsborg-Egernførde) is a district in Schleswig-Holstein, Germany. It is bounded by (from the east and clockwise) the city of Kiel, the district of Plön, the city of Neumünster, the districts of Segeberg, Steinburg, Dithmarschen and Schleswig-Flensburg, and the Baltic Sea.
North City, San Diego
32°58′23.66″N 117°14′17.58″W﻿ / ﻿32.9732389°N 117.2382167°W﻿ / 32.9732389; -117.2382167
North City is a neighborhood in San Diego, California, bordered by Solana Beach and Rancho Santa Fe to the north, Del Mar Heights to the west, and Carmel Valley to the south. I-5 forms the western boundary. The name is almost never used by local residents as the area is already included in either Rancho Santa Fe or Carmel Valley. The name is almost exclusively used by the San Diego Police Department for zoning.

Solana Beach, California
Solana Beach (Solana, Spanish for "sunny side") is a beach city in San Diego County, California, on the South Coast. Its population was at 12,940 at the 2020 U.S. census, up from 12,867 at the 2010 census.
Virpi Butt
Lucrezia Francesca Pandora Butt (formerly Virpi Sanna Sinikka Butt (Finnish pronunciation: [ˈvirpi butː]); August 9, 1972 – November 22, 2021) was a Finnish murderer and suspected serial killer. She first became known as Timantti in the 1993-94 season of the television series Gladiaattorit.

Pirkkala
Pirkkala (Finnish: [ˈpirkːɑlɑ]; Swedish: Birkala) is a municipality in Finland, located in the Pirkanmaa region. It lies to the southwest of the regional capital, Tampere. The population of Pirkkala is approximately 21,000, while the metropolitan area has a population of approximately 424,000. It is the 48th most populous municipality in Finland.

Pirkkala has an area of 104.04 square kilometres (40.17 sq mi) of which 22.66 km2 (8.75 sq mi) is water. The population density is 259.08 inhabitants per square kilometre (671.0/sq mi), which makes it the most densely populated municipality in Finland that does not use the title of town or city. Pirkkala is also currently the fastest-growing municipality in the Pirkanmaa region. The municipality is unilingually Finnish.

Tampere-Pirkkala Airport is located in southwest Pirkkala. The most significant main road in Pirkkala is Tampere Ring Road.
Innenstadt (Braunschweig)
The Innenstadt (German pronunciation: [ˈɪnənˌʃtat] ⓘ, lit. 'Inner City') is the central Stadtbezirk (borough) of Braunschweig, Germany. The district consists of five formerly independent city municipal areas (Altewiek, Altstadt, Hagen, Neustadt, and Sack), and is surrounded by the river Oker and in area nearly identical to the medieval city of Braunschweig.

Oker
The Oker (pronounced [ˈoːkɐ]) is a river in Lower Saxony, Germany, that has historically formed an important political boundary. It is a left tributary of the River Aller, 128 kilometres (80 mi) in length and runs in a generally northerly direction.
Artem Chubarov
Artyom Andreyevich "Artemis" Chubarov (Russian: Артём Андреевич Чубаров; born December 13, 1979) is a Russian former professional ice hockey player. He last played with HC Dynamo Moscow of the Kontinental Hockey League (KHL). He also played for the Vancouver Canucks of the National Hockey League (NHL) and for their minor league affiliates in both the International Hockey League and American Hockey League.

International Hockey League
The International Hockey League (IHL) was a minor professional ice hockey league in the United States and Canada that operated from 1945 to 2001. The IHL served as the National Hockey League (NHL)'s alternate farm system to the American Hockey League (AHL). After 56 years of operation, financial instability led to the league's demise. Six of the surviving seven teams merged into the AHL in 2001.
Transport in Lincolnshire
Lincolnshire is a large county in England with a sparse population distribution, which leads to problems funding all sorts of transport.  The transport history is long and varied, with much of the road network still based on the Roman model, and the once extensive rail network a shadow of its former self.

River Trent
The Trent, the third-longest river in the United Kingdom, has its source in Staffordshire, on the southern edge of Biddulph Moor. It flows through and drains the North Midlands into the Humber Estuary. The river is known for dramatic flooding after storms and spring snowmelt, which in the past have often caused the river to change course.

The river passes through Stoke-on-Trent, Stone, Staffordshire, Rugeley, Burton-upon-Trent, Nottingham, Newark-on-Trent and Gainsborough before joining the Yorkshire Ouse at Trent Falls to form the Humber Estuary, which empties into the North Sea between Kingston upon Hull in Yorkshire and Immingham in Lincolnshire. The wide Humber estuary has often been characterised as the boundary between the Midlands and Northern England ("The North").
Action of 17 November 1865
The action of 17 November 1865 was a minor naval engagement that took place off Tomé, during the Chincha Islands War. Chilean tugboat Independencia captured a Spanish gunboat who belonged to the frigate Resolución.

Tomé
Tomé (Spanish pronunciation: [toˈme]) is a port city and commune in the Biobío Region of Chile. It is bordered by Coelemu to the north, Ránquil and Florida to the east, Penco to the south, and the Pacific Ocean to the west. The local economy is based mainly on textile manufacturing and fishing industry.
Ostrogozhsk–Rossosh offensive
The Ostrogozhsk–Rossosh offensive (Russian: Острогожско-Россошанская операция) was an offensive of the Voronezh Front on the Eastern Front of World War II against the Hungarian 2nd Army and parts of the Italian 8th Army as part of the Voronezh–Kharkov offensive.

The offensive came after Operation Little Saturn, made in support of the Stalingrad encirclement. The offensive was supported from the south by the right flank of the Soviet 6th Army and the 3rd Tank Army of Pavel Rybalko.

6th Guards Combined Arms Army
The 6th Guards Combined Arms Army (Russian: 6-я гвардейская общевойсковая армия) is a field army of the Red Army and the Soviet Army that was active with the Russian Ground Forces until 1998 and has been active since 2010 as the 6th Combined Arms Army (MUN в/ч 31807).

It was first formed in August 1939 in the Kiev Special Military District from the Volochiskaya Army Group (a corps-sized formation).
Newtown area graffiti and street art
Since the 1980s, the area surrounding the Sydney inner west suburb of Newtown, Australia, including the suburbs of Enmore, Erskineville, Camperdown, and St Peters, has been known for its wide range of prominent graffiti and street art on walls. The public visual art in the Newtown area consists of a variety of styles and methods of execution, including large-scale painted murals, hand-painted (or sprayed) political slogans, hand-painted figurative designs, spray painted semi-abstract designs (including large-scale and elaborate semi-pictorial) "tags"), and other stylistic developments such as stencil art and street poster art (also known as "wheatpasting"), "Yarn bombing", and sculptural items cast from plaster and other materials.

Enmore, New South Wales
Enmore is a suburb in the Inner West of Sydney, in the state of New South Wales, Australia. Enmore is located 5 kilometres (3.1 mi) south-west of the Sydney central business district and is part of the local government area of Inner West Council. Like Newtown, Enmore is mostly comprises Victorian era buildings, namely in its commercial area, that provide a hint of the suburb's rich cultural heritage.
Railer (album)
Railer is the ninth studio album by American skate punk band Lagwagon, released on 4 October 2019 by Fat Wreck Chords on CD and LP. It's their first studio album in five years since Hang, which was released in 2014.

Fat Wreck Chords
Fat Wreck Chords (pronounced "Fat Records") is an independent record label based in San Francisco focused on punk rock. It was started by NOFX lead singer Michael Burkett (better known as Fat Mike) and his wife at the time, Erin Burkett in 1990. As of 2009, Fat Wreck Chords released over 300 studio albums.
Johann Jacob Roemer
Johann Jacob Roemer (8 January 1763, Zürich – 15 January 1819) was a Swiss physician and professor of botany in Zürich, Switzerland. He was also an entomologist.

With Austrian botanist Joseph August Schultes, he published the 16th edition of Carl Linnaeus' Systema Vegetabilium.

Roemer's Genera insectorum is a most attractive Swiss publication on entomology. The splendid hand-coloured plates were drawn and engraved by the Swiss artist J.R. Schellenberg, an entomologist himself and therefore familiar with structural details.

In 1793, he was elected a foreign member of the Royal Swedish Academy of Sciences. The botanical genus Roemeria from the family Papaveraceae is named after him.

Roemeria
Roemeria is a genus of flowering plants in the family Papaveraceae, native to Macaronesia, Europe, the Mediterranean, North Africa, the Caucasus, the Middle East, the Arabian Peninsula, Central Asia, the western Himalayas, Pakistan, Xinjiang, and Mongolia. A 2006 molecular analysis revised the taxonomy of Papaver, elevating Roemeria to the genus level, and including the species formerly in Papaver sect. Argemonidium.
Blanchardia
Blanchardia is a genus of flowering plants in the family Malvaceae. It includes a single species, Blanchardia clypeata, a shrub or tree which ranges from Texas through eastern Mexico to Guatemala and the Caribbean Islands.

The species was first described as Hibiscus clypeatus by Carl Linnaeus in 1759. Phylogenetic analyses revealed that the large genus Hibiscus was polyphyletic, and in Margaret M. Hanes and Russell Lindsay Barrett placed the species in the newly described monotypic genus Blanchardia as Blanchardia clypeata.

Three subspecies are accepted.

Blanchardia clypeata subsp. clypeata – Texas, eastern Mexico, Guatemala, and Caribbean

Blanchardia clypeata subsp. cryptocarpa (A.Rich.) M.M.Hanes & R.L.Barrett – Cuba

Blanchardia clypeata subsp. membranacea (Cav.) M.M.Hanes & R.L.Barrett – Bahamas, Cuba, and Tortuga (Haiti)

Tortuga (Haiti)
Tortuga Island (French: Île de la Tortue, IPA: [il də la tɔʁty]; Haitian Creole: Latòti; Spanish: Isla Tortuga, IPA: [ˈisla toɾˈtuɣa], 'Turtle Island') is a West Indian island that forms part of Haiti, off the northwest coast of Hispaniola. It constitutes the commune of Île de la Tortue in the Port-de-Paix arrondissement of the Nord-Ouest department of Haiti.

Tortuga is 180 square kilometres (69 square miles) in size and had a population of 25,936 at the 2003 census. In the 17th century, Tortuga was a major center and haven of Caribbean piracy. Its tourism industry and references in many works have made it one of the most recognized regions of Haiti.
Jennifer Jankel
Jennifer Anne Jankel (born May 1940)  is a retired British businesswoman and, since 2011, chair of the Jewish Music Institute in London. The daughter of bandleader Joe Loss and his wife Mildred, she was educated in London at St Paul's Girls' School, Hammersmith and the Lycée Français Charles de Gaulle in South Kensington. She became UK managing director  and, later, vice-president of French shoe company Charles Jourdan before opening her own shoe business, Luc Berjen. Examples of her shoes are now in the collections of the Victoria and Albert Museum.

She was married to the car designer Robert Jankel from 1962 until his death in 2005. The couple, who had three sons and a daughter together, were founder members of North West Surrey Synagogue in  Weybridge, of which she is now president.

St Paul's Girls' School
St Paul's Girls' School is a private day school for girls, aged 11 to 18, in Brook Green, Hammersmith, in West London, England.

The school is included in The Schools Index as one of the world's 150 best private schools and among top 30 UK senior schools. In 2025 SPGS was named the London Independent School of the Year for Academic Excellence and the Independent School of the Year by Academic Excellence by The Sunday Times.
Látal
Látal (feminine Látalová) is a Czech surname. Notable people with the surname include:

Jan Látal (born 1990), Czech ice hockey player

Jiří Látal (born 1967), Czech ice hockey player

Martin Látal (born 1988), Czech ice hockey player

Ondřej Látal (born 1981), Czech ice hockey player

Radoslav Látal (born 1970), Czech football player and manager

Stanislav Látal (1919-1994), Czech animator and puppet-film maker

Martin Látal
Martin Látal  (born March 17, 1988) is a Czech professional ice hockey forward who last played for the Fife Flyers of the UK Elite Ice Hockey League (EIHL). He was selected by the Phoenix Coyotes in the 5th round (131st overall) of the 2006 NHL Entry Draft.

Látal first played with HC Kladno in the Czech Extraliga during the 2005–06 Czech Extraliga season.