Matches in SemOpenAlex for { <https://semopenalex.org/work/W256196595> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W256196595 abstract "The articles [22], [25], [26], [28], [8], [9], [11], [21], [23], [3], [12], [10], [1], [19], [6], [27], [18], [15], [2], [5], [4], [16], [7], [24], [13], [14], [17], and [20] provide the notation and terminology for this paper. For simplicity we follow the rules: U1, U2, U3 denote universal algebras, n denotes a natural number, A denotes a non empty set, and h denotes a function from U1 into U2. The following propositions are true: (1) For all functions f , g and for every set C such that rng f ⊆ C holds (g C) · f = g · f. (2) For every set I and for every subset C of I holds C ∗ ⊆ I. (3) For every function f and for every set C such that f is function yielding holds f C is function yielding. (4) For every set I and for every subset C of I and for every many sorted set M indexed by I holds (M C)# = M# C. Let us consider A, n and let a be an element of A. Then n 7→ a is a finite sequence of elements of A. Let S, S be non empty many sorted signatures. The predicate S ≤ S ′ is defined by the conditions (Def.1)." @default.
- W256196595 created "2016-06-24" @default.
- W256196595 creator A5073856205 @default.
- W256196595 date "1996-01-01" @default.
- W256196595 modified "2023-09-27" @default.
- W256196595 title "The Correspondence Between Homomorphisms of Universal Algebra & Many Sorted Algebra" @default.
- W256196595 cites W112957075 @default.
- W256196595 cites W148282774 @default.
- W256196595 cites W1483101703 @default.
- W256196595 cites W1972006750 @default.
- W256196595 cites W2098464720 @default.
- W256196595 cites W2112898323 @default.
- W256196595 cites W2115474581 @default.
- W256196595 cites W2121318177 @default.
- W256196595 cites W2126642037 @default.
- W256196595 cites W2150348213 @default.
- W256196595 cites W2151002501 @default.
- W256196595 cites W2163641194 @default.
- W256196595 cites W2547540153 @default.
- W256196595 cites W572041880 @default.
- W256196595 hasPublicationYear "1996" @default.
- W256196595 type Work @default.
- W256196595 sameAs 256196595 @default.
- W256196595 citedByCount "1" @default.
- W256196595 crossrefType "journal-article" @default.
- W256196595 hasAuthorship W256196595A5073856205 @default.
- W256196595 hasConcept C102565666 @default.
- W256196595 hasConcept C114614502 @default.
- W256196595 hasConcept C118615104 @default.
- W256196595 hasConcept C136119220 @default.
- W256196595 hasConcept C140146324 @default.
- W256196595 hasConcept C14036430 @default.
- W256196595 hasConcept C177264268 @default.
- W256196595 hasConcept C184264201 @default.
- W256196595 hasConcept C188971069 @default.
- W256196595 hasConcept C199360897 @default.
- W256196595 hasConcept C202444582 @default.
- W256196595 hasConcept C33923547 @default.
- W256196595 hasConcept C4042151 @default.
- W256196595 hasConcept C41008148 @default.
- W256196595 hasConcept C78458016 @default.
- W256196595 hasConcept C86803240 @default.
- W256196595 hasConceptScore W256196595C102565666 @default.
- W256196595 hasConceptScore W256196595C114614502 @default.
- W256196595 hasConceptScore W256196595C118615104 @default.
- W256196595 hasConceptScore W256196595C136119220 @default.
- W256196595 hasConceptScore W256196595C140146324 @default.
- W256196595 hasConceptScore W256196595C14036430 @default.
- W256196595 hasConceptScore W256196595C177264268 @default.
- W256196595 hasConceptScore W256196595C184264201 @default.
- W256196595 hasConceptScore W256196595C188971069 @default.
- W256196595 hasConceptScore W256196595C199360897 @default.
- W256196595 hasConceptScore W256196595C202444582 @default.
- W256196595 hasConceptScore W256196595C33923547 @default.
- W256196595 hasConceptScore W256196595C4042151 @default.
- W256196595 hasConceptScore W256196595C41008148 @default.
- W256196595 hasConceptScore W256196595C78458016 @default.
- W256196595 hasConceptScore W256196595C86803240 @default.
- W256196595 hasLocation W2561965951 @default.
- W256196595 hasOpenAccess W256196595 @default.
- W256196595 hasPrimaryLocation W2561965951 @default.
- W256196595 hasRelatedWork W1526733659 @default.
- W256196595 hasRelatedWork W1697336910 @default.
- W256196595 hasRelatedWork W1971885619 @default.
- W256196595 hasRelatedWork W2011558009 @default.
- W256196595 hasRelatedWork W2025277274 @default.
- W256196595 hasRelatedWork W2028266866 @default.
- W256196595 hasRelatedWork W2029704147 @default.
- W256196595 hasRelatedWork W2030545406 @default.
- W256196595 hasRelatedWork W2036997141 @default.
- W256196595 hasRelatedWork W2043098012 @default.
- W256196595 hasRelatedWork W2045609824 @default.
- W256196595 hasRelatedWork W2058142631 @default.
- W256196595 hasRelatedWork W2093154758 @default.
- W256196595 hasRelatedWork W2123655301 @default.
- W256196595 hasRelatedWork W2145348805 @default.
- W256196595 hasRelatedWork W2165569558 @default.
- W256196595 hasRelatedWork W2377735273 @default.
- W256196595 hasRelatedWork W2383013251 @default.
- W256196595 hasRelatedWork W3104623756 @default.
- W256196595 hasRelatedWork W2112716242 @default.
- W256196595 isParatext "false" @default.
- W256196595 isRetracted "false" @default.
- W256196595 magId "256196595" @default.
- W256196595 workType "article" @default.