hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Independence of premise
In proof theory and constructive mathematics, the principle of independence of premise (IP) states that if φ and ∃x θ are sentences in a formal theory and  φ → ∃x θ is provable, then ∃x (φ → θ) is provable. Here x cannot be a free variable of φ, while θ can be a predicate depending on it.

The main application of the principle is in the study of intuitionistic logic, where the principle is not generally valid. Its crucial equivalent special case is discussed below.
The principle is valid in classical logic.

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.
Victoria Ekanoye
Victoria Ekanoye (born 11 December 1981) is an English actress. She began her career in theatre. On television, she is best known for her roles in the ITV soap opera Coronation Street (2017–2019) and the E! drama The Royals (2015–2018).

Death in Paradise
Death in Paradise is a crime television series created by Robert Thorogood, starring Ben Miller (Series 1–3), Kris Marshall (Series 3–6), Ardal O'Hanlon (Series 6–9), Ralf Little (Series 9–13) and Don Gilet (Series 13–present).

The programme is filmed on the French Caribbean island of Guadeloupe. It is broadcast on BBC One in the United Kingdom, France 2 in France, PBS in the United States, and Prime in New Zealand (with repeats on BBC UKTV), and on Foxtel's BBC First channel, ABC, 9Gem in Australia and repeat episodes on Atreseries Spanish tv channel.

Since its debut, Death in Paradise has enjoyed high viewing figures and a generally positive critical reception, leading to repeated renewals. The series is currently renewed for at least one more series, airing until 2026.

A spin-off series, Beyond Paradise, starring Marshall's character Humphrey Goodman, began airing in 2023. A second spin-off, Return to Paradise, made for ABC television in Australia and BBC One, debuted in 2024.
Invis
Invis Multimedia, formerly India Vision International, an ICT consultant and solution provider and also the first Apple computer based video production studio of India, was set up in 1995. They started commercial production in March 1996.

Department of Tourism (Kerala)
The Department of Tourism is a major government ministry under the Kerala Government that regulates and supervises tourism in Kerala. Kerala Tourism is the fastest growing state  tourism department in the country and the ministry has been often adjudged as key department that aggressively worked on to make Kerala Tourism into Top 100 Superbrands.
Pirates of the Caribbean (video game)
Pirates of the Caribbean (Russian: Корсары II: Пираты Карибского моря, romanized: Korsary II: Piraty Karibskogo morya) is a 2003 action role-playing video game for Microsoft Windows and Xbox, developed by Akella. The game is a sequel to Sea Dogs (Корсары) and was originally planned to be released as Sea Dogs 2, but was soon renamed as a tie-in to the first Pirates of the Caribbean movie. However, the game has little connection to the film aside from that. A version of the game for the PlayStation 2 was planned, but was later cancelled.

Akella
Akella (Russian: Акелла) was a Russian software company specialising in the development, publishing and distribution of video games and multimedia products. The founders met in 1993 and decided to start a company together and in 1995 formed Akella. The company comprised five in-house development teams, a publishing house, a distribution center, a localisation team and a quality assurance department; in total, 250 people were employed by Akella. There were several sub-brands owned by Akella, such as Macho Studios, that developed erotic games and published Japanese hentai dating sims.

The company is named after a Rudyard Kipling's Jungle Book character, Akela the wolf, and its logo is a wolf.
Theodore Knapstein
Theodore Knapstein (November 12, 1848 – March 17, 1917) was an American brewer and politician.

Born in Prussia, Knapstein emigrated to the United States in 1855 and settled in the town of Greenville, Outagamie County, Wisconsin. Knapstein then moved to New London, Wisconsin and was a brewer. Knapstein served on the New London Village Board and the New London Common Council; Knapstein served as president of the New London Common Council. He also served as mayor of New London and was a Democrat. In 1889 and 1891, Knapstein served in the Wisconsin State Assembly. Knapstein died in New London, Wisconsin after being in poor health.

New London, Wisconsin
New London is a city in Outagamie and Waupaca counties in the U.S. state of Wisconsin. Founded in 1851, the population was 7,348 at the 2020 census.

