Initial approaches relied on the results of Herbrand and Skolem to convert a first-order formula into successively larger sets of propositional formulae by instantiating variables with terms from the Herbrand universe.

Initial results supported a continued but looser relationship with France.

Initial results suggest that birds from Gran Canaria have wings about 10 % shorter than those on Tenerife.

Initial results suggested savings in journey times, smoother-flowing traffic, as well as a fall in the number of crashes and the scheme was made permanent in 1997.

Initial results were not consistently good and new signing Ander Herrera was injured.

Initial results indicated savings in journey times, smoother-flowing traffic, and a fall in the number of accidents, so the implementation was made permanent in 1997.

Initial results gave Bamford an 11-vote margin of victory, or less than one-half of one percent of votes cast.

Initial results have shown promise with Tetrastichus planipennisi and it is now being released along with Beauveria bassiana, a fungal pathogen with known insecticidal properties .< ref name =" APHIS ">

Initial results show there is more inflow than consumption of glucose in regions such as the amygdala, basal ganglia, thalamus and cingulate cortex, all of which are recruited for fast responses.

Initial results indicate that time-shifted viewing will have a significant impact on television ratings.

Initial results in properly selected patients with unresectable liver tumors are equivalent to those of resection.

Initial results vary widely, and post-implantation therapy is required as well as time for the brain to adapt to hearing new sounds.

Initial results suggest that human ratings are much better than metrics in this regard.

Initial results led to MDC-T claiming the majority necessary.

Initial results of their work are as follows:

Initial trials of the hounds had mixed results, and a public outcry arose against the use of the dogs, based on fears that they would be set on the Seminole in physical attacks, including against women and children.

Initial results show have shown for it to be effective as a treatment only for severe acne, though some question whether it is better than existing acne treatments.

Initial results of the operation seemed positive, as the gateway site and payment system were closed down and thousands of possible users of child pornography websites were identified for later investigation.

Initial results were favorable-the TAR-21 was found to be significantly more accurate and reliable ( as well as more comfortable ) than the M4 carbine during extensive field testing-but the battle proven and widely issued M4A3 rifle and its variants will remain in service for some time to come ; their unit purchase price is about one third that of the TAR-21.

Initial scientific results from the first phase of the mission ( the 90-sol prime mission ) were published in a special issue of the journal Science.

Initial results reported that Mitt Romney beat out Rick Santorum by just 8 votes, but when the final results came out two weeks later Rick Santorum secured the victory over Romney by a margin of 34 votes with Ron Paul in a strong 3rd.

Initial testing in 2002 by author Bill Yerazunis gave a 99. 87 % accuracy ; Holden and TREC 2005 and 2006. gave results of better than 99 %, with significant variation depending on the particular corpus.

Initial results confirmed the expected geodetic effect to an accuracy of about 1 %.

Initial results supported a continued but looser relationship with France.

Initial negotiations were conducted in October, 1121, at Wurzburg.

** Virtual Memory System ( VMS ) V1. 0 ( Initial commercial release, October 25 )

Initial fighting began in 1775 and lasted until October 1781, when the British army, under the command of General Cornwallis, surrendered in Yorktown, Virginia.

Initial development in the area started with a small settlement around the Craigieburn railway line at the end of the 19th Century, with the Glenroy Post Office opening on 22 October 1888.

Initial reaction against the coup evaporated after five days when October 8 the oil fields in dispute were taken over by the Army.

The team developing the Linux client had been working for a year prior to the announcement to validate that such a port would be possible .< Ref name =" gamasutra linux "/> As of the official announcement, a near-feature complete Steam client for Linux had been developed and successfully run on Ubuntu .< Ref name =" gamasutra linux "/> Initial external beta testing of the Linux client started in October 2012.

In 2006 the company make its Initial Public Offering in BM & F Bovespa and changed its name to Valid in October 2010.

Initial track testing for the first set will begin in October 2011.

* Initial Criticality: October 26, 1970

* Initial Criticality: October 17, 1975

Initial surveys were conducted during 1793 by William Jessop and William Smith under the direction of John Rennie who presented the report on 14 October 1793 estimating the cost of construction of the canal at £ 80, 000.

Initial street executions of September and October 1941 took the lives of approximately 500 people.

Initial production of fire units to equip 4 battalions and 1, 000 missiles ( against an anticipated requirement for 14, 000 ) was approved in October 1978 but subsequently reduced to just 1 battalion.

Initial research conducted by the National Center for the Middle Market has shown that the U. S. middle market is made up of almost 200, 000 companies with annual revenues between $ 10 million and $ 1 billion, as of October 2011.

Immediately following the firing, Richardson wrote to Lady Bradshaigh, 19 October 1753: " the Want of the same Ornaments, or Initial Letters, in each Vol.

He sold off the remainder of his stake in PartyGaming in January 2010, after selling 23 % of his stake in the company's Initial Public Offering, and a further two thirds of the remainder, in October 2009.

Initial plans had called for the bridge to be completed by October 1972.