hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
DPLL(T)
In computer science, DPLL(T) is a framework for determining the satisfiability of SMT problems. The algorithm extends the original SAT-solving DPLL algorithm with the ability to reason about an arbitrary theory T. At a high level, the algorithm works by transforming an SMT problem into a SAT formula where atoms are replaced with Boolean variables. The algorithm repeatedly finds a satisfying valuation for the SAT problem, consults a theory solver to check consistency under the domain-specific theory, and then (if a contradiction is found) refines the SAT formula with this information.

Many modern SMT solvers, such as Microsoft's Z3 Theorem Prover and CVC4, use DPLL(T) to power their core solving capabilities.

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.
1969 British Honduras general election
General elections were held in British Honduras in December 1969. Citizens elected 18 members to the British Honduras Legislative Assembly for a term of five years.

The ruling People's United Party (PUP) won 17 of the 18 seats in the elections, increasing its large majority. Among the opposition only Philip Goldson, leader of the National Independence Party, retained his seat.

Philip Goldson
Philip Stanley Wilberforce Goldson (25 July 1923 – 3 October 2001) was a Belizean newspaper editor, activist and politician. He served in the House of Representatives of Belize as member for the Albert constituency from 1965 to 1998 and twice as a minister. Goldson was a founding member of both of Belize's current major political parties, the People's United Party (PUP) in the 1950s and the United Democratic Party (UDP) in the 1970s. He was also the leading spokesman of the hardline anti-Guatemalan territorial claims National Alliance for Belizean Rights party in the 1990s.
Pianelli
Pianelli is an Italian surname. Notable people with the surname include:

José Eduardo Pianelli (born 1963), Brazilian footballer

Guillaume Pianelli (born 1998), French soccer player

Vittorio Rossi Pianelli (1875–1953), Italian stage and film actor and director.

Vittorio Rossi Pianelli
Vittorio Rossi Pianelli (9 July 1875 – 25 September 1953) was an Italian stage and film actor and director. He was a prominent figure in early Italian film, appearing in over fifty silent films before 1930. His final appearance was in The Count of Brechard (1940).

A notable role was in Love Everlasting (1914). The film is one of the most important early Italian films. He also directed several films during the 1910s.
Basqala
Basqala (Arabic: بسقلا)  is a Syrian village located in Kafr Nabl Nahiyah in Maarrat al-Nu'man District, Idlib.  According to the Syria Central Bureau of Statistics (CBS), Basqala had a population of 2,673 in the 2004 census.

Maarat al-Numan District
Maarat al-Numan District (Arabic: مِنْطَقَة مَعَرَّةُ نُعْمَانِ, romanized: Manṭiqat Maʿarrat Nuʿmān) is a district of the Idlib Governorate in northwestern Syria. The administrative centre is the city of Maarat al-Numan. At the 2004 census, the district had a population of 371,829.
Mawlid in Algeria
In Algeria, the Day of Mawlid (Arabic: يوم المولد النبوي; meaning the Birth of Muhammad) has been traditionally a day of celebration and joy, because Mawlid is celebrated on the twelfth day of Rabiʽ al-Awwal across the Muslim world. Algerian people, however, embrace this day with cheerful remembrance of those who have died, and it is a custom to pay visit to cemetery in order to pray for the departed ones.

Couscous
Couscous (Arabic: كُسْكُس, romanized: kuskus) is a traditional North African dish of small steamed granules of rolled semolina that is often served with a stew spooned on top. Pearl millet, sorghum, bulgur, and other cereals are sometimes cooked in a similar way in other regions, and the resulting dishes are also sometimes called couscous.: 18

Couscous is a staple food throughout the Maghrebi cuisines of Algeria, Tunisia, Mauritania, Morocco, and Libya.: 250  It was integrated into French and European cuisine at the beginning of the twentieth century, through the French colonial empire and the Pieds-Noirs of Algeria.

In 2020, couscous was added to UNESCO's Intangible Cultural Heritage list.
Sayany-Khakassia
Sayany-Khakassia (Russian: Саяны-Хакасия) is a bandy club in Abakan, Russia, founded in 1980. The club was playing in the top-tier Super League in the 2012–13 season but was relegated to the second-tier Supreme League for the 2013–14 season. Until 2009 the name of the club was Sayany.

