hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Symbolic trajectory evaluation
Symbolic trajectory evaluation (STE) is a lattice-based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour are removed from the circuit model. It was first developed by Carl Seger and Randal Bryant in 1995 as an alternative to "classical" symbolic model checking.

Randal Bryant
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

Bryant has received many recognitions for his research on hardware and software verification as well as algorithms and computer architecture. His 1986 paper on symbolic Boolean manipulation using Ordered Binary Decision Diagrams (BDDs) has the highest citation count of any publication in the Citeseer database of computer science literature. In 2009 Bryant was awarded the Phil Kaufman Award by the EDA Consortium "for his seminal technological breakthroughs in the area of formal verification."
Cold Blood (album)
Cold Blood is the first studio LP album by Cold Blood, originally released in 1969. It was produced for San Francisco Records and distributed by Atlantic Records. The album reached No. 30 in Canada and No. 23 in the US.

Cold Blood (band)
Cold Blood is a long-standing R&B horn funk band founded by Larry Field in 1968, and was originally based in the East Bay region of the San Francisco Bay Area. The band has also performed and recorded under the name Lydia Pense and Cold Blood, due to the popularity of their lead singer, Lydia Pense.
1955 Toronto municipal election
Municipal elections were held in Toronto, Ontario, Canada, on December 5, 1955. Incumbent mayor Nathan Phillips, elected a year earlier, was easily reelected, defeating Controller Roy E. Belyea and Trotskyist Ross Dowson.

Two referendums were held with the elections. One, which passed, was to extend the municipal term to two years. Previously elections had been held every year. There was also a vote on funding a new Toronto City Hall, which was rejected by voters.

Toronto Board of Control
The Board of Control of Toronto, Ontario, Canada, was a part of its municipal government until it was abolished in 1969. It served as the executive committee of the Toronto City Council. When it was initially created in 1896 by mandate of the provincial government, it consisted of three Controllers appointed from and by the aldermen, and presided over by the Mayor of Toronto. Beginning in 1904, the Board of Control was directly elected by the city's electorate and consisted of four Controllers, presided over by the Mayor. Each voter could vote for up to four candidates, and the four with the most votes were elected. By tradition the controller who received the most votes was given the powerful budget chief position.
Tanner (film)
Tanner (German: Der schwarze Tanner) is a 1985 Swiss drama film directed by Xavier Koller. The film was selected as the Swiss entry for the Best Foreign Language Film at the 59th Academy Awards, but was not accepted as a nominee. In 1986, it won the Grand Special Prize at the 25th Karlovy Vary International Film Festival.

Xavier Koller
Xavier Koller (born 17 June 1944, Schwyz, Switzerland) is a Swiss film director and screenwriter. He is most known for his work on the Disney live action film Squanto: A Warrior's Tale, an adventure historical fiction film based on the life of Squanto, and his film Journey of Hope, which won the Academy Award for Best Foreign Language Film in 1990.
Paul the Puppeteer
Paul the Puppeteer (German: Pole Poppenspäler) is an 1874 novella by the German writer Theodor Storm. It is about a Frisian woodturner who tells the story of how he got his nickname.

An English translation by Denis Jackson was published in 2004. The story has been adapted for film multiple times.

Theodor Storm
Hans Theodor Woldsen Storm (German pronunciation: [ˈteːodoːɐ̯ ˈʃtɔʁm] ⓘ; 14 September 1817 – 4 July 1888), commonly known as Theodor Storm, was a German-Frisian writer and poet. He is considered to be one of the most important figures of German realism.
Cities (TV series)
Cities is a Canadian documentary television series broadcast on CBC Television from 1979 to 1980. Produced and directed by John McGreevy, the series featured a celebrity who would appear in an episode profiling a personal favourite city or more specific location.

The series premiere featured Peter Ustinov profiling Leningrad, Russia. Later episodes included Glenn Gould in Toronto, Elie Wiesel in Jerusalem, R. D. Laing in Glasgow, Anthony Burgess in Rome, Mai Zetterling in Stockholm, George Plimpton in New York City, Germaine Greer in Sydney, John Huston in Dublin, Jonathan Miller in London, Melina Mercouri in Athens, Studs Terkel in Chicago, and Hildegard Knef in Berlin.

