Help


[permalink] [id link]
+
Page "Boolean satisfiability problem" ¶ 33
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

mentioned and briefly
* The first of the historical passages recounting Jeremiah's prophecy in the Temple ( compare chapter 7 ), his arrest, his threatened death, and his rescue, in which connection the martyrdom of the prophet Uriah is briefly mentioned ( chapter 26 ).
* Clanking replicators are also mentioned briefly in the fourth chapter of K. Eric Drexler's 1986 book Engines of Creation.
From the mid-fourth century BC onwards, evidence of the Greek use of crossbows becomes more dense and varied: Arrow firing machines ( katapeltai ) are briefly mentioned by Aeneas Tacticus in his treatise on siegecraft written around 350 BC.
From the mid-fourth century BC onwards, evidence of the Greek use of arrow-shooting machines becomes more dense and varied: Arrow firing machines ( katapaltai ) are briefly mentioned by Aeneas Tacticus in his treatise on siegecraft written around 350 BC.
Proclus introduces Euclid only briefly in his fifth-century Commentary on the Elements, as the author of Elements, that he was mentioned by Archimedes, and that when King Ptolemy asked if there was a shorter path to learning geometry than Euclid's Elements, " Euclid replied there is no royal road to geometry.
In the only other key reference to Euclid, Pappus briefly mentioned in the fourth century that Apollonius " spent a very long time with the pupils of Euclid at Alexandria, and it was thus that he acquired such a scientific habit of thought.
Uncle Tom's Cabin is mentioned briefly in Gone with the Wind as being accepted by the Yankees as, " revelation second only to the Bible ".
Notably, Hengist is also briefly briefly mentioned in the Prose Edda, written by Snorri Sturluson in the 13th century.
Hengist is briefly mentioned in Prologue, the first book of the Prose Edda, written by Snorri Sturluson in the 13th century.
In the new Cisco CCNA curriculum ( version 4 ), IGRP is mentioned only briefly, as an " obsolete protocol ".
Jason is briefly mentioned in Dante's Divine Comedy in the poem Inferno.
Frankenheimer was ahead in schedule anyway, and the McQueen / Sturges project was called off, while the German race track was only mentioned briefly in Grand Prix.
# Destiny's Road ( 1997, by Niven alone ; not precisely a continuation of the Heorot series: located in the same universe, events from the first two novels are briefly mentioned )
Despite being omitted or just mentioned briefly in most history books, the 1, 400 year-long Buddhist period has a foundational importance in the history of the Maldives.
Moncton is briefly mentioned in the movie " Taking Lives " ( 2004 ) starring Angelina Jolie, when the killer boards a train from Montreal to Moncton.
Mary is mentioned briefly in saying 21.
As briefly mentioned above, a specific phobia is a marked and persistent fear of an object or situation which brings about an excessive or unreasonable fear when in the presence of, or anticipating, a specific object ; furthermore, the specific phobias may also include concerns with losing control, panicking, and fainting which is the direct result of an encounter with the phobia.
One example mentioned briefly is that enciphering ( encryption ) is easy while deciphering ( decryption ) is not.
In Cryptic Studios online role-playing game, Star Trek: Online, Janeway is briefly mentioned in the background, exploring the Hobus system after the supernova that was the catalyst for the events of the 2009 Star Trek movie.
Scotland Yard is briefly mentioned in the opening of the second act of the Broadway musical Jekyll & Hyde in the song entitled " Murder, Murder ", about the catching of a murderer.
Scotland Yard was also briefly mentioned in the 1964 The Beatles movie Help !.
* The album, Midnight Marauders ( 1993 ) by A Tribe Called Quest includes the song " Steve Biko ( Stir It Up )" in which Biko is mentioned very briefly during the song, mostly in the 20 second chorus.
A succession of high-end machines included the 67 ( 1966, mentioned below, briefly anticipated as the 64 and 66 ), 85 ( 1969 ), 91 ( 1967, anticipated as the 92 ), 95 ( 1968 ), and 195 ( 1971 ).

