Preface: Twenty Years of the QED Manifesto (Q5195265)
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: Preface: Twenty Years of the QED Manifesto |
scientific article; zbMATH DE number 7106501
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Preface: Twenty Years of the QED Manifesto |
scientific article; zbMATH DE number 7106501 |
Statements
18 September 2019
0 references
QED
0 references
formal verification
0 references
formalization of mathematics
0 references
Preface: Twenty Years of the QED Manifesto (English)
0 references
0.8194923
0 references
0.8163085
0 references
0 references
0.8081133
0 references
0.8035008
0 references
0.80245596
0 references
0.7966609
0 references