Gould's episode received three Genie Award nominations at the 1st Genie Awards, for Outstanding Independent Film, Non-Dramatic Script and Outstanding Documentary - 30 Minutes and Over.

R. D. Laing
Ronald David Laing (7 October 1927 – 23 August 1989), usually cited as R. D. Laing, was a British psychiatrist who wrote extensively on mental illness, particularly psychosis and schizophrenia.

Laing's views on the causes and treatment of psychopathological phenomena were influenced by his study of existential philosophy and ran counter to the chemical and electroshock methods that had become psychiatric orthodoxy. Laing took the expressed feelings of the individual patient or client as valid descriptions of personal experience rather than simply as symptoms of mental illness. Though associated in the public mind with the anti-psychiatry movement, he rejected the label. Laing regarded schizophrenia as the normal psychological adjustment to a dysfunctional social context.

Politically, Laing was regarded as a thinker of the New Left. He has been theatrically portrayed by Mike Maran, Alan Cox, Billy Mack and by David Tennant in the 2017 film Mad to Be Normal.
Spring Lake High School
Spring Lake High School   is located in Spring Lake, Michigan, in the United States, in the Spring Lake Public Schools District, serving grades 9-12. It serves most of Spring Lake Township in Ottawa County, except slivers zoned to Grand Haven Area Public Schools and Fruitport Community Schools.

Spring Lake, Michigan
Spring Lake is a village in Ottawa County in the U.S. state of Michigan. The population was 2,497 at the 2020 census. The village is located within Spring Lake Township. The two share a ZIP code, which also serves most of the neighboring city of Ferrysburg and slivers of Crockery Township in Ottawa County and Fruitport Township in Muskegon County.
John Deighan
John Deighan (born 19 December 1982) is a Gaelic footballer who plays for the Derry county team, with whom he has won a National League title. He plays his club football for Limavady Wolfhounds GAC. He plays as goalkeeper for Derry.

Limavady GAC
Limavady Wolfhounds GAC (Irish: CLG Na Cúnna, Léim an Mhadaidh) is a Gaelic Athletic Association club based in Limavady, County Londonderry, Northern Ireland. The club is a member of Derry GAA and currently caters for both Gaelic football and camogie.

Underage teams up to U-12s play in North Derry league and championships, from U-14 upwards teams compete in All-Derry competitions. Limavady have won the Derry Intermediate Football Championship once and the Derry Junior Football Championship three times with Aston Pinkerton featuring in all three finals .
Major League Baseball rivalries
Throughout its history, Major League Baseball has featured numerous rivalries between teams and cities. These rivalries have developed for a variety of reasons, most commonly geographic proximity, frequent competition, specific incidents, and cultural, linguistic, or national affiliations.

2022 National League Division Series
The 2022 National League Division Series (NLDS) were the two best-of-five playoff series in Major League Baseball’s (MLB) 2022 postseason to determine the participating teams of the 2022 National League Championship Series (NLCS). These matchups were:

(1) Los Angeles Dodgers (NL West champions) vs. (5) San Diego Padres (Wild Card Series winner): Padres win series 3–1.

(2) Atlanta Braves (NL East champions) vs. (6) Philadelphia Phillies (Wild Card Series winner): Phillies win series 3–1.

The Division Series saw both top seeds lose in the round for the third time in four years.
Çorum Province
Çorum (Turkish: Çorum İli) is a province in the Black Sea Region of Turkey, but lying inland and having more characteristics of Central Anatolia than the Black Sea coast. Its area is 12,428 km2, and its population is 524,130 (2022). Its provincial capital is the city of Çorum, the traffic code is 19.

Central Anatolia region
The Central Anatolia region (Turkish: İç Anadolu Bölgesi) is a geographical region of Turkey. The largest city in the region is Ankara, the capital of Turkey. Other large cities are Konya, Kayseri, Eskişehir, Sivas, Aksaray and Kırşehir.

Located in Central Turkey, it is bordered by the Aegean region to the west, the Black Sea region to the north, the Eastern Anatolia region to the east, and the Mediterranean region to the south. It also shares a very slight border with the Marmara region in Bilecik Province.
Yotta Technologies
Yotta Technologies is an American financial technology (fintech) company that offers sweepstakes games, and that formerly offered a prize-linked savings account.
On May 11, 2024, due to the failure of Synapse, a fintech company on which Yotta depended, Yotta's customers lost access to the money held in their accounts. Because Yotta is not a bank, Yotta's customers were not entitled to deposit insurance. As of November 2024, depositors have been offered only some of the money they had provided to Yotta.

