No label defined (Q5869521)
From MaRDI portal
scientific article; zbMATH DE number 7594101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7594101 |
Statements
28 September 2022
0 references
modal logic \(KD45\)
0 references
elementary unification
0 references
most general unifier
0 references
projective formula
0 references
unification type
0 references
