hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Logical machine
A logical machine or logical abacus is a tool containing a set of parts that uses energy to perform formal logic operations through the use of truth tables.  Early logical machines were mechanical devices that performed basic operations in Boolean logic. The principal examples of such machines are those of William Stanley Jevons (logic piano), John Venn, and Allan Marquand.

Contemporary logical machines are computer-based electronic programs that perform proof assistance with theorems in mathematical logic.  In the 21st century, these proof assistant programs have given birth to a new field of study called mathematical knowledge management.

Proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.

A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics.
Palazzuolo sul Senio
Palazzuolo sul Senio (formerly Palazzolo di Romagna; Romagnolo: Palazol) is a comune (municipality) in the Metropolitan City of Florence in the Italian region Tuscany, located about 45 kilometres (28 mi) northeast of Florence.

Palazzuolo sul Senio borders the following municipalities: Borgo San Lorenzo, Brisighella, Casola Valsenio, Castel del Rio, Firenzuola, Marradi.

Since 2018, it has been designated as one of I Borghi più belli d'Italia ("The most beautiful villages of Italy").

Casola Valsenio
Casola Valsenio (Romagnol: Chêsla) is a comune (municipality) in the Province of Ravenna in the Italian region Emilia-Romagna, located about 60 kilometres (37 mi) southeast of Bologna and about 60 kilometres (37 mi) southwest of Ravenna.
Kumasi Academy
Kumasi Academy, also known as KUMACA, is a category B public, senior high school located in Asokore-Mampong, in the Ashanti Region of Ghana. Asokore-Mampong is the capital of the Asokore Mampong Municipal Assembly and about 8 kilometres (5.0 mi) from the central business district of Kumasi off the Kumasi Airport-Aboabo Road.

Ashanti Region
The Ashanti Region is located in the southern part of Ghana and is the third largest of 16 administrative regions, occupying a total land surface of 24,389 km2 (9,417 sq mi) and making up 10.2 percent of the total land area of Ghana. It is the most populated region in Ghana, with a population of 5,440,463 according to the 2021 census, accounting for around one-sixth of Ghana's total population. The Ashanti Region is known for its gold bar and cocoa production. The largest city and capital of Ashanti is Kumasi.
El Cerrito Plaza station
El Cerrito Plaza station is a Bay Area Rapid Transit (BART) station in El Cerrito, California, located adjacent to the El Cerrito Plaza shopping center. It primarily serves southern El Cerrito, northern Albany, and Kensington, along with nearby portions of Berkeley and Richmond. Nearly identical in form to El Cerrito del Norte station, El Cerrito Plaza station has two side platforms serving the line's two elevated tracks, with a fare lobby underneath. The Ohlone Greenway runs through the station area. The station is served by the Orange and Red lines.

Red Line (BART)
The Red Line is a Bay Area Rapid Transit (BART) line in the San Francisco Bay Area that runs between Richmond station and Millbrae station via San Francisco International Airport station. It has 24 stations in Richmond, El Cerrito, Berkeley, Oakland, San Francisco, Daly City, Colma, South San Francisco, San Bruno, and Millbrae. The line shares tracks with the four other mainline BART services.

As of February 14, 2022, the line runs until 9 pm every day. At other times, service along the route is provided by the Orange and Yellow Lines, with timed cross-platform transfers at 19th Street Oakland and MacArthur stations.
Losna (island)
Losna is an island in Solund Municipality in Vestland county, Norway. The 15.3-square-kilometre (5.9 sq mi) island lies at the mouth of the Sognefjorden, on the north side of the Sognesjøen. The Tollesundet strait lies between the island and the mainland of Hyllestad Municipality to the east and the Krakhellasundet strait lies between the island and the nearby island of Sula to the west. The island of Sula sits only about 600 metres (2,000 ft) to the west. The highest point on the very rocky island is the 451-metre (1,480 ft) tall mountain Meinova on the northern end of the island.

The island's residents all live on the southeastern side of the island, in and around the small village of Losnegard. The only access to the island is by boat, and there are ferry routes from Rutledal to the south in Gulen Municipality and to the village of Krakhella on the island of Sula to the west.

