OpenLLM-France/wikimedia huggingface dataset:
# Algorithmic logic

Algorithmic logic is a calculus of programs that allows the expression of semantic properties of programs by appropriate logical formulas. It provides a framework that enables proving the formulas from the axioms of program constructs such as assignment, iteration and composition instructions and from the axioms of the data structures in question see Mirkowska & Salwicki (1987), Banachowski et al. (1977).
The following diagram helps to locate algorithmic logic among other logics. $\qquad \left[{\begin{array}{l}\mathrm {Propositional\ logic} \\or\\\mathrm {Sentential\ calculus} \end{array}}\right]\subset \left[{\begin{array}{l}\mathrm {Predicate\ calculus} \\or\\\mathrm {First\ order\ logic} \end{array}}\right]\subset \left[{\begin{array}{l}\mathrm {Calculus\ of\ programs} \\or\\{\mbox{Algorithmic logic}}\end{array}}\right]$ The formalized language of algorithmic logic (and of algorithmic theories of various data structures) contains three types of well formed expressions: Terms - i.e. expressions denoting operations on elements of data structures, formulas - i.e. expressions denoting the relations among elements of data structures, programs - i.e. algorithms - these expressions describe the computations. For semantics of terms and formulas consult pages on first-order logic and Tarski's semantics. The meaning of a program $K$ is the set of possible computations of the program.
Algorithmic logic is one of many logics of programs. Another logic of programs is dynamic logic, see dynamic logic, Harel, Kozen & Tiuryn (2000).
# 2015 Distal & ITR Group Tennis Cup

The 2015 Distal & ITR Group Tennis Cup was a professional tennis tournament played on clay courts. It was the 9th edition of the men's tournament which was part of the 2015 ATP Challenger Tour, offering a total of €42,500+H in prize money. The event took place at the Tennis Club Todi in Todi, Italy, on 6 – 12 July 2015.

## Singles main draw entrants
### Seeds

| Country | Player | Rank$^1$ | Seed |
| GBR | Aljaž Bedene | 75 | 1 |
| SRB | Dušan Lajović | 86 | 2 |
| SLO | Blaž Rola | 93 | 3 |
| FRA | Lucas Pouille | 96 | 4 |
| BEL | Kimmer Coppejans | 97 | 5 |
| COL | Alejandro González | 104 | 6 |
| ITA | Luca Vanni | 113 | 7 |
| ARG | Máximo González | 115 | 8 |
* $^1$ Rankings as of 29 June 2015

### Other entrants

The following players received wildcards into the singles main draw:
* Andrea Arnaboldi
* Federico Gaio
* Gianluca Mager
The following players received entry as alternates:
* Mathias Bourgue
* Alejandro González
The following player received entry as a special exempt:
* Andrej Martin
The following players received entry from the qualifying draw:
* Matteo Donati
* Lorenzo Giustino
* Stéphane Robert
* Frederico Ferreira Silva

## Champions
### Singles

* Aljaž Bedene def. Nicolás Kicker 7–6$^{(7–3)}$, 6–4

### Doubles

* Flavio Cipolla / Máximo González def. Andreas Beck / Peter Gojowczyk 6–4, 6–1
# Jilin Provincial Experimental School

Jilin Provincial Experimental School (Chinese: 吉林省实验中学; pinyin: Jílínshěng Shíyàn Zhōngxué) is a coeducational public middle school for both boarding and day students from grades 7 to 12 (ages 12 to 18). Founded in 1948, the school was originally located in Jilin City of Jilin, Northeast China. In 1955, along with the Provincial Government, the School moved to the new capital city Changchun. It is a key high school in Jilin Province and is listed the Top 100 Chinese High Schools

## Notable alumni

Yi Sha, Chinese mainland actor (Chinese: 沙溢).
# Agrotis cremata

