hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
NuSMV
In computer science, NuSMV is a reimplementation and extension of the SMV symbolic model checker, the first model checking tool based on binary decision diagrams (BDDs).
The tool has been designed as an open architecture for model checking. It is aimed at reliable verification of industrially sized designs, for use as a backend for other verification tools and as a research tool for formal verification techniques.

NuSMV has been developed as a joint project between ITC-IRST (Istituto trentino di cultura in Trento), Carnegie Mellon University, the University of Genoa and the University of Trento.

NuSMV 2, version 2 of NuSMV, inherits all the functionalities of NuSMV. Furthermore, it combines BDD-based model checking with SAT-based model checking. It is maintained by Fondazione Bruno Kessler, the successor organization of ITC-IRST.

Model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash).

In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a structure satisfies a given logical formula. This general concept applies to many kinds of logic and many kinds of structures. A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure.
Luke Beaufort
Luke Beaufort (born 14 April 2001) is a South African cricketer. He made his List A debut on 21 March 2021, for Eastern Province in the 2020–21 CSA Provincial One-Day Challenge. Prior to his List A debut, he was named in South Africa's squad for the 2020 Under-19 Cricket World Cup.

2020–21 CSA Provincial One-Day Challenge
The 2020–21 CSA Provincial One-Day Challenge was a domestic one-day cricket tournament that was played in South Africa in February and March 2021. Free State and Northern Cape were the defending champions, after the title was shared due to the COVID-19 pandemic.

The first matches were scheduled to start on 10 January 2021, however the start of the season was delayed until February due to the pandemic. Initially the tournament was to be played between the fifteen South African provincial teams, split into two groups. However, after the tournament restarted in February 2021, Cricket South Africa (CSA) confirmed that the South Africa under-19 cricket team would also be included in the competition. CSA issued a revised schedule for the tournament, with all the matches being held in a bio-secure environment. Matches involving either Limpopo, Mpumalanga or the South Africa under-19 team did not have List A status.
Salik (road toll)
Salik (In Arabic: سالك meaning "clear and moving") is the name given to the electronic toll road system in Dubai, United Arab Emirates, which is based on RFID technology, automatically deducting a fee when a toll gate is passed under. The Salik toll was launched by Dubai's Dubai Roads and Transport Authority (RTA) on 1 July 2007.

On the 5th of July 2022, Salik was established as a public joint stock company as Salik Company PJSC.

Motorists are required to buy a 100 AED pre-paid card that is affixed to their windscreens. 4 AED ($1.08) is deducted from their account each time they pass through a toll gate. Initially, there were two toll gates, one near Al Garhoud Bridge, and one near Mall of the Emirates on Sheikh Zayed Road. Currently, Salik operates ten toll gates in Dubai.

Al Maktoum Bridge
Al Maktoum Bridge (in Arabic: جسر آل مكتوم; also known in Arabic as جسر المكتوم) is a bridge that crosses Dubai Creek in Dubai, United Arab Emirates. It is one of seven crossings of the creek and was the first bridge constructed in Dubai, as well as the first permanent crossing of the creek.

The other crossings are Al Shindagha Tunnel, Floating Bridge, Al Garhoud Bridge, Business Bay Crossing and the Infinity Bridge. The Dubai Metro also passes under the creek.
Limehouse, South Carolina
Limehouse is an unincorporated community in Jasper County, South Carolina, United States. The community is located at the intersection of US 17 and SC 170, 4 miles (6.4 km) south of Hardeeville, 10 miles (16 km) north of Savannah, Georgia and buffered to its west by the Savannah National Wildlife Refuge.

South Carolina Highway 170
South Carolina Highway 170 (SC 170) is a 49.010-mile (78.874 km) state highway, connecting northern Beaufort County with southern portions of Beaufort and Jasper counties. Due to increased population growth in both areas, the majority of the road is four lanes wide, with certain areas retaining the original two-lane configuration.
Alexie Gilmore
Alexie Gilmore (born December 11, 1976) is an American actress. She is known for her role as Dr. Sara Dillane on the Fox drama series New Amsterdam (2008). She has appeared in films such as The Babysitters (2007), Definitely, Maybe (2008), Surfer, Dude (2008), World's Greatest Dad (2009), Labor Day (2013), and There's Always Woodstock (2014). She also made several guest appearances as Devon Atwood, the ex-wife of Elijah Mundo on the CBS crime drama series CSI: Cyber (2015).