Rutledal
Rutledal is a village in Gulen Municipality in Vestland county, Norway. The village is located at the mouth of the Sognefjorden, on the south side on the mainland. Rutledal has a ferry quay that has regular connections to the islands of Solund Municipality to the northwest and to Hyllestad Municipality on the mainland across the fjord to the north. Rutledal is located about 20 kilometres (12 mi) to the northwest of the village of Brekke and about 15 kilometres (9.3 mi) to the north of the municipal centre of Eivindvik.

Rutledal is a rural village sitting at the northern end of a narrow, forested valley. The Rutledal area has a number of farms that have been cleared of trees, although not all are currently in use. For a time, Rutledal had a small store and a post office.
Mitja Kunc
Mitja Kunc (born 12 November 1971 in Črna na Koroškem, SFR Yugoslavia), is a former Slovenian alpine skier.

He has one victory in Alpine Skiing World Cup. The first peak of his career was in 1994 Winter Olympics, where he finished 4th in slalom. In the following years he was treated for injuries until the second peak of his career in years 2000–2002, when he won a race in Yongpyong and a bronze medal in Alpine World Ski Championships 2001, both of them in slalom. He retired in 2005 after the race in Kranjska Gora.

Slalom skiing
Slalom is an alpine skiing and alpine snowboarding discipline, involving skiing between poles or gates. These are spaced more closely than those in giant slalom, super giant slalom and downhill, necessitating quicker and shorter turns.  Internationally, the sport is contested at the FIS Alpine World Ski Championships, and at the Olympic Winter Games.
Esporte Clube 14 de Julho
Esporte Clube 14 de Julho, commonly known as 14 de Julho, is a Brazilian football club based in Santana do Livramento, Rio Grande do Sul state.

The club was founded on 14 July 1902, in the Santana do Livramento-Rivera border, which separates Brazil and Uruguay. In the first decades after the club's foundation, they played several games and competitions in Uruguay.

During his youth the World Cup participant of 1930 Moderato Wisintainer played for the club.

Rivera
Rivera (Spanish pronunciation: [riˈβeɾa]) is the capital of Rivera Department of Uruguay. The border with Brazil joins it with the Brazilian city of Santana do Livramento, which is only a block away from it, at the north end of Route 5. Together, they form an urban area of around 200,000 inhabitants. As of the census of 2011, it is the sixth most populated city of Uruguay.
Vyshinsky (surname)
Vyshinsky (Russian: Выши́нский, Ukrainian: Вишинський) is the Russian and Ukrainian form of the Polish family name Wyszyński. It corresponds with the Lithuanian name Višinskis. Notable people with the surname include:

Andrey Yanuaryevich Vyshinsky (1883–1953), Soviet politician, jurist and diplomat

Kirill Valeryevich Vyshinsky (1967–2025), Ukrainian and Russian journalist

Andrey Vyshinsky
Andrey Yanuaryevich Vyshinsky (Russian: Андре́й Януа́рьевич Выши́нский; Polish: Andrzej Wyszyński) (10 December [O.S. 28 November] 1883 – 22 November 1954) was a Soviet politician, jurist and diplomat. He is best known as a state prosecutor of Joseph Stalin's Moscow Trials and in the Nuremberg trials. He was the Soviet Foreign Minister from 1949 to 1953, after having served as Deputy Foreign Minister under Vyacheslav Molotov since 1940. He also headed the Institute of State and Law in the Academy of Sciences of the Soviet Union.
Chel Mangasiun-e Sofla
Chel Mangasiun-e Sofla (Persian: چلمانگاسيون سفلي, also Romanized as Chel Mangāsīūn-e Soflá; also known as Cheleh-ye Mangāsīūn) is a village in Sardasht Rural District, in the Central District of Lordegan County, Chaharmahal and Bakhtiari Province, Iran. At the 2006 census, its population was 55, in 9 families.

Chaharmahal and Bakhtiari province
Chaharmahal and Bakhtiari Province (Persian: استان چهارمحال و بختیاری) is one of the 31 provinces of Iran. Its capital is the city of Shahr-e Kord. The province lies in the southwest of the country, with an area of 16,332 square kilometers.

The province was classified as part of Region 2 upon the division of the provinces into 5 regions solely for coordination and development purposes on June 22, 2014.