Agrotis cremata (Maui agrotis noctuid moth) was a moth in the family Noctuidae. It is now presumed extinct.
Before its extinction, it was endemic to Maui, Hawaii, United States. It has not been seen in over 100 years.

## Sources

* ↑ Nishida, G. M. (1992). Hawaiian terrestrial arthropod checklist. Bishop Museum.
* ↑ Fauna Hawaiiensis
* 2006 IUCN Red List of Threatened Species.
* Hawaii's Extinct Species - Insects
* This Agrotis-related article is a stub. You can help Wikipedia by expanding it.
* v
* t
* e
# Barbara James (musician)

Barbara James (1908–2004) was an Australian jazz vocalist.

## Career

Born 1908 in Sydney, James' parents Will James and Malvena Moore were both entertainers. Her father had led an early Australian jazz band in Sydney, and he taught Barbara James to play saxophone and xylophone. At age 13, James was contracted by Harry George Musgrove to perform xylophone in theatres around Australia, and she later joined her father's jazz band as saxophonist and singer, where she began to perform jazz and swing.
Barbara James was considered one of Australia's most famous big band vocalists during the 1930s. She performed with Jim Davidson and Frank Coughlan, among others.
She married pianist Reg Lewis in the 1930s, and they toured England, Europe, and Asia together during the 1940s. During this period they also recorded together. Back in Sydney, they hosted their own radio program over the next decades.
Barbara James died in 2004.
# Elachista tetragonella

Elachista tetragonella is a moth of the family Elachistidae. It is found from Fennoscandia to Spain and Italy and from France to Bulgaria.
The wingspan is 6–7 millimetres (0.24–0.28 in). Adults are on wing in January and again in June.
The larvae feed on Carex montana. They mine the leaves of their host plant. The mine has the form of a white elongate gallery in the top region of the leaf. The frass is deposited irregularly. Pupation takes place outside of the mine. They are dirty yellow with a pair of grey dorsal length lines and a yellowish head. Larvae can be found from April to the end of May.
# Arthur Hill, 2nd Baron Sandys

Lieutenant-General Arthur Moyses William Hill, 2nd Baron Sandys (10 January 1792 – 16 July 1860), styled as Lord Arthur Hill until 1836, was an Anglo-Irish soldier and politician.

## Background

Hill was the second son of Arthur Hill, 2nd Marquess of Downshire, and Mary, daughter and heiress of Colonel the Honourable Martin Sandys, son of Samuel Sandys, 1st Baron Sandys. His mother was created Baroness Sandys in her own right in 1802, with remainder to her younger sons.

## Military service

He joined the army in 1809 as a Cornet in the 10th Hussars. He was promoted to lieutenant in 1810 and to captain in 1813. He served in the Peninsular War, including at the Battles of Vittoria and Pampeluna.
He served in the Battle of Waterloo as one of Wellington's aides de camp, with the rank of captain. He was supposedly the fattest young man in the British Army.
He remained in the army until 1858, ultimately rising to the rank of colonel of the 7th Dragoons.

## Political career

Hill entered Parliament as one of two representatives for County Down in 1817, a seat he held until 1836, when he succeeded his mother in the barony.

## Personal life

Hill died in July 1860, aged 68. He never married. He was succeeded in the barony by his younger brother, Lord Marcus.

## Arms

Coat of arms of Arthur Hill, 2nd Baron Sandys :
* Crest1st: a Griffin segreant per fess Or and Gules (Sandys); 2nd: a Reindeer's Head couped at the neck Gules attired and plain collared Or (Hill)
* EscutcheonQuarterly: 1st and 4th, Or a Fess dancetty between three Cross Crosslets fitchy Gules (Sandys); 2nd and 3rd, Sable on a Fess Argent between three Leopards passant guardant Or spotted of the field as many Escallops Gules (Hill)
* SupportersOn either side a Griffin wings elevated per fess Or and Gules gorged with a Collar dancetty of the last
* MottoProbum Non Paenitet (The honest man has not to repent)
# Alfred Grixti