Prize-linked savings account
A prize-linked savings account (PLSA) or lottery-linked deposit account is a savings account in which some of the interest payment on bank deposits or marketing dollars are distributed as prizes based on chance. They are attractive to consumers as they function both as a sweepstakes or game of chance (as there is a small chance of a large prize) and as savings vehicle (the deposit is never lost, unlike normal lotteries). PLSAs are similar to lottery bonds, except they are offered by banks, credit unions, prepaid card companies, and financial technology companies, and they can be held for a period of time determined by the consumer. Sometimes the returns are in-kind prizes rather than cash.

PLSAs have attracted customers who were previously familiar with only raffles or lotteries, but were interested in receiving guaranteed saving security as well as an attractive incentive in the form of lotteries.
Hector MacLennan
Sir Hector Ross MacLennan FRCP FRCPGlas FRCOG (1 November 1905 – 6 January 1978) was a Scottish gynaecologist, knighted in the 1965 Birthday Honours. From 1963 to 1966, he was president of the Royal College of Obstetricians and Gynaecologists.

Robert Maclennan, Baron Maclennan of Rogart
Robert Adam Ross "Bob" Maclennan, Baron Maclennan of Rogart, PC (26 June 1936 – 18 January 2020) was a British Liberal Democrat politician and life peer.

He was the last leader of the Social Democratic Party (SDP), serving during the negotiations that led to its merger with the Liberal Party in 1988. He then became joint interim leader of the new party, known as the Social and Liberal Democrats (SLD) and later as the Liberal Democrats. He served as a Member of Parliament (MP) from 1966 to 2001, when he was elevated to the House of Lords.
Fali Sam Nariman
Fali Sam Nariman (10 January 1929 – 21 February 2024) was an Indian jurist. He was a senior advocate to the Supreme Court of India from 1971 and was the President of the Bar Association of India from 1991 to 2010. Nariman was an internationally recognised jurist on international arbitration and was also noted for his impact on constitutional jurisprudence in India. He was honoured with the 19th Lal Bahadur Shastri National Award for Excellence in Public Administration in 2018. He was one of India's most distinguished constitutional lawyers and argued several leading cases. He was the Additional Solicitor General of India from May 1972 to June 1975.

Nariman was awarded the Padma Bhushan (1991), Padma Vibhushan (2007) and Gruber Prize for Justice (2002) and was a nominated member of the Rajya Sabha, the Upper House of the Parliament of India for a term (1999–2005).

Bishop Cotton School (Shimla)
Bishop Cotton School is a private boarding school for boys aged 7–18 years old in Shimla, Himachal Pradesh, India. It is one of the oldest boarding schools for boys in Asia, having been founded on 28 July 1859 by Bishop George Edward Lynch Cotton. Bishop Cotton also founded the Bishop Cotton School in Nagpur. The alumni of Bishop Cotton are known as Old Cottonians. The Bishop Cotton School, Shimla celebrated 150 years of existence in 2009.