Chaharmahal and Bakhtiari Province lies in the heart of the Zagros Mountains, a mountain range that stretches across north-western Iran and forms a natural barrier between Iran and Iraq.
Osijek-Baranja County
Osijek-Baranja County (pronounced [ôsijeːk bǎraɲa], Croatian: Osječko-baranjska županija, Hungarian: Eszék-Baranya megye) is a county in Croatia, located in northeastern Slavonia and Baranja which is defined part of the Pannonian Plain. Its center is Osijek. Other towns include Đakovo, Našice, Valpovo, Belišće, and Beli Manastir.

Macedonians of Croatia
Macedonians in Croatia refers to the group of ethnic Macedonians who reside in Croatia. According to the official census of 2011, there are 4,138 ethnic Macedonians in Croatia.

Macedonians are recognised as an autochthonous national minority, and as such they elect a special representative to the Croatian Parliament, shared with members of four other national minorities.
Gemini 12
Gemini 12 (officially Gemini XII) was a 1966 crewed spaceflight in NASA's Project Gemini. It was the 10th and final crewed Gemini flight (Gemini 1 and Gemini 2 were uncrewed missions), the 18th crewed American spaceflight, and the 26th spaceflight of all time, including X-15 flights over 100 kilometers (54 nmi). Commanded by Gemini VII veteran James A. Lovell, the flight featured three periods of extravehicular activity (EVA) by rookie Edwin "Buzz" Aldrin, lasting a total of 5 hours and 30 minutes. It also achieved the fifth rendezvous and fourth docking with an Agena target vehicle.

Gemini XII marked a successful conclusion of the Gemini program, achieving the last of its goals by successfully demonstrating that astronauts can effectively work outside of spacecraft. This was instrumental in paving the way for the Apollo program to achieve its goal of landing a man on the Moon by the end of the 1960s.

Docking and berthing of spacecraft
Docking and berthing of spacecraft is the joining of two space vehicles. This connection can be temporary, or partially permanent such as for space station modules.

Docking specifically refers to joining of two separate free-flying space vehicles. Berthing refers to mating operations where a passive module/vehicle is placed into the mating interface of another space vehicle by using a robotic arm. Because the modern process of un-berthing requires more crew labor and is time-consuming, berthing operations are unsuited for rapid crew evacuations in the event of an emergency.
Elegia (song)
"Elegia" is an instrumental composed and performed by the English rock band New Order. It was released as the fifth track on their third studio album, Low-Life (1985). The track was written and produced by Gillian Gilbert, Peter Hook, Stephen Morris and Bernard Sumner.

"Elegia" was written as a tribute to Joy Division frontman Ian Curtis. The band had originally dissolved as a result of Curtis' suicide, after which the surviving members would later form New Order.

The song has appeared in several pieces of media, including Pretty in Pink, Stranger Things, The Crown, and Boots.

Stephen Morris (drummer)
Stephen Paul David Morris (born 28 October 1957) is an English musician who is the drummer and percussionist of the rock band New Order and, previously, Joy Division. He also wrote and performed in The Other Two, a band consisting of Morris and his girlfriend and later wife, Gillian Gilbert. Morris also participated in the New Order spin-off band Bad Lieutenant. He and frontman Bernard Sumner are the only two continuous members of New Order, and appeared on every one of the band’s albums.
Thomas Scott (bishop of North China)
Christianity portal

Thomas Arnold  Scott was an Anglican missionary bishop in China during the first half of the twentieth century.

Scott was born on 9 June 1879, and educated at Leeds Grammar School, Felsted School and Christ's College, Cambridge. He was ordained deacon in 1902 and priest in 1903.  After a curacy at St Paul, Halifax he was SPG missionary in China from 1908 to 1950. In 1913 he became the headmaster of the Church of England school in Peking and then in 1921 Bishop of Shantung. In 1940 he was translated to North China, retiring in 1950. He died on 29 March 1956.

Translation (ecclesiastical)
Translation is the transfer of a bishop from one episcopal see to another. The word is from the Latin translatio, meaning "carry across" (another religious meaning of the term is the translation of relics).

This can be:

From one diocesan bishopric to another bishopric which is perceived as more important (or the bishop prefers as their see)