Alfred Grixti (born 21 April 1943) is a Maltese former swimmer. He competed in the men's 100 metre freestyle at the 1960 Summer Olympics, where he was eliminated after finishing last in his heat.
During his swimming career Grixti was National champion in four different events over a number of years and the highlight was competing at the 1960 Summer Olympics in Rome.
Grixti's other passion was water polo, and was classed as the undisputed best ever water polo player ever for his country, his career spanned over 20 years and won every major honour possible in his country, he made his division one debut when he was just 13 years old, he was a prolific goal scorer and an all rounder who read the game better than anyone, he represented his country at the 1963 Mediterranean Games held in Naples, and then 12 years later he captained his country at the 1975 Mediterranean Games held in Algiers, Algeria. After quitting as a player he carried on coaching for several years for Birzebbuga A.S.C. and Birzebbuga A.S.C.
In 1965 and 1972 Grixti was voted Sportsman of the Year in Malta, and in 2005, he was inducted in to the Hall of Fame of the Malta Olympic Committee.
Grixti is married to Pauline, who was also a water polo player and they had four children.
# Dayton Historic District

Dayton Historic District may refer to:
* Dayton Historic District (Dayton, Indiana)
* Dayton Historic District (Dayton, Virginia)
* Downtown Dayton Historic District, a National Register of Historic Places listing in Columbia County, Washington
# Jobi manucode

The Jobi manucode (Manucodia jobiensis) is a species of crow-like bird-of-paradise.
The Jobi manucode is distributed in lowland forests of Jobi Island and northern New Guinea. The diet consists mainly of fruits and arthropods. Like other manucodes, it is monogamous.
One of the most common birds-of-paradise in its range, the Jobi manucode is evaluated as Least Concern on the IUCN Red List of Threatened Species. It is listed on Appendix II of CITES.

## Description

The Jobi manucode is medium-sized, up to 34 cm long, greenish blue, black and purple-glossed with red iris, lightly crinkled bluish short upper breast and neck feathers. Both sexes are similar in appearance, however the female is slightly smaller and duller. This species resembles the crinkle-collared manucode in appearance, distinguished by its neck feathers and by having a shorter tail than the latter species.

## Subspecies

* Manucodia jobiensis jobiensis
* Manucodia jobiensis rubiensis
# Ahmed Mohamed Osama

Ahmed Mohamed Osama (born 17 July 1963) is a Sudanese table tennis player. He competed in the men's singles event at the 1996 Summer Olympics.
# Barbara Jane Reyes

Barbara Jane Reyes is an American poet whose work "explores the translatable and untranslatable collisions of writing, self and culture."

## Early life

Reyes was born in Manila, Philippines, and raised in the San Francisco Bay Area. She received her B.A. in Ethnic Studies at UC Berkeley. As an undergraduate, Reyes "served as editor in chief for maganda magazine, and witnessed the emergence of Filipino American literary figures." Reyes received her M.F.A. at San Francisco State University.

## Career

Reyes is the author of Gravities of Center (Arkipelago, 2003), Poeta en San Francisco (Tinfish, 2005), for which she received the James Laughlin Award of the Academy of American Poets, and Diwata (BOA Editions, Ltd., 2010).
Her work has appeared or is forthcoming in numerous publications, including 2nd Avenue Poetry, Asian Pacific American Journal, Boxcar Poetry Review, Chain, Crate, Interlope, New American Writing, Nocturnes Review, North American Review, Notre Dame Review, Parthenon West Review, as well as in the anthologies Babaylan (Aunt Lute Books, 2000), Eros Pinoy (Anvil, 2001), InvAsian: Asian Sisters Represent (Study Center Press, 2003), Going Home to a Landscape (Calyx, 2003), Coloring Book (Rattlecat, 2003), Not Home But Here (Anvil, 2003), Pinoy Poetics (Meritage, 2004), Asian Americans in the San Francisco Bay Area (Avalon Publishing, 2004), 100 Love Poems: Philippine Love Poetry Since 1905 (University of the Philippines Press, 2004), Red Light: Superheroes, Saints and Sluts (Arsenal Pulp Press, 2005), and Graphic Poetry (Victionary, 2005).
Reyes is an adjunct professor at University of San Francisco’s Yuchengco Philippine Studies Program. She has previously taught Creative Writing at Mills College, and Philippine Studies at University of San Francisco. She co-edits Doveglion Press, a publisher of political literature, with her husband poet Oscar Bermeo. Reyes currently resides in Oakland, California.