Russian Bandy Supreme League
Russian Bandy Supreme League or the Vysshaya Liga (Russian: Всероссийские соревнования Высшая лига) is the second tier of Russian bandy, below Russian Bandy Super League.

In the 2016–17 season, 23 teams competed in three groups.

In the 2022/23 season, 22 teams competed in four groups. The teams play around 24 games and move to a Group A & Group B play-off section. From here the quarter-finals, semi-finals and finals are all single elimination games. The seasons generally runs from December to the finals in March.

The league is mainly a development league as can be seen by the number of affiliated clubs, named Rodina-2 for example, although a few independent clubs are present.
Safe Humane Chicago
Safe Humane Chicago is a nonprofit animal advocacy organization founded in 2008 by animal rights advocate Cynthia Bathurst. The nonprofit works to educate youth on animal safety and seeks justice for dogs that have been confiscated by law enforcement by placing them in foster care to later be adopted into new homes.

Cynthia Bathurst
Cynthia Bathurst (born in Albion, Michigan) is an animal welfare advocate, winner of a national veterinary award, and founder and CEO of Safe Humane, also doing business as Safe Humane Chicago, a nonprofit which includes the first of its kind Court Case Dog Program.
Concerto for Orchestra (Previn)
André Previn's Concerto for Orchestra was written in 2016 on a commission by then Executive Director Peter H. Gistelinck on behalf of the Kalamazoo Symphony Orchestra underwritten by the Robert and Marianne Denes Fund in celebration of the ensemble's centennial 2020–2021 concert season. Its world premiere was given by the Kalamazoo Symphony Orchestra conducted by Julian Kuerti in Kalamazoo, Michigan, on June 4, 2022. The piece was Previn's last composed concerto before his death in 2019 at the age of 89.

Kalamazoo Symphony Orchestra
The Kalamazoo Symphony Orchestra (KSO) was founded in 1921 and is the third largest professional orchestra in Michigan. During the 2005–2006 concert season, the orchestra played for more than 100,000 people in more than 30 concerts. The orchestra's main venue is Western Michigan University's Miller Auditorium in Kalamazoo, MI.
Wood Lake, Louisiana
Wood Lake (Spanish: Monte Lacre [ˈmonte ˈlakɾe]; French: Bois du Lac) is an Isleño fishing community in St. Bernard Parish, Louisiana, United States. The community is situated along Bayou Terre-aux-Boeufs to the northeast of Delacroix, Louisiana and west of Lake Lery. Following the American Civil War, the community was founded by Isleño hunters, trappers, and fisherman.

St. Bernard Parish, Louisiana
St. Bernard Parish (French: Paroisse de Saint-Bernard; Spanish: Parroquia de San Bernardo) is a parish in the U.S. state of Louisiana. The parish seat and largest community is Chalmette. The parish was formed in 1807. St. Bernard Parish is part of the New Orleans–Metairie metropolitan statistical area; the parish is located southeast of the city of New Orleans and comprises the Chandeleur Islands and Chandeleur Sound in the east.

St. Bernard was the fastest growing parish in Louisiana from 2010 to 2020, increasing from a population of 35,897 in the 2010 census to 43,764 in 2020. It remains at less than two-thirds of its 2000 population of 67,229, prior to Hurricane Katrina.
Stanford Shopping Center
Stanford Shopping Center is an upscale open air shopping mall located on Route 82 (El Camino Real) at Sand Hill Road in Palo Alto, California.  It is on the campus of Stanford University although the university only owns the land and not the actual buildings or stores. Also, unlike the main academic campus, the shopping center and the neighboring Stanford University Medical Center are part of the city of Palo Alto, not the census-designated place (CDP) of Stanford, California. The shopping center buildings are 94.4% owned by Simon Property Group, which manages the property and leases the land from the university.

The outdoor center is 1,347,935 square feet (125,227.3 square meters) and includes four major department stores: Bloomingdale's, Macy's, Neiman Marcus, and Nordstrom. Retailers at the shopping center include Louis Vuitton, Tiffany & Co., Burberry, Ermenegildo Zegna, and Frette, as well as the first Victoria's Secret retail store.

