hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Peirce's law
In logic, Peirce's law is named after the philosopher and logician Charles Sanders Peirce.  It was taken as an axiom in his first axiomatisation of propositional logic.  It can be thought of as the law of excluded middle written in a form that involves only one sort of connective, namely implication.

In propositional calculus, Peirce's law says that ((P→Q)→P)→P.  Written out, this means that P must be true if there is a proposition Q such that the truth of P follows from the truth of "if P then Q".

Peirce's law does not hold in intuitionistic logic or intermediate logics and cannot be deduced from the deduction theorem alone.

Under the Curry–Howard isomorphism, Peirce's law is the type of continuation operators, e.g. call/cc in Scheme.

Intermediate logic
In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic.  Classical logic is the strongest consistent superintuitionistic logic; thus, consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic).
Air Mobility Rodeo
The Air Mobility Rodeo was a biennial, international airlift competition hosted by the United States Air Force (USAF) Air Mobility Command (AMC).  AMC gathers wings from active duty, reserve, and Air National Guard units from across the United States and around the world to test and improve tactics in a competitive environment.  In this environment units are able to demonstrate capabilities, improve procedures, compare notes, and enhance standardization for global operations.

The final Air Mobility Rodeo was held at McChord Air Force Base, during July 2011. The USAF decided to replace it with a new AMC exercise called Mobility Guardian. The first Mobility Guardian exercise took place 30 July to 12 August 2017 at JB Lewis-McChord

McChord Field
McChord Field (formerly and still commonly known as McChord Air Force Base) is a United States Air Force base in the northwest United States, in Pierce County, Washington. South of Tacoma, McChord AFB is the home of the 62nd Airlift Wing, Air Mobility Command, the airbase's primary mission being worldwide strategic airlift.

The McChord AFB facility was consolidated with the U.S. Army's Fort Lewis on 1 February 2010 to become part of the Joint Base Lewis-McChord complex. This initiative was driven by the Base Realignment and Closure Round in 2005 and is designed to combine current infrastructure into one maximizing war fighting capability and efficiency, while saving taxpayer dollars.
Charles Cryer Theatre
The Charles Cryer Theatre is a studio theatre located in the High Street in Carshalton in the London Borough of Sutton. The theatre is named after the man who led the campaign to open the Secombe Theatre in neighbouring Sutton.
 It was opened by Prince Edward in 1991. It closed in 2016, but in November 2019 it reopened under new management.

Secombe Theatre
The Secombe Theatre (originally the Secombe Centre) was a theatre in Cheam Road, Sutton, Greater London. The theatre was opened in 1983 by the Welsh comedian Sir Harry Secombe, who lived in Sutton for over 30 years, and was named after him. The theatre went into administration and closed in August 2016. A petition to save Sutton's theatres was run in late 2016, gaining 1,350 signatures. In October 2022 Sutton Council announced its plans to sell off the Secombe Theatre “the disused Secombe Theatre - will be sold and could be used for new homes, including affordable housing.”
2023 Cantabrian regional election
The 2023 Cantabrian regional election was held on Sunday, 28 May 2023, to elect the 11th Parliament of the autonomous community of Cantabria. All 35 seats in the Parliament were up for election. It was held concurrently with regional elections in eleven other autonomous communities and local elections all throughout Spain.

Parliament of Cantabria
The Parliament of Cantabria is the unicameral legislature of the autonomous community of Cantabria. It consists of 35 members called "deputies" which are freely elected by the citizens of the region. The Parliament convenes at the Saint Raphael Hospital, an 18th-century building in the city of Santander rehabilitated in the 1980s to house the Regional Assembly.

Prior to 1998, the Parliament was called Regional Assembly of Cantabria.

Following the 2023 Cantabrian regional election, the People's Party has the plurality of seats and is the governing party.
A Dictionary of American Sign Language on Linguistic Principles
A Dictionary of American Sign Language on Linguistic Principles (DASL) is the first American Sign language (ASL) dictionary written by William C. Stokoe, Dorothy C. Casterline, and Carl G. Croneberg. It was first published in 1965 by the Gallaudet College Press. The dictionary introduces a new notation system, Stokoe notation, to represent ASL signs independently from English translation.

