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.

Haskell
Haskell (/ˈhæskəl/) is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Haskell pioneered several programming language features including type classes for type-safe operator overloading and monadic input/output (IO). It is named after logician Haskell Curry. Haskell's main implementation is the Glasgow Haskell Compiler (GHC).

Haskell's semantics are historically based on those of the Miranda programming language, which served to focus the efforts of the initial Haskell working group. The last formal specification of the language was made in July 2010, while the development of GHC continues to expand Haskell via language extensions.

Haskell is used in academia and industry. As of May 2021, Haskell was the 28th most popular programming language by Google searches for tutorials,  and made up less than 1% of active users on the GitHub source code repository.
1989 Spanish Grand Prix
The 1989 Spanish Grand Prix was a Formula One motor race held at Jerez on 1 October 1989. It was the fourteenth race of the 1989 Formula One World Championship. The 73-lap race was won from pole position by Ayrton Senna, driving a McLaren-Honda. Gerhard Berger was second in a Ferrari, while Senna's teammate and Drivers' Championship rival Alain Prost was third.

With Nigel Mansell banned from the race and fined $50,000 following his disqualification and collision with Senna in Portugal the previous week, Ferrari entered only one car for Berger. Senna's win kept the Drivers' Championship alive, but Prost's result meant that the Brazilian had to win both remaining races in order to beat the Frenchman to the title.

Larrousse
Larrousse Formula One was a motorsports racing team founded in 1987 by Didier Calmels and former racer Gérard Larrousse, originally under the name Larrousse & Calmels. It was based in Antony, in the southern suburbs of Paris. It was renamed Larrousse after the departure of Calmels following his murder of his wife. The team competed in Formula One from 1987 to 1994 before succumbing to financial problems, scoring a best finish of third at the 1990 Japanese Grand Prix during this time.
Brad Guigar
Brad Guigar (/ˈɡaɪɡər/, GY-gər; born April 9, 1969) is the cartoonist of Evil Inc and the editor of The Webcomics Handbook on Substack. He is a co-host of the podcast ComicLab and the The Wrong Way… show on YouTube. He has been nominated for various Reubens, an Eisner, and won a Ringo Award.

Substack
Substack is an American online platform that provides publishing, payment, analytics, and design infrastructure to support subscription-based content, including newsletters, podcasts, and video. It allows writers to send digital content directly to subscribers. Founded in 2017, Substack is headquartered in San Francisco.
2019 Croke Cup
The 2019 All-Ireland Post Primary Schools Croke Cup was the 68th staging of the Croke Cup since its establishment by the Gaelic Athletic Association in 1944. The competition ran from 2 March to 30 March 2019.

St Kieran's College were the defending champions.

The final was played on 30 March 2019 at O'Connor Park in Tullamore, between St Kieran's College and Presentation College, Athenry, in what was their second meeting in the final overall and a second successive meeting. St Kieran's College won the match by 1–15 to 1–12 to claim their 23rd  Croke Cup title overall and a second title in succession.

Mark Kennedy was the top scorer with 2–14.

1944 Croke Cup
The 1944 Croke Cup was the inaugural staging of the Croke Cup. While provincial championships had been played in both Leinster and Munster since 1918, this was the first time that the two champions faced each other in an All-Ireland series.

The final was played on 23 April 1944 at Thurles Sportsfield, between St Flannan's College and St Kieran's College, in what was their first ever meeting in the final. St Flannan's College won the match by 5–05 to 3–03 to claim their first ever Croke Cup title.
Rob Scott (footballer)
Robert Scott (born 15 August 1973) is an English former professional footballer and manager who currently works as Head of Recruitment for Rotherham United as well as working for The Football Association within their Talent ID Education Department.

As a player, he was a defender from 1992 to 2008, notably in the Football League for Sheffield United, Scarborough, Northampton Town, Fulham, Carlisle United, Rotherham United, Oldham Athletic and Macclesfield Town. He also played in Non-league football for Sutton United and Halifax Town. After retiring from the playing side of the sport in 2008 he became joint manager of Ilkeston Town along with former teammate Paul Hurst. The pair later took over Boston United before joining Grimsby in 2011.