Surfer, Dude
Surfer, Dude is a 2008 American comedy film directed by S.R. Bindler and starring Matthew McConaughey.

Woody Harrelson claims the film is the most "non-work" he has ever done. McConaughey and Harrelson, who previously appeared together in EDtv, later co-starred in HBO's True Detective.
Mitsumame
Mitsumame (みつまめ) is a Japanese dessert. It is made of small cubes of agar jelly, a white translucent jelly made from red algae or seaweed. The agar is dissolved with water (or fruit juice such as apple juice) to make the jelly. It is served in a bowl with boiled red field peas (or sometimes azuki beans), often gyūhi, Shiratama dango and a variety of fruits such as peach slices, mikan, pieces of pineapples, and cherries. The mitsumame usually comes with a small pot of sweet black syrup, kuromitsu, which one pours onto the jelly before eating. Mitsumame is usually eaten with a spoon and fork.

Dango
Dango (団子) is a Japanese dumpling made with regular rice flour and glutinous rice flour. They are usually made in round shapes, and three to five pieces are served on a skewer, which is called kushi-dango (串団子).  The pieces are eaten with sugar, syrup, red bean paste, and other sweeteners. Generally, dango falls under the category of wagashi (Japanese confectionery), and is often served with green tea. It is eaten year-round, but the different varieties are traditionally eaten in given seasons. Dango is sometimes compared with mochi, but is different in that mochi is generally made only with glutinous rice.
The Rhythm of Life
"The Rhythm of Life" is a song from the 1966 Broadway musical Sweet Charity, written by composer Cy Coleman and lyricist Dorothy Fields.

In the musical, the song is performed by the character Big Daddy, the leader of an alternative "hippie" religious group/cult called the "Rhythm of Life Church." In the 1969 movie musical adaptation of Sweet Charity, directed by Bob Fosse (who also directed the original Broadway production), the song is performed by Sammy Davis Jr., who co-stars as Big Daddy in the film.

The same year as the release of the Sweet Charity film, Diana Ross & the Supremes and The Temptations covered the song for their G.I.T. on Broadway television special, originally broadcast November 12, 1969 on NBC with a soundtrack album released a few days earlier on November 7. Their version was released as a single in 1970 in Australia and New Zealand, where it was a top 5 and top 20 hit, respectively.

Sweet Charity (film)
Sweet Charity is a 1969 American musical comedy-drama film, directed and choreographed by Bob Fosse. It was adapted by Peter Stone from the 1966 stage musical—also directed and choreographed by Fosse— in turn based on the 1957 film Nights of Cabiria.

It stars Shirley MacLaine in the title role, a taxi dancer at a Times Square dance hall. The cast also features John McMartin, Chita Rivera, Paula Kelly, Stubby Kaye, Ricardo Montalbán, and Sammy Davis Jr.

The film was released by Universal Pictures on April 1, 1969. It received a mixed critical reception, but received three Academy Award nominations - Best Score, Best Art Direction and Best Costume Design. MacLaine was nominated for a Golden Globe Award for her performance. Retrospective reviews have been more positive.
Jack Lumsden
John Michael George "Jack" Lumsden (25 April 1927 – 22 October 2012) was a British modern pentathlete. He was the son of Lieutenant-General Herbert Lumsden and brother of Peter Lumsden (racing driver). He competed at the 1948 Summer Olympics.

Peter Lumsden (racing driver)
Peter James Scott Lumsden, CBE (20 February 1929 – 15 October 2017) was a British privateer motorsport competitor who gained renown between 1959 and 1965 racing at Le Mans, the Nürburgring, Silverstone & Goodwood before twice winning at Brands Hatch in his final season in 1965. He was the younger son of Lieutenant-General Herbert Lumsden and brother of the modern pentathlete Jack Lumsden.
Andelfingen railway station
Andelfingen is a railway station in the municipality of Andelfingen in the canton of Zurich, Switzerland. It is located on the Rheinfall line, within fare zone 161 of the Zürcher Verkehrsverbund (ZVV).

S24 (ZVV)
The S24 is a regional railway line of the Zurich S-Bahn of the Zürcher Verkehrsverbund (ZVV), Zurich transportation network. The line was significantly extended in June 2014, and again in December 2015, and has  
subsumed the former S21 line, initially numbered S1, which previously provided service in parts of its extended route.