William Stokoe
William Clarence “Bill” Stokoe Jr. (/ˈstoʊkiː/ STOH-kee; July 21, 1919 – April 4, 2000) was an American linguist and a long-time professor at Gallaudet University. His research on American Sign Language (ASL) revolutionized the understanding of ASL in the United States and sign languages throughout the world. Stokoe's work led to a widespread recognition that sign languages are true languages, exhibiting syntax and morphology, and are not only systems of gesture.
Samantha Smith (tennis)
Samantha Smith (born 27 November 1971) is an English former professional tennis player, who was the British ladies' No. 1 from 1996 to 1999. She now commentates on the game, predominantly for the BBC, ITV, Sky Sports, BT Sport, Eurosport & Amazon Prime and for 17 consecutive years since 2009 in Australia on the Australian Open for the Seven Network and since 2019 the Nine Network.

BBC Sport
BBC Sport is the sports division of the BBC, providing national sports coverage for BBC television, radio and online. The BBC holds the television and radio UK broadcasting rights to several sports, broadcasting the sport live or alongside flagship analysis programmes such as Match of the Day, Test Match Special, Ski Sunday and Today at Wimbledon. Results, analysis and coverage is also added to the BBC Sport website and through the BBC Red Button interactive television service.
Fale Burman
Lieutenant General Fale Faleson Burman (12 January 1903 – 6 September 1973) was a Swedish Army officer. Burman’s military career spanned from his commissioning in 1922 to his retirement as a lieutenant general in 1968. Starting in the Scanian Hussar Regiment, he advanced through rigorous training and General Staff service, contributing to Sweden’s defense modernization in the 1930s. During World War II, he held key staff positions, including chief of staff for the 2nd Army Division and the II Military District. Post-war, he served as military attaché in Ankara, Athens, and Tehran, commanded the Göta Life Guards, and acted as Inspector of the Army Signal Troops. Promoted to major general in 1959, he became Commanding General of both the VII and III Military Districts before retiring to the reserve list. Known as a forthright debater, author of Born to be a Soldier, and leader in civilian organizations, Burman remained an influential figure well beyond his active service.

Swedish Army Signal Troops
Swedish Army Signal Troops (Swedish: Signaltrupperna, S) is the signal branch of the Swedish Army. It is responsible for installing, maintaining and operating all types of telecommunications equipment and information systems, providing command support to commanders and their headquarters, and conducting electronic warfare against enemy communications.
Rhinitis medicamentosa
Rhinitis medicamentosa (or RM, also known as rebound congestion) is a condition of rebound nasal congestion suspected to be brought on by extended use of topical decongestants (e.g., oxymetazoline, phenylephrine, xylometazoline, and naphazoline nasal sprays) and certain oral medications (e.g., sympathomimetic amines and various 2-imidazolines) that constrict blood vessels in the lining of the nose, although evidence has been contradictory.

Topical decongestant
Topical decongestants are decongestants applied directly to the nasal cavity. Their effectiveness by themselves in the common cold appears to have a small benefit in adults.

Topical decongestants should only be used by patients for a maximum of 5–7 days in a row, because rebound congestion may occur in the form of rhinitis medicamentosa. When used in adults for a short period of time side effects appear to be few.
Antonio Sant'Elia
Antonio Sant'Elia (Italian pronunciation: [anˈtɔːnjo santeˈliːa]; 30 April 1888 – 10 October 1916) was an Italian architect and a key member of the Futurist movement in architecture. He left behind almost no completed works of architecture and is primarily remembered for his bold sketches and influence on modern architecture.

Futurist architecture
Futurist architecture is an early-20th century form of architecture born in Italy, characterized by long dynamic lines, suggesting speed, motion, urgency and lyricism: it was a part of Futurism, an artistic movement founded by the poet Filippo Tommaso Marinetti, who produced its first manifesto, the Manifesto of Futurism, in 1909. The movement attracted not only poets, musicians, and artists (such as Umberto Boccioni, Giacomo Balla, Fortunato Depero, and Enrico Prampolini) but also a number of architects. A cult of the Machine Age and even a glorification of war and violence were among the themes of the Futurists; several prominent futurists were killed after volunteering to fight in World War I. The latter group included the architect Antonio Sant'Elia, who, though building little, translated the futurist vision into an urban form.
Kupine
Kupine is an album by the Serbian noise-rock band Klopka Za Pionira, released in 2006 (see 2006 in music) on the Ne-ton independent label. This is one of the more experimental and ambient sounding albums by Klopka, containing long, slowly developing songs with many ambient nature-like sounds but also various machine noises and loops. The album contains very few lyrics, appearing now and then in some of the songs.

