Isabelle formalization of set theoretic structures and set comprehensions (Q4628488)
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: Isabelle formalization of set theoretic structures and set comprehensions |
scientific article; zbMATH DE number 7036050
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Isabelle formalization of set theoretic structures and set comprehensions |
scientific article; zbMATH DE number 7036050 |
Statements
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (English)
0 references
14 March 2019
0 references
Isabelle
0 references
Mizar
0 references
set-theoretic structure
0 references
set comprehension
0 references
multiple inheritance
0 references
0.7758949398994446
0 references
0.7753185033798218
0 references
0.7753185033798218
0 references
0.7503272294998169
0 references
0.7443232536315918
0 references