At Zürich HB, trains of the S24 service usually depart from ground-level tracks (Gleis) 3 or 4. As of 2025, it is one of the only S-Bahn service that reverses direction of travel in one of the surface-level terminal tracks instead of passing through one of the station's underground platforms.
Mei Kurokawa
Mei Kurokawa (黒川芽以, Kurokawa Mei, born on 13 May 1987 in Nishitōkyō, Tokyo, Japan) is a Japanese actress and singer. Her given name Mei originates from her birth month (May) in English. She has been frequently featured in many Japanese dramas and Kaidan Shin Mimibukuro: Yūrei Mansion films.

Nishitokyo
Nishitokyo (西東京市, Nishitōkyō-shi, "City of West Tokyo") (Japanese pronunciation: [ɲiɕi̥toꜜːkʲoː]) is a city located in the western portion of Tokyo Metropolis, Japan. As of 1 January 2021, the city had an estimated population of 206,047, and a population density of 13,000 persons per km2. The total area of the city is 15.75 square kilometres (6.08 sq mi).
Laa (TV serial)
Laa (Urdu: لا, Arabic: لاء, lit. 'No') is a Pakistani drama serial written by Sarmad Sehbai, directed by Farooq Rind and produced by Momina Duraid. It stars Meekal Zulfiqar, Sadia Khan and Sabreen Hisbani in lead roles. The serial aired on Saturday evenings on Hum TV.

Farooq Rind
Farooq Rind is a Pakistani television director. He is best known for his drama serials Sanjha, Rishtay Kuch Adhooray Se, Mere Meherbaan and telefilm Nao Main Darya, which earned him several awards and nominations. He won Hum Award for Best Director Drama Serial for the serial Sanjha.
Willie Quiñones
Jose "Willie" Quiñones Figueroa (born February 22, 1956) is a Puerto Rican former professional basketball player who played for 20 seasons on Puerto Rico's top professional basketball league, Baloncesto Superior Nacional, with the Criollos de Caguas, Maratonistas de Coamo, Vaqueros de Bayamon, Gigantes de Carolina and Titanes de Morovis basketball teams. He was also a member of the Puerto Rico men's national basketball team.

Criollos de Caguas (basketball)
The Criollos de Caguas are a professional basketball team based in Caguas, Puerto Rico. They play in the Baloncesto Superior Nacional (BSN) League, the top division basketball league in Puerto Rico. They are the league's defending champions, having defeated the Osos de Manatí in 7 games in the final of the 2024 Baloncesto Superior Nacional season.
Periyanayaki Shrine, Thiruvithancode
Mary Matha Shrine is a Roman Catholic church located at Thiruvithamcode in Kanyakumari District of Tamil Nadu in India. The church is also called the Church of the Ascension of our Lord or the Ascension Jesus Church and is believed to have been established by St Francis Xavier. The shrine of Mary at Thiruvithamcode is rich with its own historical significance and importance. The fact that many saints have sanctified this soil by their visit to this place also adds more importance to this place. Thiruvithamcode was previously part of the Kingdom of Travancore.

Thiruvithamcode
Thiruvithamcode (also spelled Thiruvithancode), is a small panchayat town located in the Kanyakumari district of the Indian state of Tamil Nadu. Thiruvithamcode is about 20 km from Nagercoil and 2 km from Thuckalay.
2025 Cotton Bowl Classic (January)
The 2025 Cotton Bowl Classic was a college football bowl game played on January 10, 2025, at AT&T Stadium in Arlington, Texas. The 89th annual Cotton Bowl Classic featured the Texas Longhorns of the Southeastern Conference (SEC) and the Ohio State Buckeyes of the Big Ten Conference, who both advanced from a College Football Playoff quarterfinal game. The game began at approximately 6:30 p.m. CST and aired on ESPN. The Cotton Bowl Classic was one of the 2024–25 bowl games concluding the 2024 FBS football season. Sponsored by the Goodyear Tire and Rubber Company, the game was officially known as the College Football Playoff Semifinal at the 89th Goodyear Cotton Bowl Classic.

2024–25 NCAA football bowl games
The 2024–25 NCAA football bowl games were a series of college football bowl games in the United States, primarily played to complete the 2024 NCAA Division I FBS football season. Team-competitive bowl games in the Football Bowl Subdivision (FBS) began on December 14, 2024, and concluded with the 2025 College Football Playoff National Championship on January 20, 2025. Several all-star games then followed.
The High and the Mighty (film)
The High and the Mighty is a 1954 American aviation disaster film, directed by William A. Wellman, and written by Ernest K. Gann, who also wrote the 1953 novel on which his screenplay was based. Filmed in WarnerColor and CinemaScope, the film's cast was headlined by John Wayne, who was also the project's co-producer.

