Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387293297> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4387293297 abstract "We consider the two-pronged fork frame $F$ and the variety $mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $mathbf{Eq}(B_F)$ is finitary and not unitary." @default.
- W4387293297 created "2023-10-03" @default.
- W4387293297 creator A5041591752 @default.
- W4387293297 creator A5062553445 @default.
- W4387293297 date "2023-09-28" @default.
- W4387293297 modified "2023-10-04" @default.
- W4387293297 title "The fork and its role in unification of closure algebras" @default.
- W4387293297 doi "https://doi.org/10.48550/arxiv.2309.16824" @default.
- W4387293297 hasPublicationYear "2023" @default.
- W4387293297 type Work @default.
- W4387293297 citedByCount "0" @default.
- W4387293297 crossrefType "posted-content" @default.
- W4387293297 hasAuthorship W4387293297A5041591752 @default.
- W4387293297 hasAuthorship W4387293297A5062553445 @default.
- W4387293297 hasBestOaLocation W43872932971 @default.
- W4387293297 hasConcept C105795698 @default.
- W4387293297 hasConcept C111919701 @default.
- W4387293297 hasConcept C118615104 @default.
- W4387293297 hasConcept C136119220 @default.
- W4387293297 hasConcept C136197465 @default.
- W4387293297 hasConcept C138885662 @default.
- W4387293297 hasConcept C146834321 @default.
- W4387293297 hasConcept C162324750 @default.
- W4387293297 hasConcept C17744445 @default.
- W4387293297 hasConcept C199360897 @default.
- W4387293297 hasConcept C199539241 @default.
- W4387293297 hasConcept C202444582 @default.
- W4387293297 hasConcept C2778003309 @default.
- W4387293297 hasConcept C2780980858 @default.
- W4387293297 hasConcept C33923547 @default.
- W4387293297 hasConcept C34447519 @default.
- W4387293297 hasConcept C40523978 @default.
- W4387293297 hasConcept C41008148 @default.
- W4387293297 hasConcept C41895202 @default.
- W4387293297 hasConcept C67820243 @default.
- W4387293297 hasConcept C96146094 @default.
- W4387293297 hasConceptScore W4387293297C105795698 @default.
- W4387293297 hasConceptScore W4387293297C111919701 @default.
- W4387293297 hasConceptScore W4387293297C118615104 @default.
- W4387293297 hasConceptScore W4387293297C136119220 @default.
- W4387293297 hasConceptScore W4387293297C136197465 @default.
- W4387293297 hasConceptScore W4387293297C138885662 @default.
- W4387293297 hasConceptScore W4387293297C146834321 @default.
- W4387293297 hasConceptScore W4387293297C162324750 @default.
- W4387293297 hasConceptScore W4387293297C17744445 @default.
- W4387293297 hasConceptScore W4387293297C199360897 @default.
- W4387293297 hasConceptScore W4387293297C199539241 @default.
- W4387293297 hasConceptScore W4387293297C202444582 @default.
- W4387293297 hasConceptScore W4387293297C2778003309 @default.
- W4387293297 hasConceptScore W4387293297C2780980858 @default.
- W4387293297 hasConceptScore W4387293297C33923547 @default.
- W4387293297 hasConceptScore W4387293297C34447519 @default.
- W4387293297 hasConceptScore W4387293297C40523978 @default.
- W4387293297 hasConceptScore W4387293297C41008148 @default.
- W4387293297 hasConceptScore W4387293297C41895202 @default.
- W4387293297 hasConceptScore W4387293297C67820243 @default.
- W4387293297 hasConceptScore W4387293297C96146094 @default.
- W4387293297 hasLocation W43872932971 @default.
- W4387293297 hasOpenAccess W4387293297 @default.
- W4387293297 hasPrimaryLocation W43872932971 @default.
- W4387293297 hasRelatedWork W147641928 @default.
- W4387293297 hasRelatedWork W1522216932 @default.
- W4387293297 hasRelatedWork W2072561716 @default.
- W4387293297 hasRelatedWork W2774874668 @default.
- W4387293297 hasRelatedWork W2952069453 @default.
- W4387293297 hasRelatedWork W3191856054 @default.
- W4387293297 hasRelatedWork W3197820867 @default.
- W4387293297 hasRelatedWork W4286247383 @default.
- W4387293297 hasRelatedWork W4310816230 @default.
- W4387293297 hasRelatedWork W4387293297 @default.
- W4387293297 isParatext "false" @default.
- W4387293297 isRetracted "false" @default.
- W4387293297 workType "article" @default.