mentioned and above
Beyond the two basic tasks mentioned above, no attention was paid by statesman or scholar to an idea of state responsibility, either internally or externally.
And here again we hear the same refrain mentioned above: `` the paramount goal of the United States set long ago was to guard the rights of the individual, ensure his development, enlarge his opportunity ''.
William Coddington, who was running the colony, felt constrained to move seven miles south where, with others -- as mentioned above -- he founded Newport.
Foliage is the outstanding photo subject in many of the Southern locales mentioned above and some specific tips on how and where to shoot it are in order.
Gas injection through a porous anode ( transpiration cooling ) not only feeds back the energy transferred to the anode by the above mentioned processes, but also modifies the conditions in the arc itself.
As mentioned above, where families are concentrated in larger numbers, group controls seem strongest and most effective.
In some ( the Ewe type mentioned above ) interaction of tone and intonation is restricted to the ends of intonation spans.
With respect to this type of item, one might properly apply the language of the Committee Report, quoted above, which cautions against using section 381 as a basis for treating other tax attributes not mentioned therein.
And so the authors conclude: `` The conduct of the patient in his every-day life and in his work, even more than the foregoing facts ( mentioned above under 1 ), leave positively no room for doubt that the sense of touch, in the ordinary sense of the word, was unaffected ; ;
In the above mentioned report of the Notre Dame Chapter of the American Association of University Professors, the basic outlook of the new breed of lay faculty emerges very clearly in the very statement of the problem as the members see it: `` Even with the best of intentions he ( the President of the university ) is loath to delegate such authority and responsibility to a group the membership of which, considered ( as it must be by him ) in individual terms, is inhomogeneous, mortal and of extremely varying temperament, interests and capabilities.
Anthropology as it emerged amongst the Western colonial powers ( mentioned above ) has generally taken a different path than that in the countries of southern and central Europe ( Italy, Greece, and the successors to the Austro-Hungarian and Ottoman empires ).
Interestingly, although alcohols and amines can be Brønsted-Lowry acids as mentioned above, they can also function as Lewis bases due to the lone pairs of electrons on their oxygen and nitrogen atoms.
Note that the scripts mentioned above are not considered proper alphabets, as they all lack characters representing vowels.
On the other hand, other foundational descriptions of category theory are considerably stronger, and an identical category-theoretic statement of choice may be stronger than the standard formulation, à la class theory, mentioned above.
As mentioned above, the Anglican Communion has no international juridical organisation.
Unlike the models mentioned above, Christie's Poirot was clearly the result of her early development of the detective in her first book, written in 1916 but not published until 1920.
A visit in December, 2002 showed that the three aqueducts mentioned above have been nearly completely destroyed.
Some parts at least of the figure above mentioned are solar symbols, and the Basilidian Abrasax is manifestly connected with the sun.
The 1899 act mentioned above was replaced in 1997 — until then the government had stated there were no ethnic minority groups.
* Love songs: Almost all Alcaeus ' amorous verses, mentioned with disapproval by Quintilian above, have vanished without trace.
Three separate sources were combined to form fr. 350, as mentioned above, including a prose paraphrase from Strabo that first needed to be restored to its original meter, a synthesis achieved by the united efforts of Otto Hoffmann, Karl Otfried Muller and Franz Heinrich Ludolf Ahrens.
In addition to the authorities cited above may be mentioned: G. A. Olivier, Voyage dans l ' empire othoman, etc., iii.
The above mentioned dishes have developed a distinctively Argentine nuance.
Many of the sweets produced in this region, such as quince, sweet potato, molasses and dulce de cayote jams, have given rise to a very well known and easily made dessert referred to as vigilante, or to so-called queso y dulce ( where a piece of fresh cheese is served with one of the sweets mentioned above ).
From the early Middle Ages until after the Second Vatican Council the sacrament was administered, within the Latin Church, only when death was approaching and, in practice, bodily recovery was not ordinarily looked for, giving rise, as mentioned above to the name " Extreme Unction " ( i. e. final anointing ).

0.113 seconds.