## Published works

Full-length poetry collections
* Gravities of Center (Arkipelago Books, 2003).
* Poeta en San Francisco (Tinfish Press, 2005).
* Diwata (BOA Editions, Ltd., 2010).
* To Love as Aswang: songs, fragments and found objects (Philippine American Writers and Artists, Inc., 2015).
* Invocation to Daughters (City Lights Publishers, 2017).
* Letters to a Young Brown Girl (BOA Editions Ltd., 2020).
Full-length literary nonfiction
* Wanna Peek into My Notebook? Notes on Pinay Liminality (Paloma Press, 2022).
Chapbooks
* Easter Sunday (Ypolita Press, 2008).
* Cherry (Portable Press at Yo-Yo Labs, 2008).
* West Oakland Sutra for the AK-47 Shooter at 3:00 AM and other Oakland poems (Deep Oakland Editions, 2008).
Poems online
* “Estuary,” “Cherry,” “Pink.” Octopus Magazine, Issue 8.
* “[galleon prayer],” “[a compendium of angels],” “[diwata taga ilog at dagat].” HOW2, 2006.
* "The Night Manny Pacquiao KO’ed Oscar De La Hoya." The Rumpus, 2009.
* "One Question, Several Answers." Kartika Review, Spring 2010.
# Donna M. Fernandes

Dr. Donna M. Fernandes is an American zoo administrator who is a past President and CEO of the Buffalo Zoo (2000 to 2017). Under her administration, the zoo advanced in terms of exhibits, visitor attractions and attendance.
Fernandes is a native of Norton, Massachusetts and a graduate of Phillips Academy in Andover, Massachusetts. After graduation, she attended Brown University, receiving a Bachelor of Science degree in psychology in 1981. She then attended Princeton University, where she received a master's degree in biology in 1984 and a Ph.D. in biology in 1988 after completing a doctoral dissertation, titled "The adaptive significance of protandry in the terrestrial slug, Arion subfuscus", under the supervision of Dan Rubenstein. Fernandes spent a year in postdoctoral study at the University of Liverpool in England.
Fernandes's first position was as the Curator of Research at the Franklin Park Zoo in Boston. She was later promoted to oversee education and volunteer programs there. In 1996 she accepted a position as the Curator of Animals at the Prospect Park Zoo in Brooklyn, New York. Within a year she was overseeing both the animal and education departments. During that time, Fernandes served as the National Public Radio resident animal expert. In 2000, Fernandes received a master's degree in business administration from the Simmons School of Management at Simmons University in Boston.
Also in 2000, Fernandes accepted the job at the Buffalo Zoo as President and CEO. She continued in this role until 2017 when she announced her retirement.
# Ellen Mortyn

Ellen Mortyn (c. 1834 – 22 June 1859) was an English actress who died of consumption in Australia under controversial circumstances.

## History

