Sentence examples for ground terms from inspiring English sources
Ground terms, ground literals, and ground clauses have no variables.
Terms that only have constants (no variables) are called ground terms.
The ground terms of a formula φ are computed using the function atom.
At the first iteration, all the states where ground terms are true are evaluated.
In the next iteration, these results are used to evaluate all subformulæ directly using one of those ground terms.
Unfortunately, a direct implementation of ground resolution using Herbrand's theorem requires the generation of a vast number of ground terms making this approach hopelessly inefficient.
On a simple crystal field model, these bands would be interpreted as the transitions from the 2B2- ground term to the 2E, 2B1 and 2A1- terms [24], respectively.
Solving the given problem then consists of finding a proof of the theorem above such that v is instantiated by a ground term.
The first was E. grandis, in which a third type of cutting was excised 45 cm above the ground, termed midphase.
We then attempted to fit the χM T product of the "isolated" CoII site to an anisotropic single-ion spin-Hamiltonian: 3 with SCo=3/2, reflecting the A2g ground term of CoII.
Furthermore, while in φ2 the time when the object hits the floor has to be computed explicitly (i.e. t′ is instantiated to a ground term), in φ1 this is not so (i.e. t′ is instantiated to a variable).
