hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Tamarin Prover
Tamarin Prover is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1.3, ISO/IEC 9798, DNP3 Secure Authentication v5, WireGuard, and the PQ3 Messaging Protocol of Apple iMessage.

Tamarin is an open source tool, written in Haskell, built as a successor to an older verification tool called Scyther. Tamarin has automatic proof features, but can also be self-guided. In Tamarin lemmas that representing security properties are defined. After changes are made to a protocol, Tamarin can verify if the security properties are maintained. The results of a Tamarin execution will either be a proof that the security property holds within the protocol, an example protocol run where the security property does not hold, or Tamarin could potentially fail to halt.

WireGuard
WireGuard is a communication protocol and free and open-source software that implements encrypted virtual private networks (VPNs). It aims to be lighter and better performing than IPsec and OpenVPN, two common tunneling protocols. The WireGuard protocol passes traffic over UDP.

In March 2020, the Linux version of the software reached a stable production release and was incorporated into the Linux 5.6 kernel, and backported to earlier Linux kernels in some Linux distributions. The Linux kernel components are licensed under the GNU General Public License (GPL) version 2; other implementations are under GPLv2 or other free/open-source licenses.
David L. Hawk
David L. Hawk (born c. 1948) is an American management theorist, architect, and systems scientist, specializing in climate change as environmental deterioration. From 1981 to 2010 he was professor of management in the School of Management at the New Jersey Institute of Technology (NJIT) and professor of architecture at the College of Architecture and Design at NJIT.

Organizational behavior
Organizational behavior or organisational behaviour (see spelling differences) is the "study of human behavior in organizational settings, the interface between human behavior and the organization, and the organization itself". Organizational behavioral research can be categorized in at least three ways:

individuals in organizations (micro-level)

work groups (meso-level)

how organizations behave (macro-level)

Chester Barnard recognized that individuals behave differently when acting in their organizational role than when acting separately from the organization. Organizational behavior researchers study the behavior of individuals primarily in their organizational roles. One of the main goals of organizational behavior research is "to revitalize organizational theory and develop a better conceptualization of organizational life".
Harrington, New South Wales
Harrington is a fishing village located on the northern entrance of the Manning River in New South Wales, Australia.  It was established in 1853 and proclaimed a village on 26 September 1896. It is 15 km north-east of Taree on the Mid North Coast, and 335 kilometres (208 mi) north east of the state capital, Sydney. At the 2021 census, Harrington had a population of 3,381. It was named after the Earl of Harrington by the explorer, John Oxley.

Taree
Taree (/tɑːriː/) is a town on the Mid North Coast, New South Wales, Australia. It and nearby Cundletown were settled in 1831 by William Wynter. Since then it has grown to a population of 26,381, and commands a significant agricultural district. Situated on a floodplain by the Manning River, it is 16 km from the Tasman Sea coast, and 317 km north of Sydney.

Taree is within the local government area of Mid-Coast Council, the state electorate of Myall Lakes and the federal electorate of Lyne.
Amos 7
Amos 7 is the seventh chapter of the Book of Amos in the Hebrew Bible or the Old Testament of the Christian Bible. In the Hebrew Bible it is a part of the Book of the Twelve Minor Prophets. This book contains the prophecies attributed to the prophet Amos; in particular, the seventh, eighth, and ninth chapters contain visions and their explanations. This chapter contains three visions: the locusts, the fire (or drought), and the plumb-line. The visions are then "interrupted" by a narrative about Amos and his listeners in Bethel (verses 10–17), before they continue in chapter 8.

Amos (prophet)
Amos (/ˈeɪməs/; Hebrew: עָמוֹס – ʿĀmōs) was one of the Twelve Minor Prophets of the Hebrew Bible and Christian Old Testament. According to the Bible, Amos was the older contemporary of Hosea and Isaiah and was active c. 760–755 BC during the rule of kings Jeroboam II of Israel and Uzziah of the Kingdom of Judah and is portrayed as being from the southern Kingdom of Judah yet preaching in the northern Kingdom of Israel (Samaria). The prophet is characterized as speaking against an increased disparity between the wealthy and the poor with themes of justice, God's omnipotence, and divine judgment. The Book of Amos is attributed to him. In recent years, scholars have grown more skeptical of the Book of Amos's presentation of Amos's biography and background.
German submarine U-162 (1941)
German submarine U-162 was a Type IXC U-boat of Nazi Germany's Kriegsmarine during World War II.

