Help


[permalink] [id link]
+
Page "Sequent calculus" ¶ 30
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

** and while
** CS — Caught stealing: times tagged out while attempting to steal a base
** X register and Y register-They are number stores where numbers are stored temporarily while doing calculations.
** In the former doge-state Venice, and while it was a republic resisting annexation by either the kingdom of Piedmont-Sardinia or the Austrian empire, a former Chief Executive ( president, 23 March 18485 July 1848 ), Daniele Manin ( b. 1804-d. 1857 ), was styled Dictator 11 – 13 August 1848 before joining the 13 August 1848-7 March 1849 Triumvirate.
** simulating work with hardware, while doing something entirely different
** Earliest day on which Day of the Finnish Flag can fall, while June 26 is the latest ; celebrated on Saturday of Midsummer's Day ( Finland )
** Shoot boxing – A Japanese form of kickboxing which allows throwing and submission while standing, similar to Sanda.
** Earliest day on which Feast of the Immaculate Heart of Mary can fall, while July 3 is the latest ; celebrated 20 days after Pentecost.
** Earliest day on which Corpus Christi can fall, while June 24 is the latest ; held on Thursday after Trinity Sunday.
** Axis & Allies: while playing as the Axis powers in campaign mode ( which has the Axis powers winning the war ), Operation Sea Lion is the mission following the failed invasion of Normandy.
** Cylinder head studs used in all earlier engines replaces with bolts making it easier to remove heads while engine is in engine bay.
** The microcode can employ both pipelines to enable auto-repeating instructions such as rep movsw perform one iteration every clock cycle, while the 80486 needed three clocks per iteration ( and the earliest x86-chips significantly more than the 486 ).
** German Federal Prosecutor Siegfried Buback and his driver are shot by 2 Red Army Faction members while waiting at a red light near his home in Karlsruhe.
** Mrs. Madeline Dassault, 63, wife of a French plane manufacturer and politician, is kidnapped while leaving her car in front of her Paris home ; she is found unharmed the next day in a farmhouse from Paris.
** Angolan Civil War ( 1975 – 2002 )-resulting in intervention by multiple countries on the Marxist and anti-Marxist sides, with Cuba and Mozambique supporting the Marxist faction while South Africa and Zaire support the anti-Marxists.
** Two cosmonauts transfer from Soyuz 5 to Soyuz 4 via a spacewalk while the two craft are docked together, the first time such a transfer takes place.
** The Japanese battleship Yamato is sunk north of Okinawa while enroute on a suicide mission.
** American troops occupy southern Korea, while the Soviet Union occupies the north, with the dividing line being the 38th parallel of latitude.
** The ocean liner catches fire while being converted into the troopship USS Lafayette ( AP-53 ) for WWII.
** Prime Minister of Pakistan Benazir Bhutto gives birth to a girl, becoming the first modern head of government to bear a child while in office.
** Archbishop Óscar Romero is killed by gunmen while celebrating Mass in San Salvador.
** Thousands of African Americans, many of them children, are arrested while protesting segregation in Birmingham, Alabama.
** Mrkonjić Grad incident: A United States Air Force F-16 piloted by Captain Scott O ' Grady is shot down over Bosnia and Herzegovina while patrolling the NATO no-fly zone.
** Students gathering at Thammasat University in Bangkok, Thailand are massacred, while protesting the return of ex-dictator Thanom Kittikachorn by a coalition of right-wing paramilitary and government forces, triggering the return of the military to government.
** The Greek oil tanker Aegean Sea, carrying 80, 000 tonnes of crude oil, runs aground in a storm while on approach to La Coruña, Spain, and spills much of its cargo.
** The USS Samuel B. Roberts ( FFG-58 ) strikes a naval mine in the Persian Gulf, while deployed on Operation Earnest Will, during the Tanker War phase of the Iran – Iraq War.

** and on
** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.
** For every non-empty set S there is a binary operation defined on S that makes it a group.
** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
** See also Salmond on " Citizenship and Allegiance ," in the Law Quarterly Review ( July 1901, January 1902 ).
** This is, on the whole, an informed and good account of the life and accomplishments of one of the greatest influences on the development of thought both Eastern and Western.
** This is a distinguished work which stands out from, and above, many of the books and articles which have ben written in this century on Avicenna ( Ibn Sīnā ) ( A. D. 980 – 1037 ).
** Earliest day on which Caribana celebration can fall, celebrated on the first Weekend of August.
** Earliest day on which Emancipation Day can fall, celebrated on the first Monday of August.
** Lughnasadh, traditionally begins on the eve of August 1.
** Cadius Rufus was executed on the charge of extortion.
** Various articles on Alcidamas ( 1856 – 1919, with links to further online material )
** Gordon-Reed, Annette speaking on CSPAN Booktv Andrew Johnson
** Khmer New Year, or Chol Chnam Thmey, most commonly celebrated on April 13 ( Cambodia )
** To use a long dash on Wikipedia, type in "".
** called a god on Malta ( 28: 6 )
** Ability to run on an IA-64 architecture processor, although this never went beyond beta
** Minimum level required for POWER4 hardware and the last release that worked on the Micro Channel architecture
** Ability to run in a Logical Partition on POWER4
** Ability to run on 64-bit architecture CPUs
** Run on RS / 6000 systems with PowerPC processors and PCI busses.
** Optional POKEY sound chip on cartridge for improved sounds.
** Headphone port ( stereo ; wired for mono on the original Lynx )

0.463 seconds.