Nothing has been found as to her early life. She was described as a leading lady of the Theatre Royal, Dublin. She was married to Charles George Mortyn of London and had two children, but had left him around 1855 on account of his drunken behavior.
She came to Australia in 1858 with George Coppin to play with G. V. Brooke's company at Melbourne's Theatre Royal. In August she starred with Fred Younge in Tom Taylor's Pygmalion-esque An Unequal Match as "Hester Gazebrook", the role in which Lillie Langtry made her American debut in 1882. She next played "Miriam" in (Mr) Shirley Brooks' Daughter of the Stars, a two-act play touted as a comedy, but was criticised as an extended homily which "would only amuse Society of Friends adherents and undertakers". Next was Taylor's Helping Hands, which also starred the two Younge brothers - Fred and Richard.
She also played in Bayle Bernard's A Life's Trial, Douglas Jerrold's St Cupid, She was a well-received Ophelia, in Hamlet, her first appearance in Shakespeare in Australia.

## Death

Her last role was as "Sylvia" in The Two Gentlemen of Verona at the Theatre Royal, Melbourne from 6 June 1859, but had to retire a week later due to haemorrhage of the lungs, attended to by Dr L. L. Smith and nursed by Mrs Smith and Brooke's wife. Her condition worsened rapidly and she died two weeks later, suffering pulmonary phthisis, caused by tuberculosis, hastened by hemoptysis (coughing up blood) and had been originally reported as having broken a blood vessel.
Popular rumour had her procuring an abortion from Dr Smith and dying from complications. At the inquest a surgeon, Dr Iffla, testified that she was pregnant and he had refused to perform such a procedure as it was illegal, and that he didn't want legal problems like those of Dr L. L. Smith. She subsequently consulted Smith. The subject was not pursued further as four medical men testified that she had died from complications arising from diseased lungs.
Her remains were buried at the New Melbourne Cemetery, attended by members of both Houses of Parliament and City Council, Press, and several thousand onlookers. Pallbearers included Dr L. L. Smith, George Coppin, G. V. Brooke and Robert Heir. Fund-raising benefits for Mortyn's daughter were conducted by the two companies with which she had been associated — those of the Theatre Royal and the Olympic, but such was the ill-feeling between the two that G. V. Brooke of the "Royal" would not countenance Younge's suggestion of combining the two sums.
# Artificial Organs (journal)

Artificial Organs is a monthly peer-reviewed biomedical journal that covers organ replacement technology published by Wiley. It was established in 1977 by Yukihiko Nosé and Paul S. Malchesky, and was originally edited by Willem J. Kolff. The current editor-in-chief is Vakhtang Tchantchaleishvili.
It is the official journal of several organizations, including the International Federation for Artificial Organs, the International Society for Mechanical Circulatory Support, and the International Functional Electrical Stimulation Society.

## History

The journal was established in 1977 as the official publication of the newly formed International Society for Artificial Organs (ISAO), a precursor of the International Federation for Artificial Organs. In 1979, the International Center for Artificial Organs and Transplantation (ICAOT) was established with Artificial Organs serving as one of its publishing arms. Over time, the journal became the official publication of several organizations in the field of organ replacement, recovery, and regeneration, with ICAOT functioning as its parent entity. The journal was published by ISAO from 1977 to 1982. Subsequently, publishing was taken over by Raven Press from 1983 to 1991, Blackwell Scientific Publications from 1992 to 2008, Wiley-Blackwell from 2008 to 2013, and Wiley from 2014 to the present.

## Editors-in-chief

The following persons are or have been editor-in-chief:
* Willem J. Kolff (1977–1982)
* Yukihiko Nosé (1983–1999)
* Paul S. Malchesky (2000–2020)
* Vakhtang Tchantchaleishvili (2021–present)

## Affiliate organizations

The following organizations are affiliated with the journal:
* European Kidney Health Alliance
* European Mechanical Circulatory Support Society
* International Faculty of Artificial Organs
* International Federation for Artificial Organs, which includes:
** American Society for Artificial Internal Organs
** European Society for Artificial Organs
** Japanese Society for Artificial Organs
* International Functional Electrical Stimulation Society
* International Society for Mechanical Circulatory Support
* Vienna International Workshop on Functional Electrical Stimulation

## Abstracting and indexing