She was ordered on 25 September 1939 and was laid down on 19 April 1940 at Deutsche Schiff- und Maschinenbau AG, at Seebeck Yard in Bremerhaven, Germany, as yard number 701. She was launched on 1 March 1941 and commissioned under the command of Korvettenkapitän Jürgen Wattenberg on 9 September of that year.

During three war patrols, U-162 sank 14 vessels. However, on 3 September 1942, three British destroyers hunted U-162 down and sank her. Of a crew of fifty-one, only two died. The remainder were taken prisoner and sent to camps in the United States, where they were to remain for the rest of the war.

Bremerhaven
Bremerhaven (German pronunciation: [ˌbʁeːmɐˈhaːfn̩] ⓘ; Low German: Bremerhoben) is a city on the east bank of the Weser estuary in northern Germany. It forms an exclave of the city-state of Bremen. The River Geeste flows through the city before emptying into the Weser.

Bremerhaven was founded in 1827 as a seaport for Bremen, and it remains one of the busiest ports in the country. It was historically rivalled by Geestemünde [de] on the opposite side of the Geeste, which belonged to Hanover (and later Prussia). Geestemünde united with neighbouring Lehe [de] to form the city of Wesermünde [de] in 1924, and Bremerhaven was itself annexed to Wesermünde in 1939, but the entire conurbation was restored to Bremen in 1947.
Headwater Diversion Channel
The Headwater Diversion Channel is a canal in southeast Missouri. Flowing west to east, it diverts the headwaters of the Castor and Whitewater rivers and Crooked Creek directly into the Mississippi River south of Cape Girardeau. It was built between 1910 and 1916 by the Little River Drainage District. The streams diverted by the Headwater Diversion Channel formerly flowed into the Little River, and their portions that are downstream of the Diversion Channel still do so.

The channel is roughly 34 miles (55 km) long and serves as a flood control structure; it is not considered navigable, although small boats such as canoes can be used on it. The Headwater Diversion Channel played an important part in the drainage of Missouri's Bootheel region, converting it into rich agricultural land.

The channel's confluence with the Mississippi River is located at .

Cape Girardeau, Missouri
Cape Girardeau (/dʒɪˈrɑːrdoʊ/ jirr-AR-doh, French: Cap-Girardeau [kap ʒiʁaʁdo] ⓘ; colloquially referred to as "Cape") is a city in Cape Girardeau and Scott counties in the U.S. state of Missouri. The population was 39,540 at the 2020 census, making it the 17th-largest city in the state. It is a principal city of the Cape Girardeau–Jackson metropolitan area with 97,517 residents. Cape Girardeau is the economic center of southeastern Missouri and the home of Southeast Missouri State University. It is located approximately 100 miles (160 km) southeast of St. Louis and 150 miles (240 km) north of Memphis, Tennessee.
I Wanna Make You My Lady
"I Wanna Make You My Lady" is a song by Australian singer songwriter Mark Holden. It was recorded and released as the second single from Holden's second studio album, Let Me Love You (1976). The song was a commercial success in Australia, peaking at number 11 on the Kent Music Report.

The song is an English translation of the Swedish song "Jag ska fånga en ängel", originally written by Swedish singer-songwriters Ted and Kenneth Gärdestad, with English lyrics written by Gary Osborne.

Kenneth Gärdestad
John Charles Kenneth Gärdestad (9 May 1948 – 3 March 2018) was a Swedish songwriter, best known for writing lyrics for the songs of his brother, Ted Gärdestad. He participated at Melodifestivalen 1979 as a songwriter for the winning song "Satellit" performed by his brother. The song went on to Eurovision the same year, where it placed 17th. Gärdestad was also an architect, affiliated to the private Kunskapsskolan, where he designed the interior of several of its high schools. Gärdestad published the biography Jag vill ha en egen måne in 2005. In later years he became a mental health activist, and created the "Ted Gärdestad Stipend", a prize awarded to amateur singers and songwriter.
Fermilab Holometer
The Fermilab Holometer, based at Fermilab in Illinois was a laser interferometer intended to be the world's most sensitive, surpassing the sensitivity of the GEO600 and LIGO systems, and theoretically able to detect holographic fluctuations in spacetime.