From suffragan bishop status to diocesan bishop

From coadjutor bishop to diocesan bishop

From one country's episcopate to another

From diocesan bishop to archbishop
VTI Instruments
VTI Instruments Corporation sells precision instrumentation for electronic signal distribution, data acquisition and monitoring. The company's products are used to automate the functional testing of complex electronic systems as well as to monitor and record data that characterizes the physical integrity of aircraft, engines, and other large structures.

Formerly known as VXI Technology, it changed its name in 2009. 
VTI serves the following markets: aerospace, defense, and energy and power generation. VTI's headquarters is located in Irvine, California.

Irvine, California
Irvine (/ˈɜːrvaɪn/, UR-vine) is a planned city in central Orange County, California, United States, in the Los Angeles metropolitan area. It was named in 1888 for the landowner James Irvine. The Irvine Company started developing the area in the 1960s and the city was formally incorporated on December 28, 1971. The 66-square-mile (170 km2) city had a population of 318,629 as of June 2025. As of 2025, it is the second most populous city in Orange County, fifth most in the Greater Los Angeles region, and 62nd most in the United States.

Several major corporations in the technology and semiconductor sectors maintain their headquarters in Irvine. Irvine is also home to several higher-education institutions including the University of California, Irvine (UCI), Concordia University, Irvine Valley College, and campuses of University of La Verne and Pepperdine University.
South Carolina Highway 19
South Carolina Highway 19 (SC 19) is a 28.750-mile (46.269 km) primary state highway in the U.S. state of South Carolina. It connects Aiken directly with the Savannah River Site and Edgefield via U.S. Route 25 (US 25).

Edgefield, South Carolina
Edgefield is a town in and the county seat of Edgefield County, South Carolina, United States. As of the 2020 census, Edgefield had a population of 2,322.

Edgefield is part of the Augusta Metropolitan Area.
Georgina Sweet
Georgina Sweet OBE (22 January 1875 – 1 January 1946) was an Australian zoologist and women's rights activist. She was the first woman to graduate with a Doctor of Science from the University of Melbourne, and was the first female acting professor in an Australian university.

YWCA
The Young Women's Christian Association (YWCA) is a nonprofit organization with a focus on empowerment, leadership, and rights of women, young women, and girls in more than 100 countries.

The World office is currently based in Le Grand-Saconnex, Canton of Geneva, Switzerland, and the nonprofit is headquartered in Washington, DC.

The YWCA is independent of the YMCA, but a few local and national YMCA and YWCA associations have merged into YM/YWCAs or YMCA-YWCAs and belong to both organizations, while providing the programs from each (e.g. Sweden did so in 1966).
Sibnica (Sopot)
Sibnica (Serbian Cyrillic: Сибница) is a village in the municipality of Sopot, Serbia. According to the 2022 census, the village has a population of 532 people.

According to the 2002 census, the village had a population of 686 people.

Municipalities and cities of Serbia
The municipalities and cities (Serbian: општине и градови / opštine i gradovi) are the first-level administrative division and the basic level of local government of Serbia. The country is divided into 145 municipalities and 29 cities.

Municipalities and cities form 29 administrative districts, except the City of Belgrade which is not part of any district.
Womersley
Womersley is a village and civil parish in North Yorkshire, England. In 2001 the parish had a population of 363. The parish population at the 2011 census (including Stapleton and Walden Stubbs) was 515. It is near the towns of Selby, Askern and Pontefract. It is close to the borders with South and West Yorkshire.

The village was part of the West Riding of Yorkshire until 1974. From 1974 to 2023 it was part of the district of Selby, it is now administered by the unitary North Yorkshire Council.

The name Womersley derives from the Old English Wilmaerslēah meaning 'Wilmaer's wood/clearing'.

Pontefract
Pontefract is a historic market town in the City of Wakefield, a metropolitan district in West Yorkshire, England. It lies to the east of Wakefield and south of Castleford. Historically part of the West Riding of Yorkshire, it had a population of 30,881 at the 2011 Census.

