Help


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

Some Related Sentences

Developed and original
Developed by ITT Community Development Corporation ( Levitt ) in 1969, the original development plan encompasses 48, 000 home sites on approximately of the owned by ITT.
Developed as the prequel to the original, the Red Alert series was spun-off into a separate, lighthearted and comic series, while the original game and its sequels became known as the " Tiberium " series, retaining its sci-fi and serious tone.
Developed for PowerPC processors from Freescale and IBM while supporting the original AmigaOS MC680x0 applications via proprietary task-based emulation, and most AmigaOS / PPC applications via API wrappers.
Developed in the 1970s, J. Allen Hynek's original system of description divides sightings into six categories.
Developed as part of the Airport Core Programme, the North Lantau New Town is the first new town on an outlying island of Hong Kong, with the first phases built on reclaimed land to the north, east and northeast of the original Tung Chung Town.
Developed in collaboration with Live Nation Canada, Echo Beach is a general-admission concert venue designed to help re-create the popular ambience of the original Ontario Place Forum, minus the revolving stage but introducing a real sandy beach section with spectacular views of the Toronto nighttime skyline.
Developed in Canada in 1977, the sport's original name was murderball.
Developed by Day 1 Studios and published by Microsoft, MechAssault was initiated when Denny Thorley of Day 1 Studios approached Jon Kimmich of Microsoft about developing an original BattleTech game built from the ground up to support console play.
Developed by the American Chicle company in response to medical discoveries linking sugar to dental caries, the original Trident formula contained three enzymes thought to soften dental tartar, but was sugared.
The corporate view of Nomad's importance at the time – and of tensions with the owners of RAMIS – can be deduced from the original NOMAD acronym: NCSS Owned, Maintained, And Developed.
Developed by Brizo Interactive under license from Million, Zeebo version of Double Dragon is not a port of the original arcade game or any previous version, but a new game made for the system.

