Pumping, with or without choice (Q6536320)
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: Pumping, with or without choice |
scientific article; zbMATH DE number 7834987
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Pumping, with or without choice |
scientific article; zbMATH DE number 7834987 |
Statements
Pumping, with or without choice (English)
0 references
19 April 2024
0 references
pumping lemmas
0 references
axiom of choice
0 references
Coq
0 references
0.7732174396514893
0 references
0.7662035822868347
0 references
0.7495468854904175
0 references
