Maude is a high level, very powerful, declarative language for the construction of the various kinds of applications based on both equational
and rewriting logics.
the biclausal construction in which the wh-element forms the predicate in a subject-predicate equational
In particular, Shevrin suggested to investigate the collection of all unary semigroup identities holding in all epigroups, that is, the equational
theory of E as a class of unary semigroups (i).
The component uses a scripting language resembling Latex, which is translated and displayed in equational
A measurement model can be defined as an equational
representation of the relationship between a latent construct (i.
We may briefly note the equational
relationship as given by Domar (8):
The 'wild black' meaning was given to Robinson by a Thawa speaker, and it is quite possible that this speaker said 'Bidawal wild black', meaning that the Bidawal people were 'wild blacks' (an ascriptive predication) rather than that the word Bidawal meant 'wild black' (an equational
rubromarginata the chromosome segregation takes place in anaphase I whereas the equational
division occurs during anaphase II.
It is also true that some of his interpretations were erroneous and that these mistakes produced several years of confusion regarding the actual mechanism of chromosomal synapsis and segregation [Sutton erroneously considered that the second meiotic division was reductional and the first, equational
, probably influenced by the ideas of McClung, Wilson and Montgomery (Hegreness & Meselson 2007)].
If records a and b are found to be similar and, at the same time, records b and c are also found to be similar, the transitive closure step can mark a and c to be similar if this relation was not detected by the equational
In a draft paper , The Equational
Theory of Disjoint Alternatives around 1989, E.
Moore (Moore, 1962) have distinguished the "is" of predication from the "is" of identity, a distinction that is retained in the linguist's distinction between equational
and predicational statements.