It also contains the first version of the song "Šta me gledaš" which a year later appeared on the album Svinje and became a live standard for the band.

The name of the album is Serbian for 'blackberries'.

Klopka Za Pionira
Klopka Za Pionira (Serbian Cyrillic: Клопка За Пионира; English: Trap for the Pioneer) is a noise-rock band from Serbia. Their music is built on improvisation, lyrics written by the band's vocalist Mileta Mijatović. The band has published 11 albums and EPs and two live albums on the independent record label Ne-ton.
Maidilibala
Maidilibala (Chinese: 買的里八剌; Sanskrit: मैत्रेय पाल्) was a prince of the Yuan dynasty who was made the Marquis of Chongli by the Ming dynasty. He was taken prisoner by the Ming army but was later released and returned to Northern Yuan. He is thought to be the same person as Elbeg Nigülesügchi Khan, and thus to have become Khan after his return to the Northern Yuan.

His name derives from Sanskrit and is a person's name derived from Tibetan Buddhism.

Elbeg Nigülesügchi Khan
Nigülesügchi Khan, born Elbeg (1360–1399), was a khagan of the Northern Yuan dynasty, reigning from 1394 to 1399. Erdeniin Tobchi claimed that Elbeg was the younger brother of the Jorightu Khan, while other historians testify that he was a son of the Biligtü Khan (Emperor Zhaozong). He ruled for seven years. Border skirmishes with the Ming dynasty and Oirat rebellion plagued his reign.
Law enforcement in Italy
Law enforcement in Italy is centralized on a national level, with multiple national forces, assisted by some local law enforcement agencies.  The two main police forces are the Carabinieri, the national gendarmerie, and the Polizia di Stato, the civil national police. The Guardia di Finanza is a militarized police force responsible for dealing with financial crime, smuggling, and illegal drug trade. Border and maritime patrolling are undertaken by the Polizia di Frontiera, a division of the Polizia di Stato, and the Guardia Costiera (coast guard).
The Polizia Penitenziaria (Prison Police) is the national prison police agency, controlling penitentiaries and inmate transfers. The Corpo Forestale dello Stato (State Forestry Corps) formerly existed as a separate national park ranger agency, but was merged into the Carabinieri in 2016.  Alongside national police forces,Polizia Locale are also concerned with policing at a local level.

Municipal police (Italy)
In Italy, Polizia Locale (local police), Polizia Municipale (municipal police) and sometimes Vigili Urbani (urban guards, an obsolete term still used colloquially) are the police force of the comuni (municipalities). Their duties are mainly administrative in nature, encompassing tasks such as traffic management, overseeing licenses, and enforcing urban regulations. Additionally, they support general law enforcement efforts and investigate traffic incidents, minor offenses, and petty crimes. There are roughly 60,000 municipal police officers in Italy. Since 2011, the Italian regions have been responsible for coordinating, organizing, and training municipal police.
German special forces
The German special forces include the Special Operations Forces (Kommando Spezialkräfte, KSK) of the German Army and the Naval Special Forces Command (Kommando Spezialkräfte Marine, KSM) of the German Navy. Both are regular units and fully integrated into the branches of the German Armed Forces (Bundeswehr).

During operations, special forces personnel are under the command of the special operations division of the Einsatzführungskommando der Bundeswehr (Armed Forces Operations Command) in Potsdam, a branch of the Joint Support Service (Streitkräftebasis).

Besides the KSK and KSM, numerous specialized units can support special forces operations.

Kommando Spezialkräfte
The Kommando Spezialkräfte (KSK) is the special forces command of the German Army (Heer).

Formed in 1996, it is a brigade-level unit responsible for covert operations, counterterrorism, hostage rescue, direct action, high-value target missions, irregular warfare, ISTAR, rapid response in military emergencies, and other special operations. The KSK is based at the Graf Zeppelin Barracks in Calw, Baden-Württemberg, and is subordinated to the Rapid Forces Division (Division Schnelle Kräfte, DSK).