2008–09 Northern Premier League
The 2008–09 was the 41st season for the Northern Premier League Premier Division, and the second season for the Northern Premier League Division One North and South.

As continuing part of non-league restructuring, the Division One South temporarily had 20 teams, while the Division One North contained 21, with a targeted number for both of 22 teams. This naturally affected the number of relegation slots available during the season, as the league attempted to enlarge the size of the divisions at the end of the season.
Druk Stars FC
Druk Stars Football Club, sometimes referred to as Druk Star, was a Bhutanese football club from Thimphu. The team have won the national championship twice and competed in the A-Division from 2002, when they won their first title, through to 2010, having won a second title in 2009. They were absent from the A-Division in 2011, but played and won the 2012 B-Division. Returning to the top flight, they qualified for the National League for the first time in 2014. In addition to their two A-Division and one B-Division title, they have also represented Bhutan in the AFC President's Cup in 2010.

After the 2020 season, the club was dissolved following the decision of the Bhutan Football Federation to impose a lifetime ban on the club owner for match fixing during the 2020 season.

Bhutan Football Federation
The Bhutan Football Federation (Dzongkha: འབྲུག་རྐང་རིལ་ཚོགས་སྡེ) is the governing body of football in Bhutan, controlling Bhutan national football team, Bhutan women's national football team and Bhutan national futsal team. It is also responsible for organising Bhutan Premier League, BPL Qualifiers, women's league and qualifiers, Dzongkhag (District) leagues, Women's National League, as well as various youth and recreational tournaments.
Jirang Assembly constituency
Jirang is one of the 60 Legislative Assembly constituencies of Meghalaya state in India. It is part of Ri Bhoi district and is reserved for candidates belonging to the Scheduled Tribes. As of 2023, it is represented by Sosthenes Sohtun of the National People's Party.

National People's Party (India)
The National People's Party is a conservative national political party in India. It is mostly concentrated in Meghalaya. Founded by P. A. Sangma after his expulsion from the Nationalist Congress Party in July 2012, it was accorded national party status on 7 June 2019. It is the first political party from Northeast India to have attained this status.
Veleru
Veleru is a village in Krishna district of the Indian state of Andhra Pradesh. It is located in Bapulapadu mandal of Nuzvid revenue division. It is one of the villages in the mandal to be a part of Andhra Pradesh Capital Region.

Veleru is also a village in Khammam district of the Indian state of Andhra Pradesh. It is located in Burgamphad mandal.

Andhra Pradesh Capital Region
Andhra Pradesh Capital Region (ISO: Āndhra Pradēś Rājadhāni Prāntaṁ) is the metropolitan area of the capital city of Andhra Pradesh in India. The region is spread across the districts of Krishna, Guntur, Palnadu, NTR, Bapatla and Eluru. It includes the major cities of Vijayawada and Guntur. Vijayawada is the largest city and headquarters of the region. It is one the most populated metropolitan areas in Andhra Pradesh. The region is under the jurisdiction of Andhra Pradesh Capital Region Development Authority and covers an area of 8,603 km2 (3,322 sq mi) under 58 mandals. The capital city Amaravati is an urban notified area and will cover 217.23 km2 (83.87 mi2), within the Andhra Pradesh Capital Region.
Walt Jung
Walter G Jung, commonly known as Walt Jung, is an American electronics engineer and author. He worked for Linear Technology and Analog Devices. He has written a number of books, the most popular of which is the IC Op Amp Cookbook, which has been in print since 1974.

He was named a Fellow of the Audio Engineering Society in 1979 for his work on distortion in operational amplifiers. He also was named to Electronic Design’s Engineering Hall of Fame in 2002. He is highly regarded as a design engineer.

Audio Engineering Society
The Audio Engineering Society (AES) is a professional body for engineers, scientists, other individuals with an interest or involvement in the professional audio industry. The membership largely comprises engineers developing devices or products for audio, and persons working in audio content production. It also includes acousticians, audiologists, academics, and those in other disciplines related to audio. The AES is the only worldwide professional society devoted exclusively to audio technology.