The city has an annual Saint Patrick's Day Parade, Irish Fest, and week-long festivities, when the city's name is changed to "New Dublin" for the week. In 2022, Killaloe, County Clare, Ireland became New London's sister city (known in Ireland as Twinning).
1989–1990 Massachusetts legislature
The 176th Massachusetts General Court, consisting of the Massachusetts Senate and the Massachusetts House of Representatives, met in 1989 and 1990 during the governorship of Michael Dukakis. William Bulger served as president of the Senate and George Keverian served as speaker of the House.

Massachusetts Senate
The Massachusetts Senate is the upper house of the Massachusetts General Court, the bicameral state legislature of the Commonwealth of Massachusetts. The Senate comprises 40 elected members from 40 single-member senatorial districts in the state. All but one of the districts are named for the counties in which they are located (the "Cape and Islands" district covers Dukes, Nantucket, and parts of Barnstable counties). Senators serve two-year terms, without term limits. The Senate convenes in the Massachusetts State House in Boston, the state capital.
Dlouhá Loučka (Svitavy District)
Dlouhá Loučka (German: Langenlutsch) is a municipality and village in Svitavy District in the Pardubice Region of the Czech Republic. It has about 600 inhabitants.

Dlouhá Loučka lies approximately 13 kilometres (8 mi) south-east of Svitavy, 72 km (45 mi) south-east of Pardubice, and 164 km (102 mi) east of Prague.

Pardubice Region
Pardubice Region (Czech: Pardubický kraj) is an administrative unit (Czech: kraj) of the Czech Republic, located mainly in the eastern part of its historical region of Bohemia, with a small part in northwestern Moravia. It is named after its capital Pardubice. As an administrative unit, Pardubice Region has existed three times in the course of history. It was established for the first time in 1850, and extended from Český Brod to the Bohemian-Moravian border. In its second existence, it was one of 19 regions as they were set between 1949 and 1960. After 1960, Pardubice became the capital of Pardubice district, which was part of the Eastern Bohemian Region (capital Hradec Králové). The Pardubice Region, as it is now, was reestablished in 2000.
Andy Knox
Andrew Jackson Knox (January 6, 1864 – September 14, 1940) was an American Major League Baseball first baseman. Nicknamed "Dasher", he played for the Philadelphia Athletics of the American Association in 1890, the team's last year of existence.

He died on September 14, 1940, and was interred at Lawnview Memorial Park in Rockledge, Pennsylvania.

Rockledge, Pennsylvania
Rockledge is a borough in Montgomery County, Pennsylvania, United States. The population was 2,638 as of the 2020 census. Rockledge is surrounded by Abington Township and the city of Philadelphia, and shares a ZIP code with Jenkintown.
Kaouthar Bachraoui
Kaouthar Bachraoui (Arabic: كوثر البشراوي) is a Tunisian media personality. She was born  to a Tunisian father and an Italian mother. She started her career at the Tunisian national TV. She joined MBC and presented the program As-Sahra Al-Maftouha (The Open Soirée). She then joined Al Jazeera where she presented the talk show Ishrakat (Reflections) for two years. She later resigned because its then Managing Director Mohammed Jasim Al-Ali  degraded her. She later became part of Al-Arabiya where she presented the weekly program Manarat (Beacons). Bachraoui put an end to her short experience with Al-Arabiya and joined the Arab Thought Foundation. Kouthar Bachraoui's TV programs are cultural. She has Arab nationalist views.

MBC Group
MBC Group is a Saudi media conglomerate and the leading media group in the Middle East and North Africa, widely described as the region’s largest broadcaster. It was launched in 1991 by Saudi businessman Waleed bin Ibrahim, who serves as its chairman. The group is majority owned by the State Public Investment Fund.
Oklahoma State Cowboys wrestling
The Oklahoma State Cowboys wrestling team is the most successful NCAA Division I athletic program of all time in any sport. As of 2024–25, Oklahoma State wrestling has won 34 team NCAA national championships, 145 individual NCAA national championships, and 494 All-American honors. The Cowboys have also won 56 conference titles, coming in the Southwest, Missouri Valley, Big Eight and Big 12 conferences. The all-time dual record for the program is 1185–140–23.

