No label defined (Q4012879)
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: scientific article; zbMATH DE number 65531
scientific article; zbMATH DE number 65531
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 65531 |
Statements
27 September 1992
0 references
proof search
0 references
logical language
0 references
meta-logic for unification
0 references
0.9294121
0 references