Established in 1948, the Society develops, reviews and publishes engineering standards for the audio and related media industries, and produces the AES Conventions, which are held twice a year alternating between Europe and the US. The AES and individual regional or national sections also hold AES Conferences on different topics during the year.
Yem Zone
Yem Zone is one of the zones in the Central Ethiopia Regional State. Yem is named for the Yem, people whose homeland lies in this zone, (see Kingdom of Yamma). Yem is bordered on the west and north by the Oromia Region, and separated from Gurage on the northeast and Hadiya on the east by the Omo River. High points in Yem include Mount Bor Ama, Mount Azulu and Mount Toba. The administrative center of Yem is Saja.

The form of subsistence agriculture practiced in this zone is based on cereal and enset. Important cash crops include teff, wheat, barley and pulses. Other important non-agricultural sources of income include selling butter and remittances. According to a 2004 report, Yem had 12 kilometers of asphalt roads, 11 kilometers of all-weather roads and 31 kilometers of dry-weather roads, for an average road density of 81 kilometers per 1,000 square kilometers.

Teff
Teff (Amharic: ጤፍ), Eragrostis tef, also known as Williams lovegrass and annual bunch grass, is an annual species of lovegrass native to Ethiopia, where it originated in the Ethiopian Highlands. It has been cultivated for its edible seeds, also called teff, since at least 1000 BCE and possibly as long ago as 4000 BCE. It is one of Ethiopia's most important staple crops. As a modern crop, it is low-yielding and susceptible to lodging; the tef shoot fly is a major pest.
Byk (surname)
Byk is a Slavic surname meaning bull. Notable people with the surname include:

Emil Byk (1845–1906), Polish-Austrian-Jewish lawyer and deputy

Heinrich Byk (fl. late 19th century), founder of BYK-Gulden Lomberg

Siarhei Byk (born 1990), Belarusian foil fencer

Emil Byk
Emil Byk (born 14 January 1845 at Janów (now Ukrainian: Dolyna), near Trembowla (Ukrainian: Теребовля), in Austrian Galicia (now Terebovlia, Ukraine) – 1906) was a Polish-Austrian-Jewish lawyer and deputy.

In 1885 he was chosen the chairman of the charity committee of the Cultusrath (German: Kultusrat, Board of Education) of Lemberg, and in 1902 became president of the Jewish community there. In 1890, he was a "Stadtverordneter" and president of the Shomer Israel Society. In 1891, he was elected to represent Brody and Zolochiv in the Reichsrat.

Some of his more important speeches in that body were:

an address in 1893 against Prince Liechtenstein on the establishment of a Jewish theological seminary.

an address on 4 May 1898 against the proposition that the sittings of the committee to consider the charges against ex-Prime Minister Kazimierz F. Graf Badeni should be public

1898 address on the "Ausnahmeszustand" (state of emergency) in Galicia, which was very well received.
Bible translations into Cornish
Translations of parts of the Bible into Cornish have existed since the 17th century. The early works involved the translation of individual passages, chapters or books of the Bible. The first full translation of the Bible into the Cornish language was published in 2011. The New Testament and Psalms in another translation went online in 2014.

Henry Jenner
Henry Jenner FSA (8 August 1848 – 8 May 1934) was a British scholar of the Celtic languages, a Cornish cultural activist, and the chief originator of the Cornish language revival.

Jenner was born at St Columb Major on 8 August 1848. He was the son of Henry Lascelles Jenner, who was one of two curates to the Rector of St. Columb Major, and later consecrated though not enthroned as the first Bishop of Dunedin and the grandson of Herbert Jenner-Fust. In 1869 Jenner became a clerk in the Probate Division of the High Court and two years later was nominated by the Primate at Canterbury for a post in the Department of Ancient Manuscripts in the British Museum, his father then being the Rector of Preston, a small village near Canterbury.

In 1904, he successfully campaigned for Cornwall to join the Celtic Congress. He jointly founded the Old Cornwall Society at St Ives in 1920 and in 1928 he was a joint founder of the Cornish Gorsedh.
King Square, London
King Square is a square in central London, in the St Luke's area of the London Borough of Islington. It is at the corner of Lever Street and Central Street, and shares in King Square Gardens to the west.