According to the director of the project, the Holometer should be capable of detecting fluctuations in light of a single attometer, meeting or exceeding the sensitivity required to detect the smallest units in the universe, called Planck units.  Fermilab stated: "Everyone is familiar these days with the blurry and pixelated images, or noisy sound transmission, associated with poor internet bandwidth. The Holometer seeks to detect the equivalent blurriness or noise in reality itself, associated with the ultimate frequency limit imposed by nature."

In 2015 Fermilab announced that the study had found that space-time is not quantized at the scale being measured.

Pixelization
Pixelization (in British English pixelisation) or mosaic processing is any technique used in editing images or video, whereby an image is blurred by displaying part or all of it at a markedly lower resolution. It is primarily used for censorship. The effect is a standard graphics filter, available in all but the most basic bitmap graphics editors.
OpenFog Consortium
The OpenFog Consortium (sometimes stylized as Open Fog Consortium) was a consortium of high tech industry companies and academic institutions across the world aimed at the standardization and promotion of fog computing in various capacities and fields.

The consortium was founded by Cisco Systems, Intel, Microsoft, Princeton University, Dell, and ARM Holdings in 2015 and now has 57 members across the North America, Asia, and Europe, including Forbes 500 companies and noteworthy academic institutions.

The OpenFog consortium merged with the Industrial Internet Consortium, now the Industry IoT Consortium, on January 31, 2019.

Technology company
A technology company (or tech company) is a company that focuses primarily on the manufacturing, support, research and development of—most commonly computing, telecommunication and consumer electronics–based—technology-intensive products and services, which include businesses relating to digital electronics, software, optics, new energy, and Internet-related services such as cloud storage and e-commerce services. Big Tech refers to the 6 largest companies, both in the United States and globally, symbolized by the metonym 'Silicon Valley', where 4 of them are based.
Nils Diederich
Nils Diederich (born 6 May 1934) is a German Social Democratic Party politician and political scientist. He served as a member of the German Bundestag from 1976 to 1987 and 1989 to 1994. He is professor emeritus for political science, focusing on political sociology, at the Free University of Berlin.
He has a diplom in economics and joined the SPD in 1952. In the Bundestag, he was a member of the finance and budget committees.
Diederich is the grandfather of musical artist Ski Aggu.

Diplom
A Diplom (German: [diˈploːm] ⓘ, from Ancient Greek: δίπλωμα, romanized: diploma) is an academic degree in the German-speaking countries Germany, Austria, and Switzerland and a similarly named degree in some other European countries including Albania, Bulgaria, Belarus, Bosnia and Herzegovina, Croatia, Estonia, Finland, Poland, Russia, and Ukraine and only for engineers in France, Greece, Hungary, North Macedonia, Romania, Serbia, Slovenia, and Brazil.
Città di Brescia International Violin Competition
The Città di Brescia International Violin Competition (Concorso Internazionale di Violino "Città di Brescia") is one of the most prestigious Prize for classical music players. The Competition is organized in Brescia, Italy, by the Romano Romanini Foundation, in order to honour the memory of the violinist Romano Romanini (1864–1934). The seats of the “Città di Brescia” Competition are at the "Auditorium S.Barnaba" for the eliminatory and semi finals tests and at the "Teatro Grande" for the final tests. The Competition is member of the WFIMC, Geneva, since 2005. Mario Conter was the founder, actually Domenico Nordio is the Artistic Director. The Competition is triennial. The XIIIth edition will be held October, 2013.

Auditorium
An auditorium is a room built to enable an audience to hear and watch performances. For movie theaters, the number of auditoriums is expressed as the number of screens.  Auditoriums can be found in entertainment venues, community halls, and theaters, and may be used for rehearsal, presentation, performing arts productions, public speeches or as a learning space.
Albert Herter
Albert Herter (March 2, 1871 – February 15, 1950) was an American painter, illustrator, muralist, and interior designer. He was born in New York City, studied at the Art Students League with James Carroll Beckwith, then in Paris with Jean-Paul Laurens and Fernand Cormon.

He came from an artistic family; his father, Christian Herter (1839–1883), had co-founded Herter Brothers, a prominent New York interior design and furnishings firm. Herter Brothers closed in 1906, and Albert founded Herter Looms in 1909, a tapestry and textile design-and-manufacturing firm that was, in a sense, successor to his father's firm.

