Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988552011> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1988552011 endingPage "324" @default.
- W1988552011 startingPage "317" @default.
- W1988552011 abstract "We are interested in first-order unification problems and, more specifically, in the hierarchy of equational theories based on the cardinality of the set of most general unifiers. The following result is established in this paper: if T is a suitable first-order equational theory that is not unitary, then T is not bounded; that is, there is no integer n > 1 such that for every unification problem ( s = t ) T , the cardinality of the set of most general unifiers for ( s = t ) T is at most n . Hence, the class of (non-unitary) finitary theories cannot be decomposed into a hierarchy obtained by uniformly bounding the eardinalities of the sets of most general unifiers." @default.
- W1988552011 created "2016-06-24" @default.
- W1988552011 creator A5044203427 @default.
- W1988552011 creator A5068416316 @default.
- W1988552011 date "1986-12-01" @default.
- W1988552011 modified "2023-09-29" @default.
- W1988552011 title "On unification: Equational theories are not bounded" @default.
- W1988552011 cites W2033288425 @default.
- W1988552011 cites W2090054066 @default.
- W1988552011 cites W3105971546 @default.
- W1988552011 doi "https://doi.org/10.1016/s0747-7171(86)80001-3" @default.
- W1988552011 hasPublicationYear "1986" @default.
- W1988552011 type Work @default.
- W1988552011 sameAs 1988552011 @default.
- W1988552011 citedByCount "6" @default.
- W1988552011 crossrefType "journal-article" @default.
- W1988552011 hasAuthorship W1988552011A5044203427 @default.
- W1988552011 hasAuthorship W1988552011A5068416316 @default.
- W1988552011 hasBestOaLocation W19885520111 @default.
- W1988552011 hasConcept C10138342 @default.
- W1988552011 hasConcept C110546421 @default.
- W1988552011 hasConcept C114614502 @default.
- W1988552011 hasConcept C118615104 @default.
- W1988552011 hasConcept C124101348 @default.
- W1988552011 hasConcept C134306372 @default.
- W1988552011 hasConcept C136119220 @default.
- W1988552011 hasConcept C154945302 @default.
- W1988552011 hasConcept C162324750 @default.
- W1988552011 hasConcept C177264268 @default.
- W1988552011 hasConcept C17744445 @default.
- W1988552011 hasConcept C182306322 @default.
- W1988552011 hasConcept C199360897 @default.
- W1988552011 hasConcept C199539241 @default.
- W1988552011 hasConcept C202444582 @default.
- W1988552011 hasConcept C2777212361 @default.
- W1988552011 hasConcept C2778003309 @default.
- W1988552011 hasConcept C31170391 @default.
- W1988552011 hasConcept C33923547 @default.
- W1988552011 hasConcept C34388435 @default.
- W1988552011 hasConcept C34447519 @default.
- W1988552011 hasConcept C41008148 @default.
- W1988552011 hasConcept C63584917 @default.
- W1988552011 hasConcept C67820243 @default.
- W1988552011 hasConcept C87117476 @default.
- W1988552011 hasConcept C96146094 @default.
- W1988552011 hasConcept C97137487 @default.
- W1988552011 hasConceptScore W1988552011C10138342 @default.
- W1988552011 hasConceptScore W1988552011C110546421 @default.
- W1988552011 hasConceptScore W1988552011C114614502 @default.
- W1988552011 hasConceptScore W1988552011C118615104 @default.
- W1988552011 hasConceptScore W1988552011C124101348 @default.
- W1988552011 hasConceptScore W1988552011C134306372 @default.
- W1988552011 hasConceptScore W1988552011C136119220 @default.
- W1988552011 hasConceptScore W1988552011C154945302 @default.
- W1988552011 hasConceptScore W1988552011C162324750 @default.
- W1988552011 hasConceptScore W1988552011C177264268 @default.
- W1988552011 hasConceptScore W1988552011C17744445 @default.
- W1988552011 hasConceptScore W1988552011C182306322 @default.
- W1988552011 hasConceptScore W1988552011C199360897 @default.
- W1988552011 hasConceptScore W1988552011C199539241 @default.
- W1988552011 hasConceptScore W1988552011C202444582 @default.
- W1988552011 hasConceptScore W1988552011C2777212361 @default.
- W1988552011 hasConceptScore W1988552011C2778003309 @default.
- W1988552011 hasConceptScore W1988552011C31170391 @default.
- W1988552011 hasConceptScore W1988552011C33923547 @default.
- W1988552011 hasConceptScore W1988552011C34388435 @default.
- W1988552011 hasConceptScore W1988552011C34447519 @default.
- W1988552011 hasConceptScore W1988552011C41008148 @default.
- W1988552011 hasConceptScore W1988552011C63584917 @default.
- W1988552011 hasConceptScore W1988552011C67820243 @default.
- W1988552011 hasConceptScore W1988552011C87117476 @default.
- W1988552011 hasConceptScore W1988552011C96146094 @default.
- W1988552011 hasConceptScore W1988552011C97137487 @default.
- W1988552011 hasIssue "4" @default.
- W1988552011 hasLocation W19885520111 @default.
- W1988552011 hasOpenAccess W1988552011 @default.
- W1988552011 hasPrimaryLocation W19885520111 @default.
- W1988552011 hasRelatedWork W1186057354 @default.
- W1988552011 hasRelatedWork W1522216932 @default.
- W1988552011 hasRelatedWork W1988552011 @default.
- W1988552011 hasRelatedWork W1992729023 @default.
- W1988552011 hasRelatedWork W2054050056 @default.
- W1988552011 hasRelatedWork W2074681477 @default.
- W1988552011 hasRelatedWork W2502624504 @default.
- W1988552011 hasRelatedWork W3198746076 @default.
- W1988552011 hasRelatedWork W1792000713 @default.
- W1988552011 hasRelatedWork W2762886673 @default.
- W1988552011 hasVolume "2" @default.
- W1988552011 isParatext "false" @default.
- W1988552011 isRetracted "false" @default.
- W1988552011 magId "1988552011" @default.
- W1988552011 workType "article" @default.