The Special Air Service (SAS), the United States Special Operations Command (USSOCOM), and the German Federal Police's GSG 9 (Grenzschutzgruppe 9) of the former Federal Border Guard (Bundesgrenzschutz, BGS) served as models for the formation of the KSK.

The unit has received decorations and awards from NATO, the United States, and allied forces. KSK personnel have participated in joint counterterrorism operations, notably in the Balkans and the Middle East.
Stoksund Municipality
Stoksund is a former municipality in the old Sør-Trøndelag county, Norway. The municipality existed from 1892 until its dissolution in 1964. The 114-square-kilometre (44 sq mi) municipality was located in what is now Åfjord Municipality in Trøndelag county. The municipality included the islands of Stokkøya and Linesøya plus many surrounding islets, and the surrounding area of the mainland. The administrative centre was the village of Revsnes, where the Stoksund Church is located.

Prior to its dissolution in 1964, the 114-square-kilometre (44 sq mi) municipality was the 493rd largest by area out of the 689 municipalities in Norway. Stoksund Municipality was the 530th most populous municipality in Norway with a population of about 1,537. The municipality's population density was 13.5 inhabitants per square kilometre (35/sq mi) and its population had decreased by 1.7% over the previous 10-year period.

Åfjord Municipality
Åfjord is a municipality in Trøndelag county, Norway. It is part of the Fosen region. The administrative centre of the municipality is the village of Årnes. Other villages in the municipality include Revsnes, Roan, Bessaker, Harsvika, and By. Åfjord is located on the northwestern side of the Fosen peninsula, northwest of the city of Trondheim.

The 1,329-square-kilometre (513 sq mi) municipality is the 74th largest by area out of the 357 municipalities in Norway. Åfjord Municipality is the 197th most populous municipality in Norway with a population of 4,339. The municipality's population density is 3.3 inhabitants per square kilometre (8.5/sq mi) and its population has increased by 2.6% over the previous 10-year period.
2014–15 Ukrainian Second League
The 2014–15 Ukrainian Second League was the 24th season of 3rd level professional football in Ukraine.  The competition commenced 25 July 2014 when Arsenal-Kyivshchyna Bila Tserkva hosted Shakhtar-3 Donetsk in Bila Tserkva. The competition resumed from the winter break with the postponed Round 16 match between Skala Stryi and NPHU-Makiyivvuhillya Nikopol on 21 March 2015.

FC Nikopol
FC Nikopol was a Ukrainian football club from the city of Nikopol, Dnipropetrovsk oblast and Makiivka, Donetsk Oblast before 2015. Another FC Nikopol has existed in Nikopol prior to relocation of FC Makiivvuhillya.

On 21 June 2023 the 31st PFL Conference excluded several clubs that did not compete in the 2022–23 season and did not renew their membership.
Madras, Oregon
Madras (/ˈmædrʌs/ MAD-russ) is a city in and the county seat of Jefferson County, Oregon,  United States. Situated in Central Oregon, it is located where US Route 26 and US Route 97 interset, with the later serving as the main north-south road in the city with traffic split into a one-way pair. Originally called "The Basin" after the circular valley the city is in, it is unclear whether Madras was named in 1903 for the cotton fabric called "Madras" that originated in the city of Madras (now Chennai) in Tamil Nadu, India, or the city itself. The population was 7456 at the 2020 census.

U.S. Route 26 in Oregon
U.S. Route 26 (US 26) is a major cross-state United States Numbered Highway with its western terminus in the U.S. state of Oregon, connecting US 101 on the Oregon Coast near Seaside with the Idaho state line east of Nyssa. Local highway names include the Sunset Highway No. 47, Mount Hood Highway No. 26, and John Day Highway No. 5 before continuing into Idaho and beyond.
Garrison Cemetery, Seringapatam
Garrison Cemetery is located in Seringapatam, on the banks of the river Cauvery, about 300m from the Bangalore Mysore Highway. It has about 307 graves of the European officers killed in the final assault on Tippu Sultan in 1799, and their family members. Among the graves, there are 80 graves of the officers of the Swiss ‘de Meuron Regiment’, and the rest of the graves are their family members.