Yale University Art Gallery
The Yale University Art Gallery (YUAG) is an  art museum in New Haven, Connecticut. It houses a major encyclopedic collection of art in several interconnected buildings on the campus of Yale University. Although it embraces all cultures and periods, the gallery emphasizes early Italian Renaissance painting, African sculpture, and modern art. It is the oldest university art museum in the Western Hemisphere.
Declan Rooney
Declan Rooney (born 1983/1984) is an Irish Gaelic footballer who played in the 2010 All-Ireland Final. He is a defender.

A Burren stalwart, he won a Down Senior Football Championship medal in 2010 when his club won that competition for the first since 1997. He won another in 2018, after turning 34 (he missed the 2011 county championship because of going over on his ankle). His carpentry work brought him to Dublin, and in 2013 he joined the St Sylvester's club; while there he was nursing a shoulder injury but held Dublin senior player Diarmuid Connolly scoreless when he made a substitute appearance at half-time against St Vincents in a Dublin Senior Football Championship quarter-final, Vincents winning the game by a point and later lifting the 2013–14 All-Ireland (Andy Merrigan Cup) title.

Diarmuid Connolly
Diarmuid Connolly (born 7 July 1987) is an Irish Gaelic footballer. His league and championship career at senior level as a forward playing for the Dublin county team initially spanned 11 seasons from 2007 until 2018 when he left the panel after appearing in a league game against Mayo in February 2018.

In July 2019, Dublin senior football manager Jim Gavin confirmed in an interview with Dubs TV that Connolly was back training with the Dublin panel for the 2019 Championship. He went on to win sixth All Ireland title in September 2019.

In October 2020, Connolly announced his retirement from inter-county football.
K. S. Veerabhadrappa
K.S. Veerabhadrappa (born 29 July 1929) is an Indian politician and Member of Parliament (MP) in 6th Lok Sabha, represented the Bellary in Lok Sabha, lower house of the Indian Parliament. He is also Director of M/S Karnataka Patrika Private Ltd., which published 'Samyukta, Karnataka' (Kannada Daily), 'Karma-veera' (Weekly), 'Kasturi' (Monthly) and 'Chitradeep' (Monthly).

Bellary Lok Sabha constituency
Bellary Lok Sabha constituency is one of the 28 Lok Sabha (constituencies) in Karnataka state in southern India. This constituency is reserved for the candidates belonging to the Scheduled tribes after the delimitation exercise in 2008. Sonia elected from this in 1999 but vacated.
Bulimulus guadalupensis
Bulimulus guadalupensis is a species of  tropical air-breathing land snail, a pulmonate gastropod mollusk in the subfamily Bulimulinae.

The specific name guadalupensis refers to the West Indian  island of Guadeloupe.

West Indian
A West Indian is a native or inhabitant of the West Indies (the Antilles and the Lucayan Archipelago). According to the Oxford English Dictionary (OED), the term West Indian in 1597 described the indigenous inhabitants of the West Indies, by 1661 the term defined "an inhabitant or native of the West Indies, of European origin or descent." In the 1950s, coinciding with decolonization and the arrival of Afro-Caribbean migrants in the United Kingdom, West Indian referred to those who were Black. Inclusively, in 1961 all inhabitants of the West Indies Federation were termed West Indian regardless of their descent, besides West Indian Indo-Caribbean people, who were sometimes referred to as East Indian West Indian. The OED now defines it simply as a citizen of any West Indies nation. Some West Indian people reserve this term for citizens or natives of the British West Indies only, to the exclusion of not just the Hispanophones, but also French and Dutch West Indians.
Mazrui
The Mazrui or Mazar'i (Arabic: المزاريع) were an Omani Arab clan that reigned over some areas of East Africa, especially Kenya, from the 18th to the 20th century. In the 18th century they governed Mombasa and other coastal places and opposed the Omani Al Bu Sa'id Dynasty that ruled over Zanzibar. On at least one occasion, they attacked Stone Town allying with the Portuguese.

When the British East Africa Protectorate was established in the late 19th century, the Mazrui were one of the groups that most actively resisted the British rule, along with the Kikuyu and Kamba people.

