No label defined (Q4016540)
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 |
scientific article; zbMATH DE number 88983
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 88983 |
Statements
16 January 1993
0 references
associativity of APPEND without induction
0 references
derived rule of inference
0 references
instantiation of function symbols
0 references
0.7398721575737
0 references
0.7349696755409241
0 references
0.732244074344635
0 references
0.7280817031860352
0 references
0.7263407707214355
0 references
