No label defined (Q4362929)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1086678
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1086678 |
Statements
13 November 1997
0 references
combinatorial circuits
0 references
bounded variable fragment
0 references
first-order logic
0 references
combinatorial symmetry of circuits
0 references
bounded variable fragment of infinitary logic
0 references
first-order definability
0 references
0.8683354
0 references
0.85735595
0 references
0.8573229
0 references
0.8551702
0 references
0.8537259
0 references
0.8526274
0 references
0.8505738
0 references