Wayne stars as a veteran airline first officer, Dan Roman, whose airliner has a catastrophic engine failure while crossing the Pacific Ocean. The film's supporting cast includes Claire Trevor, Laraine Day, Robert Stack, Jan Sterling, Phil Harris, and Robert Newton. Composer Dimitri Tiomkin won an Oscar for his original score, while his title song was also nominated for an Oscar; it did not actually appear in the theatrical release prints, nor in its much later restoration. The film received mostly positive reviews and grossed $8.5 million on its theatrical release.

The High and the Mighty (novel)
The High and the Mighty is a 1953 novel by Ernest K. Gann about an airline flight from Honolulu to San Francisco. Just past the halfway point, or the point of no return, the flight has a catastrophic engine failure puncturing the wing and fuel tanks. As the flight crew struggles to get the damaged airliner to safety, human drama unfolds for both the crew and passengers.

The High and the Mighty spent 57 weeks on The New York Times Best Seller list, from May 1953 to June 1954, peaking out at number three. The success of the novel led to the creation of a 1954 film directed by William A. Wellman and starring John Wayne and Robert Stack. The novel/film is considered the original "airline disaster" story, sparking a new genre of film with the likes of the Airport movie series and the spoof comedy Airplane! series. The novel won the silver medal at the Commonwealth Club of California's 23rd Annual California Book Awards for 1953 fiction.
Basanta Kumar Biswas
Basanta Kumar Biswas (6 February 1895 – 11 May 1915) was an Indian pro-independence activist involved in the Jugantar group who, in December 1912, played a role in the bombing of the Viceroy's parade in what came to be known as the Delhi-Lahore Conspiracy.

Biswas was one of the illustrious names of the early pro-independence activists of Bengal and the entire country. He was expert in bomb making and was initiated into revolutionary movement by Jugantar leaders Amarendranath Chattopadhyaya and Rash Behari Bose.

Revolutionary movement for Indian independence
The Revolutionary movement for Indian Independence was part of the Indian independence movement comprising the actions of violent underground revolutionary factions. Groups believing in armed revolution against the ruling British fall into this category, as opposed to the generally peaceful civil disobedience movement spearheaded by Mahatma Gandhi.

The revolutionary groups were mainly concentrated in Bengal, Bombay, Bihar, the United Provinces and Punjab. More groups were scattered across India.
Split Single (band)
Split Single is the American indie rock solo project of Evanston, Illinois-based musician Jason Narducy.

Narducy is a mainstay in the Chicago-area rock community, having played in bands like Verboten, Jason & Alison, Verbow, as well as being the touring bassist for Bob Mould and Superchunk. Narducy started the project in 2011 and has released three albums: 2014's Fragmented World, 2016's Metal Frames, and 2021's Amplificado. In addition, the band released a concert EP, 2015's Live EP.

Split Single's music aims for power-pop melodies, punchy arrangements and wry and affecting lyrics. Spoon's Britt Daniel played bass and Superchunk drummer Jon Wurster are featured on Fragmented World. On sophomore effort Metal Frames, Wurster returned on drums while Wilco's John Stirratt was recruited to play bass.

Jon Wurster
Jonathan Patrick Wurster (born October 31, 1966) is an American drummer, percussionist, vocalist and comedy writer. As a musician, he is best known for his work with Superchunk, the Mountain Goats, and Bob Mould. He is also known for appearing on The Best Show with Tom Scharpling.

Wurster has recorded and performed live with Jay Farrar, Ben Gibbard, Robert Pollard, Katy Perry, The New Pornographers, Rocket from the Crypt, Alejandro Escovedo, and R.E.M.
Tug Wilson (rugby)
Kenneth James "Tug" Wilson (25 November 1938 - 1 December 1993) was an English rugby union international.

Born in Newark, Wilson attended The King's School, Grantham.

Wilson, a physical training instructor at RAF Innsworth, was a RAF heavyweight boxing champion and once had a points win over Billy Walker. He played his rugby in the RAF and for Gloucester, gaining an England cap as a prop against France at Twickenham in the 1963 Five Nations, before signing with rugby league side Oldham. In his first season at Oldham, 1963–64, he was part of the team's Challenge Cup semi-final run. He played over 300 games for Oldham.