California State Route 82
State Route 82 (SR 82) is a state highway in the U.S. state of California that runs from Interstate 880 (I-880) in San Jose to I-280 in San Francisco following the San Francisco Peninsula. It is the spinal arterial road of the peninsula and runs parallel to the nearby Caltrain line along much of the route. For much of its length, the highway is named El Camino Real and formed part of the historic El Camino Real mission trail. It passes through and near the historic downtowns of many Peninsula cities, including Burlingame, San Mateo, Redwood City, Menlo Park, Palo Alto, Mountain View, Sunnyvale, and Santa Clara, and through some of the most walkable and transit-oriented neighborhoods in the region.
Manulife LPGA Classic
The Manulife LPGA Classic was a women's professional golf tournament on the LPGA Tour. The 72-hole, full-field event was first played in June 2012 at the Grey Silo Golf Course in Waterloo, Ontario, Canada. The title sponsor was Manulife Financial, a global insurance company and financial services provider with headquarters in Toronto.

At the inaugural event in 2012, Brittany Lang won her first LPGA title in a four-way sudden-death playoff. It was the first-ever win on the tour by an alumna of Duke. The runners-up were Hee Kyung Seo, Inbee Park, and Chella Choi. After missing a birdie putt at the par-5 18th to win in regulation, Lang birdied the same hole three straight times in the playoff.

In 2015, the tournament moved to Whistle Bear Golf Club in Cambridge, about 18 km south of Grey Silo GC, where it remained for 2016 and 2017.

In 2017, the Manulife LPGA Classic was announced to become Manulife's final tournament as the title sponsor and a new one was never found.

Chella Choi
Woon-jung "Chella" Choi (born 25 August 1990) is a South Korean professional golfer.

Choi played on the Duramed Futures Tour in 2008 with a best finish of T-2 at the Bright House Networks Open. She earned her 2009 LPGA Tour card at LPGA Final Qualifying Tournament, having to earn her card through a playoff.

Her first professional victory came on 19 July 2015, at the LPGA Tour's Marathon Classic, where she defeated Jang Ha-na in a playoff. The win happened after seven years and 157 LPGA Tour events. For the first eight years of Choi's professional career, her father was her caddie and vowed to remain until she won.
Muzzle velocity
Muzzle velocity is the speed of a projectile (bullet, pellet, slug, ball/shots or shell) at the moment it leaves the end of a gun's barrel (i.e. the muzzle). Firearm muzzle velocities range from approximately 120 m/s (390 ft/s) to 370 m/s (1,200 ft/s) in black powder muskets, to more than 1,200 m/s (3,900 ft/s) in modern rifles with high-velocity cartridges such as the .220 Swift and .204 Ruger, all the way to 1,700 m/s (5,600 ft/s) for tank guns firing kinetic energy penetrator ammunition. To simulate orbital debris impacts on spacecraft, NASA launches projectiles through light-gas guns at speeds up to 8,500 m/s (28,000 ft/s).
Several factors, including the type of firearm, the cartridge, and the barrel length, determine the bullet's muzzle velocity.

.204 Ruger
The .204 Ruger / 5.2x47mm is a centerfire rifle cartridge developed by Hornady and Ruger.  At the time of its introduction in 2004, the .204 Ruger was the second-highest velocity commercially produced ammunition and the only centerfire cartridge produced commercially for bullets of .204 inch/5 mm caliber.
Oscar Traynor Centre
The Oscar Traynor Centre (Irish: Ionad Oscar Mac Thréinfhir) is an association football venue in Coolock, Northside, Dublin, Ireland. The ground has been home to Women's National League club Bohemians since 2020.

The centre includes a grass pitch, with a sprinkler and drainage system, and an all-weather artificial soccer pitch with flood lighting.

Northside, Dublin
The Northside (Irish: Taobh Ó Thuaidh) in an informal but commonly used term to describe the part of the city of Dublin that lies to the north of the River Liffey, and extending into part of North County Dublin. The part outside the city is within the county of Fingal, a local government area established in 1994. While it is sometimes regarded as less wealthy than the city's Southside, the Northside was originally the home of the city's upper classes and the more privileged of the two. Today, some of the wealthiest areas in Ireland, such as Malahide, Howth, Clontarf, and Castleknock, lie north of the river.
2018 Kentucky Bank Tennis Championships – Men's doubles
Alex Bolt and Max Purcell were the defending champions but only Purcell chose to defend his title, partnering Lloyd Harris. Purcell lost in the semifinals to Joris De Loore and Marc Polmans.

