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 |
|---|---|---|---|
| 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