The King's School, Grantham
The King's School is an 11–18 boys grammar school with academy status, in the market town of Grantham, Lincolnshire, England. The school's history can be traced to 1329, and was re-endowed by Richard Foxe in 1528. Located on Brook Street, the school's site has expanded over the course of its history, with some school buildings dating back to 1497.

Today, King's remains an all-boys grammar school, with just over 1,000 pupils. King's and another Grantham grammar school, Kesteven and Grantham Girls' School, share teaching resources for sixth form study in certain subjects; since 2006–2007, timetables for this study have been co-ordinated between both schools.
Pubudu Wickrama
Pubudu Wickrama (born 28 December 1980) is a Sri Lankan former cricketer. He played in 70 first-class and 41 List A matches between 1997/98 and 2008/09. He made his Twenty20 debut on 17 August 2004, for Sri Lanka Air Force Sports Club in the 2004 SLC Twenty20 Tournament.

2004 SLC Twenty20 Tournament
The 2004 SLC Twenty20 Tournament is the 1st season of the official Twenty20 domestic cricket competition in Sri Lanka. 15 teams in total, five representing four provinces of Sri Lanka and a Sri Lanka Schools XI team participating in the competition. The competition began on 17 August 2004, when Bloomfield Cricket and Athletic Club played the Police Sports Club at Colts Cricket Club Ground, Colombo.

This season comprised eight regular matches, four quarter finals, two semi finals and a final.
Lázně Kynžvart
Lázně Kynžvart (German: Bad Königswart, Königswart) is a spa town in Cheb District in the Karlovy Vary Region of the Czech Republic. It has about 1,400 inhabitants. It is known for the Kynžvart Castle.

Lázně Kynžvart is famous for its sanatorium, which is designed for children with nonspecific respiratory disorders.

Karlovy Vary Region
The Karlovy Vary Region (Czech: Karlovarský kraj) is an administrative unit (Czech: kraj) of the Czech Republic, located in the westernmost part of the country. It is named after its capital Karlovy Vary. It is known for spas, which include Karlovy Vary and Mariánské Lázně.

The Karlovy Vary Region, as a higher territorial self-governing unit, was created in 2000 in the northern part of the West Bohemian Region. The seat of the region is Karlovy Vary. In terms of size, number of municipalities, and population, it ranks among the smaller regions of the Czech Republic. Its area (3,314 km²) covers 4.25% of the territory of the Czech Republic. The Karlovy Vary Region is the third smallest region by area, right after Prague and the Liberec Region. By population, the Karlovy Vary Region is the smallest region in the Czech Republic, with approximately 279,000 inhabitants.
Polar diagram (sailing)
A polar diagram, or polar plot, is a graph that shows a sailboat's potential speed over a range of wind speeds and relative wind angles. It normally consists of the right side of a line chart with the radius representing the yacht speed and the angle representing the wind direction blowing from top to bottom.  Several lines are normally drawn on the chart representing wind speed. To identify how fast a yacht could potentially go you select a particular wind speed curve and particular wind angle. Refer to the graph to the right for an example.

Polar diagrams are normally specific to a particular sailboat design and are created by the yacht designer.  Polar diagrams can also be created using a velocity prediction program or by a range of computer programs including iPolar and iRegatta.

Velocity prediction program
A velocity prediction program (VPP) is a computer program which solves for the performance of a sailing yacht in various wind conditions by balancing hull and sail forces.  VPPs are used by yacht designers, boat builders, model testers, sailors, sailmakers, also America's Cup teams, to predict the performance of a sailboat before it has been built or prior to major modifications.
Black Lies, White Lies
Black Lies, White Lies: The Truth According to Tony Brown is a 1995 book by Tony Brown, published by William Morrow & Company.

Brown advocates for black self-reliance. He criticizes black politicians' ties to the Democratic Party. He stated that African-Americans make up four "tribes". Richard Kahlenberg of The Washington Post stated that "conspiracy theories", including those targeting the National Institutes of Health (NIH) and saying that AIDS research funds are not distributed properly, make up about 33% of the content. Kahlenberg stated that the criticisms of affirmative action for wealthier minorities are "flashes of insight".

Tony Brown (journalist)
William Anthony Brown (born April 11, 1933) is an American journalist, academic and businessman. He is best known as the commentator of the long-running syndicated television show Tony Brown's Journal.