Bishop Cotton School has been ranked among the best boys-only residential schools of India by media such as The Times of India, Outlook, and Education World.
Abbey of Saint-Maurice d'Agaune
The Abbey of Saint Maurice, Agaunum (French: Abbaye de Saint-Maurice d'Agaune or Saint-Maurice-en-Valais) is a Swiss monastery of canons regular in Saint-Maurice, Canton of Valais, which dates from the 6th century. It is situated against a cliff in a section of the road between Geneva and the Simplon Pass (to northern Italy). The abbey itself is a territorial abbacy and not part of any diocese. It is best known for its connection to the martyrdom of the Theban Legion, its original practice of perpetual psalmody, and a collection of art and antiquity.

The abbey is a Swiss heritage site of national significance.

Theban Legion
The Theban Legion (also known as the Martyrs of Agaunum) figures in Christian hagiography as a Roman legion from Egypt —"six thousand six hundred and sixty-six men" — consisting of Christian soldiers
who were martyred together in 286, according to the hagiographies of Maurice, the chief among the Legion's saints. Their feast day is held on September 22.
1969–70 Liga Bet
The 1969–70 Liga Bet season saw Hapoel Nahariya,  Hapoel Zikhron Ya'akov, and Hapoel Yehud win their regional divisions and promoted to Liga Alef. Hapoel Beit Shemesh, which placed third in South Division B was also promoted, as the top two clubs, Hapoel Ramla and Hapoel Ashdod were involved in match-fixing scandal, and as a result, both clubs were disqualified by the IFA.

Hapoel Beit Shemesh F.C.
Hapoel Beit Shemesh Football Club (Hebrew: מועדון כדורגל הפועל בית שמש) was an Israeli football club based at Beit Shemesh. In its prime the club played in the second tier of the Israeli football league system. The club was dissolved in 1994 due to financial difficulties. A successor club, Ironi Beit Shemesh, plays in Liga Bet.
Francis M. Pottenger Jr.
Francis Marion Pottenger Jr. (May 29, 1901 – January 4, 1967) was an American physician and raw food diet advocate. He was best known for his cat study that sparked interest in a diet high in raw animal products including uncooked meats and unpasteurized dairy. Pottenger was a disciple of Canadian dentist and diet food advocate Weston A. Price. The Price-Pottenger Nutrition Foundation is named after Price and Pottenger.

Price-Pottenger Nutrition Foundation
The Price-Pottenger Nutrition Foundation (PPNF) is a U.S. 501(c)(3) non-profit organization established "to teach the public and professionals about foods, lifestyle habits, healing modalities, and environmental practices."
Joan Kerr
Joan Kerr AM FAHA (1938–2004) was an Australian academic and cultural preservationist. Initially her interest was sparked in preserving the architectural heritage of Australia, but over time her interests spread to art history and Australian culture in general. She taught at many universities throughout the country and was involved in Historical Societies and Preservation Trusts in a variety of the territories. She wrote books on Australia's historic architecture, feminist artists, cartoonists and her major life work was producing the Dictionary of Australian Artists: Painters, Sketchers, Photographers and Engravers to 1870.

National Gallery of Australia
The National Gallery of Australia (NGA), formerly the Australian National Gallery, is the national art museum of Australia as well as one of the largest art museums in Australia, holding more than 166,000 works of art. Located in Canberra in the Australian Capital Territory, it was established in 1967 by the Australian Government as a national public art museum. As of 2022 it is under the directorship of Nick Mitzevich.
Eivind Petershagen
Eivind Petershagen (19 March 1888 – 30 July 1965) was a Norwegian newspaper editor and politician for the Communist Party.

He was a smallholder and forest worker by profession. He was a member of the Labour Party since 1916, but joined the Communist Party in 1923. He was a member of the municipal council for Åmot Municipality for 28 years, and served as mayor from 1923 to 1925, in 1945 and from 1946 to 1947. He chaired the Communist Party branch in Hedmark from 1923 to 1925, and in the 1924 Norwegian parliamentary election he was elected to the Parliament of Norway. He served as a deputy parliamentary representative during the terms 1928–1930 and 1945–1949, and also stood for parliamentary election in 1930 without success.

He was the editor of Norges Kommunistblad for a short period during the summer of 1928, and the editor of Arbeideren from 1928 to 1929.

Åmot Municipality
Åmot is a municipality in Innlandet county, Norway. It is located in the traditional district of Østerdalen. The administrative centre of the municipality is the village of Rena. Other villages in the municipality include Åsta, Osneset, and Snippen.

The 1,340-square-kilometre (520 sq mi) municipality is the 72nd largest by area out of the 357 municipalities in Norway. Åmot is the 200th most populous municipality in Norway with a population of 4,205. The municipality's population density is 3.1 inhabitants per square kilometre (8.0/sq mi) and its population has decreased by 3.7% over the previous 10-year period.
Trun railway station
Trun railway station (German: Bahnhof Trun) is a railway station in the municipality of Trun, in the Swiss canton of Graubünden. It is an intermediate stop on the 1,000 mm (3 ft 3+3⁄8 in) gauge Reichenau-Tamins–Disentis/Mustér line of the Rhaetian Railway.

Trun, Switzerland
Trun is a municipality in the Surselva Region in the canton of the Grisons in Switzerland.  The municipality of Schlans merged on 1 January 2012 into the municipality of Trun.

The village was formerly known as Truns and is referred to by that name in some older sources.
Kirill Mikhaylov
Kirill Mikhaylov (born 2 April 1983) is a Russian cross-country skier, biathlete, and four-time Paralympic Champion. He competed in the classification category, standing events.

Mikhaylov competed in cross-country skiing at the 2006 Winter Paralympics. He took the gold in the men's 20 km and the bronze in the men's 10 km, standing. He placed 5th in the men's relay with Alfis Makamedinov and Vladimir Kiselev and 4th in the men's 5 km, standing.

Mikhaylov competed at the 2010 Winter Paralympics in cross-country skiing and biathlon. In cross-country skiing, he took the gold in the men's 1x4/2x5 km relay together with Sergey Shilov, Nikolay Polukhin, and guide Andrey Tokarev, and in the 20 km, standing. He took the silver in the 1 km sprint and the 10 km, standing. In biathlon, he took the gold medal in the men's 3 km pursuit, standing. He placed 4th in the 12.5 km individual standing.

Cross-country skiing at the 2006 Winter Paralympics – Men's long distance
Men's long distance cross-country classic skiing events at the 2006 Winter Paralympics were contested at Pragelato on 18–19 March.

There were 3 events, of 20 km or 15 km distance. Standings were decided by applying a disability factor to the actual times achieved.
Vale, Georgia
Vale (Georgian: ვალე) is a town in southwestern Georgia, 12 km (7 mi) from the city of Akhaltsikhe, Samtskhe-Javakheti region, at the border with Turkey. According to the 2014 census it has a population of 3,646. Vale is a border crossing point into the Turkish village of Türkgözü, in Posof district.

The town is situated on the right bank of the Potskhovi River (a tributary to the Mtkvari), on the slopes of the Lesser Caucasus at 1,000-1,200 m above sea level.

Vale is first recorded as a village in the 10th century. It emerged as a center of lignite industry in the Soviet era and acquired town status in 1962.

Vale houses a medieval Georgian Church of the Theotokos originally built in the 10th century, but reconstructed as a three nave basilica in the 16th century. The town is a home to a sizable Armeno-Georgian Catholic community.

Catholic Church in Georgia
The Catholic Church in Georgia, since the 11th-century East–West Schism, has been composed mainly of Latin Church Catholics; a very large community of the Armenian Catholic Church has existed in Georgia since the 18th century.

A small Georgian Greek Catholic community has existed for a number of centuries, though has never constituted an autonomous sui iuris Church. This was never established as a recognized particular church of any level (exarchate, ordinariate, etc.), within the communion of Catholic Churches, and accordingly has never appeared in the list of Eastern Catholic Churches published in the Annuario Pontificio.
Date Records
Date Records was a sub-label of Columbia Records which had two different incarnations.  The first incarnation was a short-lived rockabilly label in 1958 which included a release by Billy "Crash" Craddock.  The more significant incarnation was relaunched in February 1966 by industry executive Tom Noonan.

The label was relaunched to promote Columbia's acquired and independently produced recordings as opposed to Columbia's in-house productions.

The most successful acts on the Date label were Peaches & Herb and the Zombies.  The label was dissolved in 1970, except for one more single ("I'll Close the Door Behind Me" by the Pooh, an English-language version of "Tanta Voglia Di Lei") that was released in early 1972.  Date acts were transferred to either the Columbia or Epic labels with most reissues of Date material on Epic.  Sony Music Entertainment now owns the Date catalogue which is managed by Legacy Recordings.

Billy "Crash" Craddock
Billy Wayne "Crash" Craddock (born June 16, 1939) is an American country and rockabilly singer. He first gained popularity in Australia in the 1950s with a string of rockabilly hits, including the Australian number-one hits "Boom Boom Baby" and "One Last Kiss" in 1960 and 1961, respectively. Switching to country music, he gained popularity in the United States in the 1970s with a string of top-10 country hits, several of which were number ones, including "Rub It In", "Broken Down in Tiny Pieces", and "Ruby Baby". Craddock is known to his fans as "the King of Country Rock Music" and "Mr. Country Rock" for his up-tempo, rock-influenced style of country music.