Wrestling at the 1932 Summer Olympics
Wrestling at the 1932 Summer Olympics was held between August 1–7 August at the Grand Olympic Auditorium. It was split into two disciplines, Freestyle and Greco-Roman which were further divided into different weight categories.
James Zehner
James S. Zehner is a Democratic politician who formerly served in the Ohio House of Representatives.  An educator from Yellow Springs, Ohio, Zehner won election to a Republican open seat in 1976, much due to a wealth of resources provided to him by Speaker of the House Vern Riffe.  He was sworn into office on January 3, 1977.  A top target for Republicans in 1978, Zehner went on to win a second term. Zehner again won reelection in 1980. in 1982 he did not run for run again.  the democratic candidate, Carl Adkins, won the Democratic nomination. Adkins was the former superintendent for the Xenia school system. He lost to Robert Doyle in the general election

Following his time in elected office, Zehner served in the local BMV in Greene County, until retiring in 2010.  He currently owns and operates a local restaurant in Yellow Springs.

Department of motor vehicles
A department of motor vehicles (DMV) is a government agency that administers motor vehicle registration and driver licensing. In countries with federal states such as in North America, these agencies are generally administered by subnational entities, while in unitary states such as many of those in Europe, DMVs are organized nationally by the central government.
2012 NCAA Division I Outdoor Track and Field Championships
The 2012 NCAA Division I Outdoor Track and Field Championships were the 91st NCAA Division I Men's Outdoor Track and Field Championships and the 31st NCAA Division I Women's Outdoor Track and Field Championships at Drake Stadium in Des Moines, Iowa on the campus of the Drake University from  June 5–8, 2012.

In total, thirty-six different men's and women's track and field events were contested.

Drake University
Drake University is a private university in Des Moines, Iowa, United States. It offers over 140 undergraduate and graduate programs, including professional programs in business, education, law, and pharmacy. Drake University Law School was founded in 1865, which makes it one of the 25 oldest law schools in the United States.
VR Kanojo
VR Kanojo (VR カノジョ; transl. VR Girlfriend) is a virtual reality (VR) eroge social simulation video game made by Illusion, released in February 2017 for the HTC Vive and Oculus Rift on Microsoft Windows PCs. VR Kanojo is the successor to Illusion's 2010 game REAL Kanojo, and follows a similar premise where the player is allowed to interact with a virtual girlfriend. It has been described as similar to Bandai Namco's Summer Lesson.

HTC Vive
HTC Vive is a line of virtual and mixed reality headsets produced by HTC Corporation. The brand currently encompasses headsets designed for use with personal computers as well as standalone headsets such as the Vive Focus line, Vive Flow glasses, and the Vive Elite XR headset.

The first-generation Vive was announced in 2015, as part of a collaboration with video game studio and distributor Valve Corporation, and implementing its VR software and hardware platform SteamVR; the first-generation consumer model was released in April 2016. It has since been succeeded by newer models with upgraded specifications. HTC has also released accessories that integrate with the Vive and SteamVR, including sensors for motion capture and facial capture.

Since 2021, HTC has targeted the Vive line towards the business and enterprise markets, moving away from the consumer market.
Life Chiropractic College West
Life Chiropractic College West is a private chiropractic school with locations in Hayward, California, and Bellevue, Nebraska, US, known for its Doctor of Chiropractic degree program. Founded as Pacific States Chiropractic College in 1976 by George E. Anderson, the name was changed in 1981 to its current form after a merger with Life Chiropractic College (now Life University).

Bellevue, Nebraska
Bellevue (French for 'beautiful view'; previously named Belleview) is a suburban city in Sarpy County, Nebraska, United States. It is part of the Omaha–Council Bluffs metropolitan area, and had a population of 64,176 as of the 2020 census, making it the 3rd most populous city in Nebraska, behind Omaha and Lincoln.
Theodore Newcomb
Theodore Mead Newcomb (July 24, 1903 – December 28, 1984) was an American social psychologist, professor and author. Newcomb led the Bennington College Study, which looked at the influence of the college experience on social and political beliefs. He was also the first to document the effects of proximity on acquaintance and attraction. Newcomb founded and directed the doctoral program in social psychology at the University of Michigan. A Review of General Psychology survey, published in 2002, ranked Newcomb as the 57th most cited psychologist of the 20th century.