Kikuyu people
The Kikuyu (also Agĩkũyũ/ Gĩkũyũ) are a Bantu ethnic group native to Central Kenya, and originated in West-Central Africa. They are native to Central Kenya and were part of the Thagicu group that settled around Mount Kenya and primarily inhabit the fertile central highlands of Kenya. Traditionally, the Kikuyu community was organized into nine clans Anjirũ, Ambũi, Agacikũ, and Aceera, among others. At a population of 8,148,668 as of the 2019 census, they account for ~17.13% of the total population of Kenya, making them the country's largest ethnic group followed by the Luhya, Kalenjin, Luo, and Kamba collective making the "Big Five"

The term Kikuyu is the Swahili borrowing of the autonym Gĩkũyũ (Gikuyu pronunciation: [ɣèkòjóꜜ]).
G. Sarsfield Ford
G. Sarsfield Ford (September 6, 1933 – May 19, 2013) was an American jurist.

Born in Bridgeport, Connecticut, Ford graduated from the University of Notre Dame. He then received his Juris Doctor degree from Georgetown University Law Center and was admitted to the Connecticut Bar. He practiced law in Bridgeport, Connecticut. In 1973, he was appointed to the Connecticut Superior Court, and later held the office of Chief Administrative Judge for the Connecticut Judicial Marshal Services.

Georgetown University Law Center
Georgetown University Law Center is the law school of Georgetown University, a private research university in Washington, D.C., United States. It was established in 1870 and is the largest law school in the United States by enrollment, with over 2,000 students. It frequently receives the most full-time applications of any law school in the United States. Georgetown is considered part of the T14, an unofficial designation in the legal community of the best 14 law schools in the United States.

The school's campus is less than a mile from the U.S. Capitol Building and U.S. Supreme Court. Prominent alumni include 11 current members of the United States Congress, federal and state judges, billionaires, and diplomats.
Ernest Hutchinson
David Alexander Ernest Hutchison (June 1, 1847 – December 4, 1918) was a lumber merchant and political figure in New Brunswick. He represented Northumberland County in the Legislative Assembly of New Brunswick from 1878 to 1882 and from 1886 to 1890.

He was born in Douglastown, New Brunswick, the son of Richard Hutchison, a former member of the provincial assembly, and educated in Chatham. In 1871, he married Jenny Johnston. He served as warden for Newcastle and a captain in the militia. Hutchison was defeated in his bid for reelection in 1882 but was elected again in 1886.

Chatham, New Brunswick
Chatham (/ˈtʃætəm/) is an urban neighbourhood in the city of Miramichi, New Brunswick, Canada.

Prior to municipal amalgamation in 1995, Chatham was an incorporated town in Northumberland County along the south bank of the Miramichi River opposite Douglastown. Since amalgamation, it has been sometimes referred to as Miramichi East.
James Mitchell (rugby union)
James Mitchell (born 11 February 1995) is an English rugby union player. He primarily plays as a scrum-half. Mitchell plays for RFU Championship side Jersey Reds. Prior to this, he played with Sale Sharks and Northampton Saints in Premiership Rugby and Pro14 side Connacht.

Mitchell made his professional debut for Sale Sharks against Worcester Warriors on 25 January 2014. During his time with the club he had loan spells with Chester and Rotherham Titans.

On 7 June 2017, it was announced that Mitchell, who qualifies to play for Ireland via his grandmother, had signed a two-year contract with Irish province Connacht. He made 26 appearances in two seasons with the side.

Mitchell joined Premiership Rugby side Northampton Saints on a short-term contract ahead of the 2019–20 season.

At conclusion of his contract with Northampton he joined RFU Championship side Doncaster Knights.

Rotherham Titans
Rotherham Rugby Union Football Club, or Rotherham Titans is a rugby union club from Rotherham, South Yorkshire, currently playing in the third tier of the English rugby union league system, following their promotion from the National League 2 North at the end of the 2023–2024 season.

Rotherham achieved multiple promotions within the league structure in the 1990s and early 2000s. This meteoric rise ultimately culminated in two unsuccessful spells in the English Premiership. Rotherham is perhaps best known for the Rugby Football Union blocking its entry into the Premiership, its subsequent legal challenges, and a partially successful appeal to the Office of Fair Trading to break an alleged Premiership cartel.

Rotherham have developed several international players, including David Strettle, Hendre Fourie and Erik Lund.