Help


[permalink] [id link]
+
Page "Automated theorem proving" ¶ 16
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Robert and Lee
Robert E. Lee represented the dignity needed by a rebelling confederacy.
Victim of the accident was Robert Lee Stansbery, 39.
Six days after the surrender of Confederate commanding general Robert E. Lee, however, Lincoln was assassinated by actor and Confederate sympathizer John Wilkes Booth.
Considered by Confederate President Jefferson Davis to be the finest general officer in the Confederacy before the emergence of Robert E. Lee, he was killed early in the Civil War at the Battle of Shiloh and was the highest-ranking officer, Union or Confederate, killed during the entire war.
Jefferson Davis considered him the best general in the country ; this was two months before the emergence of Robert E. Lee as the pre-eminent general of the Confederacy.
* 1908 – Robert Lee Scott, Jr., American pilot ( d. 2006 )
* 1863 – American Civil War: following his defeat in the Battle of Gettysburg, General Robert E. Lee sends a letter of resignation to Confederate President Jefferson Davis ( which is refused upon receipt ).
* 1865 – American Civil War: The Siege of Petersburg is broken – Union troops capture the trenches around Petersburg, Virginia, forcing Confederate General Robert E. Lee to retreat.
* 1865 – American Civil War: Robert E. Lee surrenders the Army of Northern Virginia ( 26, 765 troops ) to Ulysses S. Grant at Appomattox Courthouse, Virginia, effectively ending the war.
* 1861 – American Civil War: Robert E. Lee resigns his commission in the United States Army in order to command the forces of the state of Virginia.
* 1865 – American Civil War: A day after his surrender to Union forces, Confederate General Robert E. Lee addresses his troops for the last time.
In 1920 he married Celia Inez Peckham, who became the mother of his three children, Raymond Ben, Robert Peckham and Celia Lee.
Robert James Lee " Bob " Hawke AC GCL ( born 9 December 1929 ) is a former Australian politician who served as the 23rd Prime Minister of Australia from 1983 to 1991.
The author Robert Lee speculated that Teach may therefore have been born into a respectable, wealthy family.
In science and technology, Columbia alumni include: founder of IBM Herman Hollerith ; inventor of FM radio Edwin Armstrong ; inventor of the nuclear submarine Hyman Rickover ; founder of Google China Kai-Fu Lee ; scientists Stephen Jay Gould, Robert Millikan, Helium – neon laser inventor Ali Javan and Michael Pupin ; chief-engineer of the New York City subway William Barclay Parsons ; philosophers Irwin Edman and Robert Nozick ; and economist Milton Friedman
Independently and contemporaneously, a 19-year-old American student named Robert Lee Moore published an equivalent set of axioms.
She was born in Sevierville, Tennessee, the fourth of twelve children of Robert Lee Parton, a tobacco farmer, and his wife Avie Lee Owens.
* 1862 – American Civil War: At the Battle of Fredericksburg, Confederate General Robert E. Lee defeats the Union Major General Ambrose E. Burnside.
Two years later, Robert von Lieben and Lee De Forest independently developed the amplifier tube, called the triode.
Enter the Dragon is a 1973 Hong Kong martial arts action film directed by Robert Clouse ; starring Bruce Lee, Jim Kelly and John Saxon.
Before leaving, Lee learns from his teacher that Han's bodyguard O ' Hara ( Robert Wall ) had been involved in the death of his sister, Su Lin ( Angela Mao ), years ago, when she committed suicide to save herself from dishonour after being cornered by O ' Hara and a collection of Han's thugs.
* Lee, Robert A, Orwell's Fiction.

Robert and Constable
Ministers who followed Balmforth were William and Wilma Constable ( 1937 to 1941 ), Donald Livingstone ( 1941 to 1949 ), Magnus Ratter ( 1949 to 1960 and 1971 to 1976 ), Victor Carpenter ( 1962 to 1967 ), Eugene Widrick ( 1968 to 1971 ), Leon Fay ( 1977 to 1979 ), Robert Steyn ( 1979 to 1997 ).
He was assisted in this task by Sir Robert Mark, who later became Commissioner of the Metropolitan Police Service, and Sir James Robertson, the then Chief Constable of Glasgow.
Behind them, the third battle consisted of about 700 men from the county of Flanders under Gilles II de Trasignies, Constable of France, and Robert III of Flanders.
* Constable: Robert Huffman
* Constable William Wolsey and painter Robert Pygot, who were burned at the stake for Christian heresy on 16 October 1555.
The residences are named after Horatio Nelson, John Constable, Benjamin Britten, Jeremiah Colman, Horatio Nelson's ship HMS Victory, Robert Kett, Sir Thomas Browne and the Paston family who wrote the Paston Letters.
In 1812 Constable, who had admitted Robert Cathcart and Robert Cadell as partners on Hunter's retirement, purchased the copyright of the Encyclopædia Britannica, adding the supplement ( 6 vols, 1816-1824 ) to the 4th, 5th and 6th editions.
It was then granted to the Constable of Normandy, Robert de Humeto, who obtained a charter from King Henry II, and remained in his family until about 1242.
* Robert Lyman, Slim, Master of War, London: Constable and Robinson, 2004.
Other notable 18th and 19th-century landscape painters include Richard Wilson ( born in Wales ); George Morland ; John Robert Cozens ; Thomas Girtin ; John Constable ; J. M. W. Turner ; and John Linnell.
* Kevin Allen – Detective Constable Robert Kray ( series 1 )
Detective Constable Robert Kray is an officer in Grim's CID unit for the entire of Series 1.
The advowson of St Andrew's was anciently held by the family of FitzWalter to which it probably came from the holding by Robert Fitzwalter ( d. 1235 ) of the office of Constable of Baynard's Castle.
Following the Restoration of the Monarchy, in 1661 the Parliamentarians who had been buried in Westminster Abbey ( Admiral Robert Blake, Denis Bond, Nicholas Boscawen, Mary Bradshaw, Sir William Constable, Admiral Richard Deane, Isaac Dorislaus, Anne Fleetwood, Thomas Hesilrige, Humphrey Mackworth, Stephen Marshall, Thomas May, John Meldrum, Admiral Edward Popham, John Pym, Humphrey Salwey, William Strong, William Stroud and William Twiss ) were disinterred from the Abbey and reburied in an unmarked pit in St Margaret's churchyard on the orders of King Charles II.
Upon this the king arrested Aske and several of the other leaders, such as Lord Darcy, Lord Hussey who was Chief Butler of England, Sir Robert Constable, and Bigod, all of whom were convicted of treason and executed.
The poets involved cannot all be identified, since there are a number of poems marked as ' anonymous ': they do include Edmund Bolton, William Byrd, Henry Chettle, Michael Drayton, Robert Greene, Christopher Marlowe, Anthony Munday, George Peele, Walter Raleigh, Henry Constable, William Shakespeare, Philip Sidney, Edmund Spenser, John Wootton, William Smith.
30 March 1300 ) Sheriff of Kent, Constable of Rochester and Chief Baron of the Exchequer, by wife Joan de Septvans, daughter of Sir Robert de Septvans.
Henry Constable ( 1562 – 1613 ) was an English poet, son of Sir Robert Constable.
Oliver was replaced by Robert Bockstael ( playing Corporal Brian Fletcher ) who was replaced later by Peter Kelly Gaudreault ( playing Constable James Harper ).
Sir Robert Lauder of Quarrelwood was Constable of Urquhart Castle in 1329, and his grandson Robert Chisholm succeeded him in 1359.
* Robertson, Sir William Robert, From Private to Field Marshal, London: Constable, 1921

0.339 seconds.