Review of General Psychology
Review of General Psychology is the quarterly scientific journal of the American Psychological Association Division 1: The Society for general psychology. The journal publishes cross-disciplinary psychological articles that are conceptual, theoretical, and methodological in nature. Other aspects include the evaluation and integration of research literature and the providing of historical analysis. The journal was established in 1997. The editor-in-chief is Wade E. Pickren (Independent Scholar, USA) and Thomas Teo (York University, Canada).
2024 EuroCup Finals
The 2024 EuroCup Finals were the concluding games of the 2023–24 EuroCup season, the 22nd season of Euroleague Basketball's secondary level professional club basketball tournament, the 16th season since it was renamed from the ULEB Cup to the EuroCup, and the first season under the new title sponsorship name of BKT. The first leg was played at the Adidas Arena in Paris, France, on 9 April 2024, the second leg was played at the Ekinox in Bourg-en-Bresse, France, on 12 April 2024 between French sides Paris Basketball and Mincidelice JL Bourg.

Paris Basketball swept Mincidelice JL Bourg to achieve its first continental crown by winning its first EuroCup title and earned the right to play in the 2024–25 EuroLeague. It was also the second French side to win the EuroCup after AS Monaco triumph in the 2020–21 season.

Balkrishna Industries
Balkrishna Industries Limited (BKT) is an Indian multinational tyre manufacturing company based in Mumbai, India. Balkrishna Industries manufactures off-highway tyres used in specialist segmentations like mining, earthmoving, agriculture, and gardening in five factories located in Aurangabad, Bhiwadi, Chopanki, Dombivali, and Bhuj. In 2013, it was ranked 41st among the world’s tyre makers. BKT sponsors various sports competitions in several countries, most notably the Monster Jam.
2012 Deutsche Tourenwagen Masters
The 2012 Deutsche Tourenwagen Masters was the twenty-sixth season of premier German touring car championship and also thirteenth season under the moniker of Deutsche Tourenwagen Masters (DTM) since the series' resumption in 2000. New regulations applied for the 2012 season (see below). BMW returned to the championship for the first time since 1994. It was also the last time non-European driver to won the DTM title until South African Sheldon van der Linde in 2022 season.

It was a triumphant return for BMW after returning from 18 years absence, and a dismal year for Mercedes-Benz AMG only rescued by early three official victories courtesy of Gary Paffett in Hockenheimring and Brands Hatch twice and Jamie Green in Norisring only (with an exception of Ralf Schumacher and Jamie Green in Showevent Olympiastadion München relay races respectively because of exhibition event).

Sheldon van der Linde
Sheldon van der Linde (born 13 May 1999) is a South African motor racing driver currently employed by BMW as a factory driver. He has been competing in the Deutsche Tourenwagen Masters since 2019, winning his maiden title in 2022. He is the younger brother of South African / German racing driver Kelvin van der Linde.
Longnose poacher
The longnose poacher (Sarritor leptorhynchus) is a fish in the family Agonidae. It was described by Charles Henry Gilbert in 1896, originally under the genus Odontopyxis. It is a marine, deep water-dwelling fish which is known from the northern Pacific Ocean, including the Bering Sea, southeastern Alaska, northern Japan, the Sea of Japan and the Sea of Okhotsk. It dwells at a depth range of 20 to 460 metres (66 to 1,509 ft). Males can reach a maximum total length of 25 centimetres (9.8 in).

The Longfin poacher's diet consists of crustaceans such as euphausiids, mysids, amphipods, and copepods, as well as polychaetes and other benthic invertebrates.

Amphipoda
Amphipoda (/æmˈfɪpədə/) is an order of malacostracan crustaceans with no carapace and generally with laterally compressed bodies. Amphipods (/ˈæmfɪpɒdz/) range in size from 1 to 340 millimetres (0.039 to 13 in) and are mostly detritivores or scavengers. More than 10,700 amphipod species are currently recognized. They are mostly marine animals but are found in almost all aquatic environments. Some 2,250 species live in fresh water, and the order also includes the terrestrial sandhoppers, such as Talitrus saltator and Arcitalitrus sylvaticus.
Grahapati Kokkala inscription
The Grahapati Kokkala inscription is an epigraphic record documenting the dedication of a Shiva temple. It dates to 1000-1001 CE. It is one of several Chandella era inscriptions that mention a Grahapati family.

