Properties of substitutions and unifications (Q1074342)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Properties of substitutions and unifications |
scientific article; zbMATH DE number 3947653
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Properties of substitutions and unifications |
scientific article; zbMATH DE number 3947653 |
Statements
Properties of substitutions and unifications (English)
0 references
1985
0 references
Basic properties of the semigroup of substitutions in first-order logic are proved. The idempotent substitutions are shown to form a complete lattice modulo renaming of variables. Most general unifiers are characterized as suprema of appropriate sets of substitutions. Also weak unifiers are considered, including a criterion for the existence of most general weak unifiers.
0 references
semigroup of substitutions in first-order logic
0 references
unifiers
0 references
0.87527037
0 references
0 references
0.86576396
0 references
0.86143535
0 references
0.85810125
0 references
0.85507494
0 references
