No label defined (Q4896519)
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 937378 |
scientific article; zbMATH DE number 937378
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 937378 |
Statements
19 March 1997
0 references
weak membership
0 references
decidability
0 references
extensionality
0 references
coding Turing machine computations
0 references
satisfiability of sentences
0 references
undecidability
0 references
equational language
0 references
0 references
0.90146923
0 references
0.89693797
0 references
0.8891767
0 references
0.88382685
0 references
0 references
