derivable

It's derivable from information sitting right there in the machine.

To these are to be added relations derivable from the laws of perspective.

The following three statements are directly derivable from this principle.

In this new system, the double-successor rule is still derivable.

But are the advantages derivable by the people from institutions such as this, only of a negative character?

Note that it is easily derivable from the past tense stem.

These are models derivable from oral traditional data and ethnographic resources.

A derivable rule is one whose conclusion can be derived from its premises using the other rules.

Only words derivable from the previous three rules are words in P".

These structures must exist in the original data or be derivable from the data themselves.

Both physical principles are mutually derivable from each other and are complementary.

(C) Gravitational field equations are derivable from the action principle.

Conversely, these sentences are derivable from "the thing x is an arthropod".

An axiomatic system will be called complete if for every statement, either itself or its negation is derivable.

Quantum mechanics is thought to be derivable from the principles of quantum information.

The Gaelic name would then be derivable from the Norse form.

It states that is derivable as soon as is, for decidable.

However, these do not constitute 30 distinct case forms, as they are easily derivable from a pair of morphemes.

Neither is described exactly, but both are derivable from the diaphonemic transcription.

Total votes not given nor derivable.

Arithmetic is then derivable in second-order logic from Hume's principle.

Although not clearly derivable from biology, the model allows for a simplified, immediately available dynamic, without being a trivial simplification.

A number of other properties of Betweenness are derivable as theorems including:

Conversely, a deductive system is complete if every logically valid formula is derivable.

The theory may not have all instances of the above schemes as axioms, but rather as derivable theorems.