Help


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

Some Related Sentences

contrast and other
In direct contrast to the other Rhode Island editors, Samuel S. Foss of the Woonsocket Patriot outwardly condemned the trial as being completely unfair.
We were to discover, in fact, that quite a number of people share with us the impression that, in contrast to other Soviet regions, Moscow's atmosphere is depressingly subdued and official.
This is in contrast to other types of writing systems, such as logographies, in which each character represents a word, morpheme or semantic unit, and syllabaries, in which each character represents a syllable.
The Proto-Sinatic or Proto Canaanite script and the Ugaritic script were the first scripts with limited number of signs, in contrast to the other widely used writing systems at the time, Cuneiform, Egyptian hieroglyphs, and Linear B.
Machiavelli goes on to reason that Agathocles ' success, in contrast to other criminal tyrants, was due to his ability to mitigate his crimes by limiting them to those that " are applied at one blow and are necessary to one's security, and that are not persisted in afterwards unless they can be turned to the advantage of the subjects ".
In contrast with other continents, it is marked by the comparatively small area of either very high or very low ground, lands under occupying an unusually small part of the surface ; while not only are the highest elevations inferior to those of Asia or South America, but the area of land over is also quite insignificant, being represented almost entirely by individual peaks and mountain ranges.
By the standards of 19th century tycoons, Carnegie was not a particularly ruthless man but a humanitarian with enough acquisitiveness to go in the ruthless pursuit of money ; on the other hand, the contrast between his life and the lives of many of his own workers and of the poor, in general, was stark.
In contrast, other researchers point to the significantly higher risk of tardive dyskinesia and EPS with the typicals and for this reason alone recommend first-line treatment with the atypicals, notwithstanding a greater propensity for metabolic adverse effects in the latter.
Among the provinces, British Columbia has been distinguished by its strong liberal views ( in stark contrast to the other provinces west of Ontario ).
During the Financial crisis of 2007 – 2010, Bulgaria marked a decline in its economy of 5. 5 % in 2009, but quickly restored its positive growth to 0. 2 % in 2010, in contrast to other Balkan countries.
By contrast most of the party's seats were won either due to the absence of a candidate from one of the other parties or in rural areas on the " Celtic fringe ", where local evidence suggests that economic ideas were at best peripheral to the electorate's concerns.
In the most common usage, β strand refers to a single continuous stretch of amino acids adopting an extended conformation and involved in backbone hydrogen bonds to at least one other strand ; by contrast, a β sheet refers to an assembly of at least two such β strands that are hydrogen-bonded ( or H-bonded ) to each other.
In contrast, numerous other Arab states opposed the Libyan actions, and expressed their desire to see the dispute over the Aozou Strip settled peacefully.
In contrast, there is convergent evolution with other groups not related due to ecological or physical drivers toward a similar solution, including analogous structures.
Its unique relief carvings have a naive dynamic quality that contrast with the rigidity of the figures typical of some other periods.
In contrast, most other alkaline halides adopt the sodium chloride ( NaCl ) structure.
Claudius has been portrayed in film on several other occasions, including in the 1979 motion picture Caligula, the role being performed by Giancarlo Badessi in which the character was depicted as an idiot, in contrast to Robert Graves ' portrait of Claudius as a cunning and deeply intelligent man who is perceived by others to be an idiot.
There is no widespread use of fresh herbs in Cantonese cooking, in contrast with their liberal use in other cuisines such as Sichuan, European, Thai or Vietnamese.
This led to very good coverage across most of the country and few problems of interference with other UK-based transmissions ; a stark contrast to the problems associated with Channel 5's launch fourteen and a half years later.
Since they are hydrocarbons, and therefore contain no oxygen, carotenes are fat-soluble and insoluble in water ( in contrast with other carotenoids, the xanthophylls, which contain oxygen and thus are less chemically hydrophobic ).
By contrast, Rabbinic Judaism subsequently took the opposite view, espoused by Hillel, the leader of the other major Pharisee school of thought at the time ; in Hillel's view, men were allowed to divorce their wives for any reason.
In contrast to Judaism and many other traditions, he taught that there is a place for voluntary singleness in Christian service.
In contrast to most other nations, the United States considers the three types of agreements as distinct.

contrast and more
In contrast to cocktail parties, military organizations, even in the field, are more formal.
No more startling contrast to a system of sullen satellites could be imagined.
In he's hurting himself more than he's hurting you both himself and you have stronger stress than they would ordinarily have if there were no contrast.
By contrast, even experienced linguists commonly know no more of the range of possibilities in tone systems than the over-simple distinction between register and contour languages.
Their experience is quite in contrast with that of children of upper- and upper-middle-class native-born parents, who are more likely to regard education as good for its own sake and to discount the vocational emphases in the curriculum.
His personality appears more striking by contrast with Marina, who is -- perhaps purposely -- rather superficially characterized.
But there was a contrast even more decisive than a hunger for fact between the Trial in Jerusalem and those in Moscow and New York.
The outside of the skin is shed periodically more or less in one piece in contrast to mammals and birds where it is shed in flakes.
To contrast with the more stereotyped descriptions, Christie often characterised the " foreigners " in such a way as to make the reader understand and sympathise with them ; this is particularly true of her Jewish characters, who are seldom actually criminals.
In contrast, there was an Old Text school that advocated the use of Confucian works written in ancient language ( from this comes the denomination Old Text ) that were so much more reliable.
The largest species are red alder ( A. rubra ) on the west coast of North America, and black alder ( A. glutinosa ), native to most of Europe and widely introduced elsewhere, both reaching over 30 m. By contrast, the widespread Alnus viridis ( green alder ) is rarely more than a 5 m tall shrub.
In contrast, the Danes preferred to choose easy targets, mapping cautious forays designed to avoid risking all their accumulated plunder with high-stake attacks for more.
Don Chisciotte was a mix of ballet and opera buffa, and the lead female roles in L ' amore innocente were designed to contrast and highlight the different traditions of operatic writing for soprano, even borrowing stylistic flourishes from opera-seria in the use of coloratura in what was a short pastoral comedy more in keeping with a Roman Intermezzo.
In contrast, the markings of piano represent the protagonist with its softer, more tranquil tones.
By contrast, in an inquisitiorial system, the fact that the defendant has confessed is merely one more fact that is entered into evidence, and a confession by the defendant does not remove the requirement that the prosecution present a full case.
Molecular absorption, in contrast, is much broader, so that it is more likely that some molecular absorption band will overlap with an atomic line.
By contrast, in mainstream Analytical philosophy the topic is more confined to abstract investigation, in the work of such influential theorists as W. V. O. Quine, to name one of many.
) One episode depicted him as having voices in his head, which told him to engage in destructive activities ; however, generally he has a passive demeanor in contrast to Butt-Head's more dominant personality.
In contrast most synthetic polymers have much simpler and more random ( or stochastic ) structures.
In essence, the excesses of Scarface contrast with the more emotional tragedy of Carlito's Way.
To make the show more cost-effective, it was also shot with virtually no outdoor scenes ( in contrast to the first series which was shot largely on location ) and several frequently used indoor sets, such as the Queen's throne room and Blackadder's front room.
This was in sharp contrast to his insistence, for more than 30 years, that those killed on the day had not been innocent.
By contrast, in civil law jurisdictions ( the legal tradition that prevails in, or is combined with common law in, Europe and most non-Islamic, non-common law countries ), courts lack authority to act where there is no statute, and judicial precedent is given less interpretive weight ( which means that a judge deciding a given case has more freedom to interpret the text of a statute independently, and less predictably ), and scholarly literature is given more.

0.105 seconds.