No label defined (Q4364523)
From MaRDI portal
scientific article; zbMATH DE number 1088208
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1088208 |
Statements
1 April 1998
0 references
simultaneous rigid \(E\)-unification
0 references
undecidability
0 references
decidability
0 references
prenex fragment of intuitionistic logic with equality
0 references