Robert Galloway and Roberto Maytín won the title after defeating De Loore and Polmans 6–3, 6–1 in the final.

Joris De Loore
Joris De Loore (born 21 April 1993) is a Belgian professional tennis player. He has a career-high ATP singles ranking of world No. 142, achieved on 6 November 2023 and a doubles ranking of No. 263, achieved on 24 December 2018. He competes mainly on the ATP Challenger Tour.

De Loore has represented Belgium at the Davis Cup where he has a W/L record of 3–4.
Jorge González Ilescas
Jorge Venustiano González Ilescas (born 30 December 1956) is a Mexican politician from the Institutional Revolutionary Party. He has served as Deputy of the LIV and LXI Legislatures of the Mexican Congress representing Oaxaca.

LXI Legislature of the Mexican Congress
The LXI Legislature of the Congress of the Union, the 61st session of the Congress of Mexico, met from 1 September 2009 to 31 August 2012. Members of the upper house of the Congress were selected in the elections of July 2006 while members of the lower house of the Congress were selected in the elections of July 2009.
Elemér Pászti
Elemér Pászti (born 20 December 1889 in Szolnok – 27 October 1965 in Budapest) was a Hungarian gymnast who competed at the 1912 Summer Olympics and the 1928 Summer Olympics.

He was part of the Hungarian team, which won the silver medal in the gymnastics men's team European system event in 1912. In the individual all-around competition he finished 13th.

Gymnastics at the 1912 Summer Olympics – Men's artistic individual all-around
The men's artistic individual all-around was an artistic gymnastics event held as part of the Gymnastics at the 1912 Summer Olympics programme. The competition was held on 12 July at the Stockholm Olympic Stadium. It was the fourth appearance of the event. There were 44 competitors from 9 nations. Each nation was limited to 6 gymnasts (a marked reduction from the 20 permitted in 1908). The event was won by Alberto Braglia of Italy, the first man to successfully defend a title in the artistic individual all-around. The bronze medalist from 1908, Louis Ségura, this time took silver. Braglia and Ségura were the first two men to win multiple medals in the event. Italian Adolfo Tunesi earned bronze.

As in 1908, the individual results were not considered for any of the team competitions. As in 1900 and 1908, there were no separate apparatus events.
Hoeks
Hoeks (Dutch: [ɦuks], from hoek, meaning corner) is a Dutch surname. Notable people with the surname include:

Eduard Hoeks (born 1952), Dutch diplomat

Sylvia Hoeks (born 1983), Dutch actress and model

Eduard Hoeks
Eduard Wilhelmus Vincent Maria Hoeks is a Dutch diplomat. He was born in Breda (9 November 1952), he studied in Amsterdam and served forty two years for the Ministry of Foreign Affairs, mainly at Embassies abroad. His last function was Ambassador in Ukraine from 2017 to 2019.
Andrzej Wołkowski
Andrzej Karol Wołkowski (14 February 1913 – 4 March 1995), was a Polish ice hockey player. He played for Sokół Kraków, Cracovia, Ogniwo Kraków, Gwardia Kraków, and Sparta Nowy Targ during his career. With Cracovia Wołkowski won the Polish league championship three times, in 1937, 1946, and 1947. He also played for the Polish national team at the 1936 Winter Olympics, and multiple World Championships. After his playing career, he became a coach, winning the 1965 Polish league championship with Podhale Nowy Targ. He was also awarded the Knight's Cross of the Order of Polonia Restituta.

Poland men's national ice hockey team
The Poland national men's ice hockey team is the national ice hockey team of Poland, and a member of the International Ice Hockey Federation. They are ranked 21st in the world in the IIHF World Rankings, but prior to the 1980s they were ranked as high as 6th internationally. They are one of eight countries never to have played below the Division I (former B Pool) level. As of 2024 the Polish national team plays at the top level of the World Championship.

Poland has competed in the Olympics thirteen times, most recently in 1992, with their best result being fourth place in 1932. They have been a regular participant of the World Championship, first appearing in 1930 and having appeared in all but one tournament since 1955. They frequently played in the top division, though were in Division I after being relegated in 2002. Poland made a return to the top division of the World Championship for 2024.
The Loving Spirit
The Loving Spirit was the first novel of Daphne du Maurier and was published in 1931 by William Heinemann. The book takes its name from a line in the poem "Self-Interrogation" by Emily Brontë.