The journal is abstracted and indexed in the following bibliographic databases:
* Biological Abstracts
* BIOSIS Previews
* CAB Abstracts
* Chemical Abstracts Service
* Current Contents/Clinical Medicine
* EBSCO databases
* Embase
* Index Medicus/MEDLINE/PubMed
* ProQuest databases
* Science Citation Index Expanded
* Scopus
According to the Journal Citation Reports, the journal has a 2020 impact factor of 3.094.
# Alfred Groß

Alfred Groß (1893–1949) was a district leader and mayor of Erlangen (Germany) during Nazism. He was member of the Nazi party (NSDAP).

## Biography

Groß was born in Bamberg and trained as a school teacher. After a pausing his career during his fighting in World War I, he resumed teaching in Erlangen.
In 1925 he joined the NSDAP and became district leader of the local area. With Hitler gaining power in 1933, Groß participated in the Nazi book burning in Erlangen and was appointed as deputy mayor of Erlangen in 1933, rising to the position of mayor one year later and replacing his precursor Hans Flierl. In 1938, Groß was sent to Graz to organize the Nazi Party. In 1944, he was deposed in favor of Herbert Ohly who remained mayor until the end of the war in 1945. During this time Groß was again serving as district leader of Erlangen.
# 2015 Fed Cup Asia/Oceania Zone Group II – Pool C

Pool C of the 2015 Fed Cup Asia/Oceania Group II was one of four pools in the Asia/Oceania Group II of the 2015 Fed Cup. Three teams competed in a round robin competition, with the top team and bottom teams proceeding to their respective sections of the play-offs: the top team played for advancement to Group I.

## Standings

| | | IND | MAS | PAK | RR W–L | Set W–L | Game W–L | Standings |
| 68 | India | | 3–0 | 3–0 | 6–0 | 12–1 | 75–20 | 1 |
| 74 | Malaysia | 0–3 | | 3–0 | 3–3 | 7–6 | 50–51 | 2 |
| 88 | Pakistan | 0–3 | 0–3 | | 0–6 | 0–12 | 18–72 | 3 |

## Round-robin
### Malaysia vs. Pakistan

| Malaysia 3 | SAAP Tennis Complex, Hyderabad, India 14 April 2015 Hard | SAAP Tennis Complex, Hyderabad, India 14 April 2015 Hard | Pakistan 0 |
| 1 2 3 1 Theiviya Selvarajoo Iman Qureshi 6 4 6 4     2 Jawairiah Noordin Ushna Suhail 6 2 6 0     3 Jawairiah Noordin / Yus Syazlin Nabila Binti Yusri Sara Mansoor / Ushna Suhail 6 0 6 2 ||||

### India vs. Pakistan

| India 3 | SAAP Tennis Complex, Hyderabad, India 15 April 2015 Hard | SAAP Tennis Complex, Hyderabad, India 15 April 2015 Hard | Pakistan 0 |
| 1 2 3 1 Prarthana Thombare Sara Mansoor 6 1 6 0     2 Ankita Raina Ushna Suhail 6 0 6 1     3 Natasha Palha / Prarthana Thombare Iman Qureshi / Ushna Suhail 6 0 6 4 ||||

### India vs. Malaysia

| India 3 | SAAP Tennis Complex, Hyderabad, India 16 April 2015 Hard | SAAP Tennis Complex, Hyderabad, India 16 April 2015 Hard | Malaysia 0 |
| 1 2 3 1 Prarthana Thombare Yus Syazlin Nabila Binti Yusri 6 1 6 0     2 Ankita Raina Jawairiah Noordin 6 1 3 6 6 4   3 Natasha Palha / Prarthana Thombare Theiviya Selvarajoo / Yus Syazlin Nabila Binti Yusri 6 0 6 2 ||||
# Barco, Guimarães

Barco is a civil parish in the municipality of Guimarães in the Braga District of Portugal. The population in 2021 was 1,439, in an area of 3.02 km$^2$.