Also found in: Dictionary, Thesaurus, Medical, Encyclopedia, Wikipedia.
References in periodicals archive ?
Hirschfeldt, Lange, and Shore show that the Homogenous Model Theorem and the Atomic Model Theorem are indeed equivalent--as Lange had earlier suggested--in the sense of reverse mathematics as well as in a strong computability theoretic sense.
The following theorem is our main result in this paper to achieve this aim.
Our result is related to Theorem 2 above, and reads as follows:
Observe that if in Theorem 10 we have m = n = 1, the statement of Theorem 10 becomes the statement of Theorem 2 in [6].
Postolache, Fixed point theorem for weakly Chatterjea-type cyclic contractions, Fixed Point Theory Appl.
The following theorem independently due to Kotzig [10] and Bouchet and Fouquet [3] gives a necessary and sufficient condition for a cubic graph to have a [P.
Theorem 7 [4] For a fixed graph H with each component having at most 2 edges, the problem of determining if there exists an H-decomposition of an arbitrary graph G can be solved in polynomial time.
Theorem Clinical Research and Biomedical Systems, a provider of centralized diagnostic services, have formed a strategic partnership to expand services available to clients worldwide.
The four color theorem states that, given any separation of a plane into contiguous regions, producing a figure called a map, no more than four colors are required to color the regions of the map so that no two adjacent regions have the same color.
Theorem Solutions has taken to the road demonstrating the very latest interoperability products, publishing and CADverter solutions to major user events at numerous locations across the US and Europe.
Theorem Solutions, certified software supplier to Ford, has released the latest version of its JT to CATIA V5 Ford Supplier Production Software which is now available for download via either the Covisint or Theorem websites.