It is two green courtyards, one of a semi-private nature hemmed in by mid-rise blocks at the corner of Lever Street and Central Street; and King Square Gardens which takes the only street named as the 'Square', namely as its east side, and uses Lever Street and part of Goswell Road (designated part of the A1) for its other sides.

London Borough of Islington
The London Borough of Islington (/ˈɪzlɪŋtən/ ⓘ IZ-ling-tən) is a borough in North London, England. Forming part of Inner London, Islington has an estimated population of 215,667. It was formed in 1965, under the London Government Act 1963, by the amalgamation of the metropolitan boroughs of Islington and Finsbury.

The new entity remains the second smallest borough in London and the third-smallest district in England. The borough contains two Westminster parliamentary constituencies; Islington North, represented by former Labour Party leader Jeremy Corbyn, and Islington South & Finsbury represented by Labour MP Emily Thornberry. The local authority is Islington Council. The borough is home to football club Arsenal, one of the Premier League clubs in England, and its home Emirates Stadium.
Pleasure Death
Pleasure Death is the second mini-album by the Northern Irish rock band Therapy? It was released on 27 January 1992 by Wiiija Records on 12" vinyl. The album was recorded on 14 and 15 August 1991 and mixed on 16 and 17 August 1991 at Southern Studios in London. It reached number 1 on the UK Indie Charts.

The mini-album was collected, together with Babyteeth, as the compilation Caucasian Psychosis in 1992. In 1993, Southern Records re-issued the album on 12" vinyl, CD and cassette.

The album was remastered in 2010 by Harvey Birrell and has been touted for possible release since then, although nothing has been confirmed as yet.

Southern Records
Founded 1992 by John Loder, Southern Records is an independent record label (Loder also ran the recording facility Southern Studios). It is based in London and until 2008 had offices in the United States, France and Berlin.

The label is closely associated with Crass Records, Corpus Christi Records and Dischord Records.
Dorothy E. Smith
Dorothy Edith Smith CM (née Place; 6 July 1926 – 3 June 2022) was a British-born Canadian ethnographer, feminist studies scholar, sociologist, and writer with research interests in a variety of disciplines. These include women's studies, feminist theory, psychology, and educational studies. Smith was also involved in certain subfields of sociology, such as the sociology of knowledge, family studies, and methodology. She founded the sociological sub-disciplines of feminist standpoint theory and institutional ethnography.

Feminist theory
Feminist theory is the extension of feminism into theoretical, fictional, or philosophical discourse. It aims to understand the nature of gender inequality. It examines women's and men's social roles, experiences, interests, chores, and feminist politics in a variety of fields, such as anthropology and sociology, communication, media studies, psychoanalysis, political theory, home economics, literature, education, and philosophy.

Feminist theory often focuses on analyzing gender inequality. Themes often explored in feminist theory include discrimination, objectification (especially sexual objectification), oppression, patriarchy, stereotyping, art history and contemporary art, and aesthetics.
Cambridgeshire Fire and Rescue Service
Cambridgeshire Fire and Rescue Service is the statutory fire and rescue service for the non-metropolitan county of Cambridgeshire and the unitary authority of Peterborough.

Cambridgeshire Fire and Rescue Service was formed in 1974 from the merger of the Cambridgeshire and Isle of Ely Fire Brigade and the Huntingdon and Peterborough Fire Brigade (which had been formed in 1965 from the merger of Huntingdonshire Fire Brigade and the Soke of Peterborough Fire Brigade); all of which had existed since 1948.

The headquarters are located in Huntingdon.

Unitary authority
A unitary authority is a type of local authority in New Zealand and the United Kingdom. Unitary authorities are responsible for all local government functions within their areas, or perform additional functions that elsewhere are usually performed by multiple tiers of local government.

