- Consortium. "The
Unicode Standard,
Version 14.0" (PDF).
Unicode Consortium. "
unifiable glyph variants" (PDF).
Archived from the
original (PDF) on 2006-05-15...
- "Compatibility"
blocks relate to CJK unification.
While 龜 and 亀 are not
considered unifiable, U+FA20 蘒 CJK
COMPATIBILITY IDEOGRAPH-FA20 is
considered a
duplicate to...
-
since Windows 98. All of the
pictographic Webding glyphs that were not
unifiable with
existing Unicode characters were
added to the
Unicode Standard when...
- the
notion of
unifiability. That is, if two
nominal terms are
unifiable, then
their translated pattern counterparts are also
unifiable.
Dowek and Gabbay...
- "Two CJK
unified ideographs with
identical semantics and
unifiable shapes,"
where "
unifiable" is
taken in the
sense of Han unification. Thus, were Han...
-
Ideographs block in the
range U+FA0E–U+FA2D. Of
these 32 characters: 19 are
unifiable with
characters in the URO, and are
therefore compatibility ideographs...
- This
lattice is
called the
subsumption lattice. Two
terms are said to be
unifiable if
their meet
differs from Ω. The join and the meet
operation in this...
- generally, E {\displaystyle E} and F {\displaystyle F} need to have only two
unifiable subformulas p 1 {\displaystyle p_{1}} and p 2 {\displaystyle p_{2}} ,...
-
monotonicity of
entailment in
classical logic. Contraction,
where two
equal (or
unifiable)
members on the same side of a
sequent may be
replaced by a
single member...
-
stack space, like
loops in
other languages.
Finding clauses that are
unifiable with a term in a
query is
linear in the
number of clauses. Term indexing...