Daphne du Maurier began work on the book in October 1929 at Ferryside, the du Maurier's holiday home in Bodinnick, Cornwall. Ferryside is close to the harbour town of Polruan and opposite Fowey on the south coast of Cornwall.

Fowey
Fowey (/ˈfɔɪ/ ⓘ FOY; Cornish: Fowydh, meaning beech trees) is a port town and civil parish at the mouth of the River Fowey in south Cornwall, England, United Kingdom. The town has been in existence since well before the Norman invasion, with the local church first established some time in the 7th century; the estuary of the River Fowey forms a natural harbour which enabled the town to become an important trading centre. Privateers also made use of the sheltered harbourage. The Lostwithiel and Fowey Railway brought China clay here for export. At the 2021 census the population of the parish was 2,244 and the population of the built up area was 2,069.
Houserville, Pennsylvania
Houserville is an unincorporated community and census-designated place (CDP) in Centre County, Pennsylvania, United States. It is part of the State College, Pennsylvania Metropolitan Statistical Area. The population was 1,814 at the 2010 census.

Pennsylvania Route 26
Pennsylvania Route 26 (PA 26) is a 125.5-mile (202.0 km) highway in the south-central area of Pennsylvania. Its northern terminus is at PA 150 northwest of Howard; its southern terminus is at the Maryland state line near Barnes Gap in Union Township. Two major destinations along this route are Raystown Lake near Huntingdon and the Pennsylvania State University at State College.

In State College, the road divides into a one-way pair, going northbound on Beaver Avenue and going southbound on College Avenue.  The Centre Area Transportation Authority uses these two routes for their Campus Loop and the Town Loop.

As of February 22,2025, a 3.6-mile (5.8 km) portion of PA 26 is concurrent with the northernmost stretch of Interstate 99 (I-99) north of State College between Pleasant Gap and south of I-80.  The route also passes by two state penitentiaries: the State Correctional Institution – Rockview in Pleasant Gap and State Correctional Institution – Huntingdon, near Huntingdon.
NOAAS Rude
NOAAS Rude (S 590) was an American Rude-class hydrographic survey ship that was in commission in the National Oceanic and Atmospheric Administration (NOAA) from 1970 to 2008. Prior to her NOAA career, she was in commission in the United States Coast and Geodetic Survey from 1967 to 1970 as USC&GS Rude (ASV 90). She was named for Gilbert T. Rude, former Chief of the Division of Coastal Surveys of the Coast and Geodetic Survey.

In 2008, NOAA decommissioned Rude and transferred her to the United States Environmental Protection Agency (EPA). Renamed US EPA Lake Explorer II, she entered EPA service as a research ship in 2009.

Survey vessel
A survey vessel is any type of ship or boat that is used for underwater surveys, usually to collect data for mapping or planning underwater construction or mineral extraction. It is a type of research vessel, and may be designed for the purpose, modified for the purpose or temporarily put into the service as a vessel of opportunity, and may be crewed, remotely operated, or autonomous. The size and equipment vary to suit the task and availability.
Léon Rasalama
Léon Rasalama is a Malagasy politician and president of the basketball club SEBAM from Mahajanga. A member of the National Assembly of Madagascar, he was elected as a member of the Tiako I Madagasikara party; he represents the second constituency of Mahajanga II (district).

He was reelected in the 2019 Malagasy parliamentary elections being affiliated to IRD.
He is the president of the Commission of Public Works.

In 2010 three trucks owned by Rasalama with illegally cut rosewood were seized in Mahajanga.

2019 Malagasy parliamentary election
Parliamentary elections were held in Madagascar on 27 May 2019 to elect the 151 members of the National Assembly. They followed  presidential elections held in November and December 2018, which saw Andry Rajoelina return to power as President of Madagascar after defeating Marc Ravalomanana in a runoff.

The result was a decisive victory for Young Malagasies Determined, which won 84 of the 151 seats, allowing them to form a majority government, replacing the previous coalition government formed after the previous elections. The opposition party Tiako i Madagasikara (TIM), led by Marc Ravalomanana won 16 seats, while five small parties secured one seat each. Independent candidates also performed strongly, winning 46 seats.