It is the earliest known reference to a Grahapati family. Unlike all other Chandella era Grahapati inscriptions which are Jain, this refers to a Shiva temple, although Verse 3 suggests that the builder also worshipped Jinas.

Vishvanatha Temple, Khajuraho
The Vishvanatha Temple is a Hindu temple in Madhya Pradesh, India. It is located among the western group of Khajuraho Monuments, a UNESCO World Heritage site. The temple is dedicated to Shiva, who is also known as "Vishvanatha" (IAST: Viśvanātha), meaning "Lord of the Universe".

The temple is believed to have been commissioned by the Chandela king Dhanga, and was probably completed in 999 CE or 1002 CE. Its architectural style is similar to that of the older Lakshmana Temple and the newer Kandariya Mahadeva Temple. It features several sculptures of various deities, surasundaris (celestial maidens), couples making love, and mythical creatures.
Côte d'Azur (1932 film)
Côte d'Azur is a 1932 French comedy film directed by Roger Capellani and starring Simone Héliard, Robert Burnier and Robert Arnoux. It was produced by the French subsidiary of Paramount Pictures at the company's Joinville Studios in Paris.

Joinville Studios
The Joinville Studios were a film studio in Paris which operated between 1910 and 1987. They were one of the leading French studios, with major companies such as Pathé and Gaumont making films there.

A second studio was added to the original in 1923. This was located less than a kilometre away, and together the two served as a major filmmaking hub. After the Second World War the studio was merged into the Franstudio network in 1947 along with other major Paris studios including the Saint-Maurice Studios and Francoeur Studios.

In the early 1930s, the American company Paramount Pictures took over the studios and made French-language versions of their hit films. In total, films were made in fourteen different languages as Joinville became a hub of such multi-language versions. While many were remakes of English-language hits, some were original stories. This practice declined as dubbing became more commonplace.
Depictions of the sacrifice of Iphigenia
Iphigenia was the daughter of Agamemnon and Clytemnestra.  According to the story, Agamemnon committed a mistake and had to sacrifice Iphigenia to Artemis to appease her. There are different versions of the story. According to one side of the story, before Agamemnon could sacrifice her, Artemis saved her and replaced her with a deer on the altar. In the other version, Agamemnon actually went through with the sacrifice. The different versions aid in the different depictions of Iphigenia.

The sacrifice of Iphigenia is immortalized on many different mediums. Vases are a common base for the story, but there are mosaics, paintings, and written works from every era illustrating the myth of Iphigenia. The most common scene depicted in the different visual media of Iphigenia is when she about to be offered up to Artemis on the altar.

Agamemnon
In Greek mythology, Agamemnon (/æɡəˈmɛmnɒn/ ⓘ; Ancient Greek: Ἀγαμέμνων Agamémnōn) was a king of Mycenae who commanded the Achaeans during the Trojan War. He was the son (or grandson) of King Atreus and Queen Aerope, the brother of Menelaus, the husband of Clytemnestra, and the father of Iphigenia, Iphianassa, Electra, Laodike, Orestes and Chrysothemis. Legends make him the king of Mycenae or Argos, thought to be different names for the same area. Agamemnon was killed upon his return from Troy by Clytemnestra, or in an older version of the story, by Clytemnestra's lover Aegisthus.
UCD Economics Society
The University College Dublin Economics Society is a university society, at University College Dublin (UCD) in Ireland, which "promotes engagement with economics". The society, in its current form, was founded in 2014.

David McWilliams (economist)
David McWilliams (born 1966) is an Irish economist, writer, and journalist. Since 1999, he has been a broadcaster, writer, economic commentator and documentary-maker. He has written six books, The Pope's Children , The Generation Game, Follow the Money, The Good Room, Renaissance Nation, and Money: A Story of Humanity, and written regular columns for the Irish Times and Irish Independent.

McWilliams has a reputation for explaining economic ideas with memorable phrases or stock characters, most famously  "breakfast roll man".