Pontefract's motto is Post mortem patris pro filio, Latin for "After the death of the father, support the son", a reference to the town's Royalist sympathies in the English Civil War. Small villages and settlements in the immediate area include Stapleton.
Victor H. Matthews
Victor Harold Matthews (born 13 November 1950) is an American Old Testament scholar. He is the retired Dean of the College of Humanities and Public Affairs and professor emeritus of religious studies at Missouri State University.

Matthews was born in Joplin, Missouri. He obtained a PhD at Brandeis University. In 2015, the fourth edition of Matthews' book, The Cultural World of the Bible, was published.

Missouri State University
Missouri State University (MSU or MO State), formerly Southwest Missouri State University, is a public university in Springfield, Missouri, United States. Founded in 1905 as the Fourth District Normal School, it is the state's second-largest university by enrollment, with an enrollment of 23,418 in the fall semester of 2023. The school also offers associate degree programs at two-year campus in West Plains, Missouri and a bachelor's degree in business program at Liaoning Normal University in China. The university operates a fruit research station in Mountain Grove, Missouri and a Department of Defense and Strategic Studies program in Fairfax, Virginia.
Heerup
Heerup is a Danish surname. Notable people with the surname include:

Henry Heerup (1907–1993), Danish painter, graphic artist, and sculptor

Hjalmar Heerup (1886–1961), Danish footballer

Ole Heerup (1934–2016), Danish visual artist

Gunnar Heerup (1903–1989), Danish music educator and music researcher

Malene Heerup (born 1964), Danish visual artist

Hjalmar Heerup
Hjalmar Heerup (14 April 1886 – 18 November 1961) was a Danish footballer who played as a defender for Akademisk Boldklub at the start of the 20th century. He competed in the football tournament at the 1906 Intercalated Games in Athens, winning a gold medal as a member of the Denmark team.
Rhode Island General Assembly
The State of Rhode Island General Assembly is the state legislature of the U.S. state of Rhode Island. A bicameral body, it is composed of the lower Rhode Island House of Representatives with 75 representatives, and the upper Rhode Island Senate with 38 senators.  Members are elected in the general election immediately preceding the beginning of the term or in special elections called to fill vacancies. There are no term limits for either chamber. The last General Assembly election took place on 2024, electing members to the Senate and House.

The General Assembly meets at the Rhode Island State House on the border of Downtown and Smith Hill in Providence. Smith Hill is sometimes used as a metonym for the Rhode Island General Assembly.

2024 Rhode Island Senate election
The 2024 Rhode Island State Senate elections took place on Tuesday, November 5, 2024. The primary election was held on Tuesday, September 10, 2024. Rhode Island voters elected state senators in all 38 seats of the Senate to serve two-year terms.

The election coincided with United States national elections and Rhode Island state elections, including U.S. President, U.S. Senate, U.S. House, and Rhode Island House.

Following the previous election in 2022, Democrats held a 33-to-5-seat supermajority over Republicans. However, Democrat Frank Lombardo died on February 21, 2024, and Democrat Sandra Cano resigned on September 12, 2024. Therefore, going into the election, Democrats held a supermajority of 31 seats compared to the five seats held by Republicans.
Glen Burnie (Hopkinsville, Kentucky)
Glen Burnie is a brick house situated near Hopkinsville, Kentucky. It dates from around 1830. It was listed on the National Register of Historic Places in 1979.

It is a two-story, five-bay Federal-style house, with brick laid in Flemish bond. It has a central passage plan, a molded brick cornice and a Greek Revival-style porch which is believed to be original. It was originally L-shaped and a one-story extension was added later.

Flemish bond
Flemish bond is a pattern of brickwork that is a common feature in Georgian architecture. The pattern features bricks laid lengthwise (stretchers) alternating with bricks laid with their shorter ends exposed (headers) within the same courses. This decorative pattern can be accented by glazing or burning the exposed ends of the headers so that they possess a dark, glassy surface that contrasts with the stretchers.: 23  Despite the bond's name, the pattern did not originate in Flanders and can be found in European architecture dating to the late Middle Ages.

The pattern became popular among prestigious architectural projects in 17th-century England before spreading to British colonies in North America where it became closely associated with colonial Georgian architecture, especially in Virginia and Pennsylvania. With the early 20th-century restoration project at Colonial Williamsburg, the pattern experienced renewed popularity in the United States.