The cemetery entrance gate has a marble stone, reads, "Garrison Cemetery AD 1800. Latest burial 1860."  A few tombs are imposing, while others are small, some shaped like of a coffin and said to be the remains of infants who died of the plague. Many officers of the Swiss mercenary de Meuron Regiment are buried here.

Regiment de Meuron
The Regiment de Meuron was a regiment of infantry originally raised in Switzerland in 1781 for service with the Dutch East India Company (VOC). At the time the French, Spanish, Dutch and other armies employed units of Swiss mercenaries. The regiment was named for its commander, Colonel Charles-Daniel de Meuron, who was born in Neuchâtel in 1738.
Ceresota Building
Northwestern Consolidated Milling Company Elevator A also known as the Ceresota Elevator and "The Million Bushel Elevator" was a receiving and public grain elevator built by the Northwestern Consolidated Milling Company in 1908 in Minneapolis, Minnesota in the United States. The elevator may have been the largest brick elevator ever constructed (brick construction being relatively uncommon) and ran on electricity. The elevator was the source for the Crown Roller Mill and Standard Mill. Those mills closed in the 1950s but the elevator continued in use for grain storage until the mid 1980s. The building is a contributing property of the St. Anthony Falls Historic District listed in the National Register of Historic Places in 1971. For this article north is toward the river.

Northwestern Consolidated Milling Company
Northwestern Consolidated Milling Company was an American flour milling company that operated about one-quarter of the mills in Minneapolis, Minnesota, when the city was the flour milling capital of the world. Formed as a business entity, Northwestern produced flour for the half-century between 1891 and 1953, when its A Mill was converted to storage and light manufacturing. At its founding, Northwestern was the city's and the world's second-largest flour milling company after Pillsbury, with what is today General Mills a close third. The company became one of three constituents of a Minneapolis oligopoly that owned almost nine percent of the country's flour and grist production and products by 1905. This occurred as a result of their attempt at a United States monopoly.
Tomb of King Muryeong
The Tomb of King Muryeong, also known as Songsan-ri Tomb No. 7 (공주 송산리 7호분), is the ancient tumulus of King Muryeong, who ruled the Baekje from 501 to 523, and his queen. The rarity of intact Baekje tombs makes this one of the major archaeological discoveries in Korea and a crucial source for the understanding of Baekje, one of the Three Kingdoms of Korea.

The tomb is located in what is now Gongju, South Chungcheong Province, South Korea. It is Korean Historic Site No. 13. King Muryeong's Tomb is also registered on the South Korean government's tentative list of World Heritage Sites.

Muryeong of Baekje
Muryeong (461/462–523) was the 25th king of Baekje, one of the Three Kingdoms of Korea, reigning from 501 to 523. During his reign, Baekje remained allied with Silla against Goguryeo, and expanded its relationships with China and Japan. According to Samguk sagi, his height was recorded as 8 feet (190 cm).
Keszthely culture
The Keszthely culture was a mixed Romanised population-Germanic-Avar, Christian enclave located in present-day Hungary, from the 6th century until the first half of the 7th century. These people could be found near the northern part of Lake Balaton and around Keszthely in a roughly 30 km area. The culture had faded out by the 7th century.

According to one theory many people of this culture were craftsmen, abducted or invited to that region in the mid-6th century by the Avars. These settlers, or slaves, came from the Balkans, Dalmatia, the eastern Alpine region and the Germanic lands. Historian Florin Curta mentions a second, more recent understanding of the material traces, namely "a deliberate imitation of West European fashions by the inhabitants of the western parts of the qaganate."

Keszthely
Keszthely (Hungarian pronunciation: [ˈkɛsthɛj]; also known by alternative names) is a Hungarian city of 20,895 inhabitants located on the western shore of Lake Balaton. It is the second largest city by the lake and one of the more important cultural, educational and economic hubs in the region. Due to its favorable location and accessibility by both road and rail, Keszthely and the surrounding area is a preferred holiday destination.

From the middle of the 5th century until the middle of the 7th century the Keszthely Culture flourished in the area.

The Faculty for Agriculture of University of Pannonia is located in Keszthely. George Fejer, Hungarian author and librarian at the University of Pest, was born in Keszthely in 1766.