Help


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

Some Related Sentences

Depending and on
Depending on the organism, there may be multiplication in some food or beverage products, i.e., in milk for example.
Depending on the particular legal rules that apply to each circumstance, a party to a court case who is unhappy with the result might be able to challenge that result in an appellate court on specific grounds.
Depending on the system, certain courts may serve as both trial courts and appellate courts, hearing appeals of decisions made by courts with more limited jurisdiction.
Depending on the context, a Lewis acid may also be described as an oxidizer or an electrophile.
Depending on the form into which the mixture is pressed, adobe can encompass nearly any shape or size, provided drying time is even and the mixture includes reinforcement for larger bricks.
Depending on the materials available, a roof can be assembled using lengths of wood or metal to create a framework to begin layering adobe bricks.
Depending on the thickness of the adobe bricks, the framework has been performed using a steel framing and a layering of a metal fencing or wiring over the framework to allow an even load as masses of adobe are spread across the metal fencing like cob and allowed to air dry accordingly.
Depending on the materials, adobe roofs can be inherently fire-proof, which is a valuable attribute when the fireplace is kept lit during the cold nights.
Depending on the client's needs and the jurisdiction's requirements, the spectrum of the architect's services may be extensive ( detailed document preparation and construction review ) or less inclusive ( such as allowing a contractor to exercise considerable design-build functions ).
Depending on the distance Van Helden assumes Aristarchus used for the distance to the Moon, his calculated distance to the Sun would fall between 380 and 1, 520 Earth radii.
Depending on its outcome, the entire treatment would give the epistemologist a degree of certitude in the treatment of miracles.
Depending on the antigen presented and the type of the histocompatibility molecule, several types of immune cells can become activated.
Depending on the elasticity of the arrow, some of the energy is also absorbed by compressing the arrow, primarily because the release of the bowstring is rarely in line with the arrow shaft, causing it to flex out to one side.
Depending on the chemical composition of the adhesive, they will adhere to different materials to greater or lesser degrees.
Depending on their actions, and the laws of the prevailing jurisdiction, those engaged in an affray may also render themselves liable to prosecution for assault, unlawful assembly, or riot ; if so, it is for one of these offences that they are usually charged.
Depending on catalysts and conditions, alkynes add one or two equivalents of hydrogen.
Depending on various parameters, each individual sprite can use from 1 to 12 colors, with 3 colors ( plus a 4th " transparency " color ) being the most common.
Depending on the other properties of the flow, the resulting force could be negative which means it acts in the opposite direction as depicted in the figure.
Depending on how much the paint is diluted ( with water ) or modified with acrylic gels, media, or pastes, the finished acrylic painting can resemble a watercolor or an oil painting, or have its own unique characteristics not attainable with other media.
Depending on the location of hemorrhage, may be associated with new fixed neurologic deficit.
Depending on the context, jumping may also involve capturing or conquering an opponent's game piece.
Depending on the interpretation of Esther 2: 5 – 6, Mordecai or his great-grandfather Kish was carried away from Jerusalem with Jeconiah by Nebuchadnezzar, in 597 BCE.
Depending on the growth rate of chicks, the fledging stage has been reported when the young are anywhere from 30 to 60 days old.

Depending and underlying
Depending on the likelihood of an underlying problem, investigations for cancer with metastasis to the bone, multiple myeloma, Cushing's disease and other above-mentioned causes may be performed.
Depending on the underlying topography of the land, muskeg can reach depths greater than 30 metres ( 100 ft ).
Depending on the underlying technological speculation, the concept of human teleportation introduces similar paradoxes.
Depending on the definition and the underlying data, estimates indicate that approximately 40 % of women have some degree of unwanted facial hair.
Depending on the underlying cause of the disorder, the individual may need to remove caffeine from their diet, reduce exercise, or gain weight.

Depending and logic
Depending on the context, the term may refer to an ideal logic gate, one that has for instance zero rise time and unlimited fan-out, or it may refer to a non-ideal physical device.
Depending on the logic circuitry employed, this may result in a wired-OR or wired-AND logic function.
Depending on the voltages sent down the various lines, it can simulate the action of the three major logic gates: AND, OR and NOT.
Depending on the DFT choices made during circuit design / implementation, the generation of Structural tests for complex logic circuits can be more or less automated.

Depending and problem
Depending on the problem domain some layouts may be better suited and easier to understand than others.
Depending on the cause of the individual problem, a medical or surgical treatment can be the solution.
Depending on the Knudsen number of the problem, statistical mechanics or possibly even molecular dynamics may be a more appropriate approach.
Depending on the context a tutorial can take one of many forms, ranging from a set of instructions to complete a task to an interactive problem solving session ( usually in academia ).
Depending on the problem solved, the data can be distributed statically, or it can be moved through the nodes.
Depending on the complexity of the problem scenario analysis can be a demanding exercise.
Depending upon the type of direct method employed, the size of the nonlinear optimization problem can be quite small ( e. g., as in a direct shooting or quasilinearization method ) or may be quite large ( e. g., a direct collocation method ).
Depending on the nature of the problem, the engineer could air the police broadcast immediately, interrupting regular programming if necessary.
Depending on the type of rhythm problem, these symptoms may be just momentary or more prolonged.
Depending on the problem, the task may be to find one solution – any solution will do – or all solutions.
Depending on the problem at hand, the pre-order, in-order or post-order operations may be void, or you may only want to visit a specific child node, so these operations should be considered optional.
Depending on the particular instance of the problem, either way is practical.
Depending on the value of, the problem can be described as follows:
Depending on the problem at hand, " weight " can refer to importance, or preference, or likelihood, or whatever factor is being considered by the decision makers.
Depending on whether the problem is a minimization or a maximization problem, this can either denote c times larger or c times smaller, respectively.
Depending on the source of cells, it can potentially solve the problem of organ transplant rejection if the organ's cells are derived from the patient's own tissue or cells.
Depending on the jurisdiction, a process similar to vehicle title branding may also be used to warn subsequent purchasers of the history of a problem vehicle.
Depending on the field, the problem is variously apprehended.

0.889 seconds.