Developed and resolution
Developed the " calculus of resolution and juxtaposition " ( hisab al-jabr w ' al-muqabala ), more briefly referred to as al-jabr, or algebra.

Developed and based
Developed in the early 1970s at IBM and based on an earlier design by Horst Feistel, the algorithm was submitted to the National Bureau of Standards ( NBS ) following the agency's invitation to propose a candidate for the protection of sensitive, unclassified electronic government data.
* Voros McCracken: Developed a system called Defense Independent Pitching Statistics ( DIPS ) to evaluate a pitcher based purely on his ability.
Developed and maintained by the 3GPP ( 3rd Generation Partnership Project ), UMTS is a component of the International Telecommunications Union IMT-2000 standard set and compares with the CDMA2000 standard set for networks based on the competing cdmaOne technology.
Developed by Babylon 5 creator J. Michael Straczynski and executive produced by Straczynski and Sam Egan, the series is loosely based on Belgian writer Hermann Huppen's comic book series, Jeremiah.
Developed countries, in comparison, usually have economic systems based on continuous, self-sustaining economic growth in the tertiary sector of the economy and quaternary sector of the economy and high material standards of living.
Developed totally in-house, NonStop SQL includes a number of features based on Guardian to ensure data validity across nodes.
Developed by Karl Marx and Friedrich Engels in the mid-to-late-19th Century, Marxism is a sociopolitical and economic view based on the philosophy of dialectical materialism, which opposes idealism in favour of the materialist viewpoint.
Developed by Capitol Broadcasting and reopened as the American Tobacco Historic District ; Phase 1 consisted of the Fowler, Crowe, Strickland, Reed, and Washington Buildings, and included the construction of two new parking garages and a water fall feature through the center of the campus designed by Smallwood, Reynolds, Stewart, Stewart of Atlanta, Georgia and constructed by W. P. Law Inc. based in Lexington, South Carolina.
Developed by Independent Arts Software GmbH, published by Midway ( based on previous work by Shin ' en ).
Developed for Television by Deborah Joy LeVine ( based upon characters created by Jerry Siegel and Joe Shuster ), the series loosely follows the comic philosophy of writer John Byrne with Clark Kent as the true personality, and Superman as a secondary disguise.
Developed in late 1947 by the Rover Motor Co., the Land Rover was intended to be an agricultural vehicle based on the successful wartime Willys Jeep.
Developed in the Shandong province of China in the mid-1600s, Praying Mantis kung-fu is based on the quick movements and techniques of the Chinese mantis.
Developed by Visual Works and Square Enix, Advent Children is part of the Compilation of Final Fantasy VII series, which is based in the world and continuity of the highly successful 1997 role-playing video game Final Fantasy VII.
;: The Egyptian Army uses the G 320 ( 4 × 4 ) armoured personnel carrier has been designed as a private venture by the Kader Factory for Developed Industries and is based on the chassis of the commercial German Mercedes-Benz MB 320G ( 4 × 4 ) light vehicle.
This meeting began the process of linking Developed Country community based ICT initiatives and research with initiatives being undertaken in Less Developed Countries often as part of larger economic and social development programmes funded by agencies such as the UN Development Programme, World Bank, or the International Development Research Centre.
Developed by John da Monte, Richard Gardner, Tammo de Jongh and others, the 12 personality archetypes are based upon the four elements of earth water fire and air, combined into couplets like earth-water, air-fire, etc.
This is an organized way of functioning of the credit markets at least in the Developed Primary non-tradable in the open market, company to company, bank to bank dealings to keep the markets running, afloat as well as operational and provision of the liquidity by the liquidity providers in the market, which is very well scrutinized for any " aberration, excessive instrument based hedging and market manipulation " or " outlier, volumes " based trades or any such " anomalies, block trades ' company treasury ' based decision without proper and posterior / prior intimation ", by the respective regulators as directed by the law and as spotted in the regular hours of trading in the pre-market / after-hours trading or in the event based specific stocks and corrected and scrutinized for insider trading in the form of cancellation of the trades, re-issuance of the amount of the cancelled trades or freezing of the markets ( specific securities being taken off the trading list for the duration of time ) in event of a pre-set, defined by the maximum and minimum fluctuation in the trading in the secondary market that is the over the counter markets.
Developed by Oxford Development Company, the property was acquired in 2004 for $ 232 million by CBL & Associates Properties, Inc., a REIT based in Chattanooga, Tennessee.
Developed by China based on the Soviet SA-14 Gremlin.
Developed by the Advanced Processor Technologies group under the University of Manchester's computer science school ( formerly the AMULET and PAL groups based at the same institution ), AMULET is unique amongst ARM implementations in being an asynchronous microprocessor, not making use of a square wave clock signal for data synchronization and movement.

Developed and first
Developed in the late 19th century, stockless anchors represented the first significant departure in anchor design in centuries.
* Jonas Salk ( 1934 ), Developed the first polio vaccine
Developed at the University of Manchester in England, it provided the medium on which the first electronically stored-memory program was implemented in the Manchester Small-Scale Experimental Machine ( SSEM ) computer, which first successfully ran a program on 21 June 1948.
In 1972, Gelbart was one of the main forces behind the creation of the television series M * A * S * H, writing the pilot ( for which he received a " Developed for Television by ..." credit ) and then producing, often writing and occasionally directing the series for its first four seasons ( 1972 – 1976 ).
Developed as a collaboration between the National Museum of African American History and Culture and Monticello, it is the first exhibit on the national mall to address these issues.
* Charles Kelman ( United States ) Developed the ultrasound and mechanized irrigation and aspiration system for phacoemulsification, first allowing cataract extraction through a small incision.
* Khabarovsk placed first in different categories of " Most Developed and Comfortable City of Russia " in 2006, 2008 and 2009.
Developed in the early 1970s as one of Atlanta ’ s first mixed-use developments ; located at I-85 and North Druid Hills Road.
Developed by Natick Laboratories and introduced in 1967, T65-2 plate carriers were the first vests designed to hold hard ceramic plates, making them capable of stopping 7 mm rifle rounds.
Developed with John Ackerman of the University of Minnesota and piloted by Jean Piccard in 1937 in Rochester, Minnesota, the first multi-celled balloon was called The Pleiades and was made of 98 latex rubber balloons.
Developed by BBC engineers who were working on ways of providing televisual subtitles for the deaf, it was the first teletext system in the world.
Developed by Japanese video game company Tecmo, it was the first sports video game that had licensing privileges with both the league it sought to emulate ( National Football League ) and the player's association ( National Football League Players Association ), thus allowing the game to use both the names and attributes of real NFL teams and real NFL players.
Developed by five US Army soldiers, 2LT Hans Mumm, SSG Shawn Mahoney, SGT Andrei Salter, SGT Scott Boehmler, and SPC Joseph Barrios, who were assigned to the Defense Intelligence Agency, the deck of cards was first announced publicly in Iraq on 11 April 2003, in a press conference by Army Brig.
Developed together with Bob Hopps and Cal Connell, the Monte Carlo Offshorer 27 ( 70s ), 30 ( 80s ) and 32 ( early 90s ) was the first production runabout with a " stepped " hull to improve ride and stability.
Developed beginning in 1836 by Nicholas Callan and others, the induction coil was the first type of transformer.
Developed by a committee of landowners, the first proposal derived its revenues from import duties, principally alcohol.
Developed as a successor to 1986's Xtrek, Netrek was first played in 1988.
Developed in 1943 by the Rheinmetall-Borsig company, the first test flights were carried out that year.
* 1957, Hula Hoop first manufactured by Toltoys ( Developed by David Tolmer ).
Developed by Professor Richard Adolf Zsigmondy at the University of Göttingen, Germany, in 1927, membrane filters were first commercially produced by Sartorius GmbH a few years later.
Developed as a third baseman, he was shifted to first base during spring training because the Astros already had established third baseman Ken Caminiti.
Developed by Tatsuo Shimabuku and one of his Okinawan students Kaneshi Eiko, the first chart ( though some first-generation students learned this chart after the lower-body chart ) of basic techniques is unique to the Isshin Ryu system.
Developed at the same time as the first chart, the second set of techniques are the basic kicking techniques of the Isshin Ryu system.

1.468 seconds.