Typically, unitary authorities cover towns or cities that are large enough to function independently of a council or other authority. An authority can be a unit of a county or combined authority.
1911 New Hampshire football team
The 1911 New Hampshire football team was an American football team that represented New Hampshire College of Agriculture and the Mechanic Arts during the 1911 college football season—the school became the University of New Hampshire in 1923. The team finished with a record of 1–5–1.

The team began the season with new head coach George McCaa, but he resigned on October 9, after three games had been played, to become supervisor of athletics and assistant football coach at Lafayette College in Pennsylvania. Coaching of the team for the next two games is unclear—some contemporary sources named Joseph Courtney, apparently hired and quickly dismissed, but Courtney is believed to have been coach of the 1911 Boston College football team for the entire season. New Hampshire's athletic association hired Ray B. Thomas, who had coached the 1910 New Hampshire football team, to coach the final two games of the season.

1911 Boston College football team
The 1911 Boston College football team was an American football team that represented Boston College as an independent during the 1911 college football season. Led by first-year head coach Joseph Courtney, the team compiled a record of 0–7.
No Thanks! (game)
No Thanks! is a card game for three to seven players designed by Thorsten Gimmler.  Originally called Geschenkt! (presented (as a gift) in German) and published by Amigo Spiele in 2004, it was translated into English by Z-Man Games.

Z-Man Games
Z-Man Games is an American board game company, incorporated in 1999. It was named after its founder, Zev Shlasinger. The company is known for their Pandemic series of board games, as well as being the sole publisher for the English editions of popular Eurogames, such as Carcassonne and Terra Mystica.
Storängstorp
Storängstorp (Swedish pronunciation: [stuːrˈɛŋsˈtɔrp], 'Large Meadow Torp') is a historical estate in Karlskoga Municipality, Örebro County, Sweden. The building is located south of Karlskoga.

Lieutenant Anton af Geijerstam, born in 1758 to Emanuel af Geijerstam, resided at the estate in 1799, where he died in 1820. After his death, the estate was inherited by his widow, Christina Charlotta af Geijerstam (née Sundell), who held ownership until 1820. Subsequently, the estate was first acquired by Nils Olofsson and then by lay judge Peter Persson.

By 1883, the estate had been designated as a kronolänsmansboställe.

In November 2022, it was announced that the area northwest of the property has been identified as a potential site for residential development.

Lay judge
A lay judge, sometimes called a lay assessor, is a person assisting a judge in a trial. Lay judges are used in some civil law jurisdictions. Lay judges are appointed volunteers and often require some legal instruction. However, they are not permanent officers. They attend proceedings about once a month, and often receive only nominal or "costs covered" pay. Lay judges are usually used when the country does not have juries. Lay judges may be randomly selected for a single trial (as jurors are), or politically appointed. In the latter case they may usually not be rejected by the prosecution, the defense, or the permanent judges. Lay judges are similar to magistrates of England and Wales, but magistrates sit about twice as often.
Luge at the 2010 Winter Olympics – Women's singles
The women's luge at the 2010 Winter Olympics in Vancouver, Canada took place on 15–16 February at the Whistler Sliding Centre in Whistler, British Columbia. Germany's Sylke Otto was the two-time defending Olympic champion. Otto retired midway through the 2006-07 season in January 2007 to pregnancy and after suffering a crash at the track in Königssee, Germany. Erin Hamlin of the United States was the defending world champion. The test event that took place at the venue was won by Germany's Natalie Geisenberger. The last World Cup event prior to the 2010 games took place in Cesana, Italy on 31 January 2010 and was won by Geisenberger. Geisenberger's teammate Tatjana Hüfner, the defending Olympic bronze medalist, won the overall World Cup for 2009-10 season in women's singles.

Königssee bobsleigh, luge, and skeleton track
The Königssee bobsleigh, luge, and skeleton track is a venue in Germany for bobsleigh, luge and skeleton, located in Schönau am Königssee,  Bavaria, near Königssee (German for "King's Lake") and the border with Austria. Completed 57 years ago in 1968, it is the first permanent, artificially refrigerated bobsleigh, luge, and skeleton track in the world. In July 2021, the track was severely damaged by the floods that affected the European continent, and is currently under reconstruction.