The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Hammering towards QED
The work
| Authors | Jasmin Christian Blanchette; Cezary Kaliszyk; Lawrence C. Paulson; Josef Urban |
|---|---|
| Editors | |
| Type | misc |
| Year | 2016 |
| Also known as | anon2016hammering |
| Citekey | blanchette2016hammering |
Where it appeared
| Publisher | Alma Mater Studiorum - University of Bologna |
|---|
Identifiers
| DOI | 10.6092/issn.1972-5787/4593 |
|---|
How it got here
| How it got here | agent via datacite |
|---|---|
| Added | 2026-10-29 00:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{blanchette2016hammering,
title = {Hammering towards QED},
author = {Jasmin Christian Blanchette and Cezary Kaliszyk and Lawrence C. Paulson and Josef Urban},
year = {2016},
publisher = {Alma Mater Studiorum - University of Bologna},
doi = {10.6092/issn.1972-5787/4593},
}
This record lives at https://refs.drheap.org/blanchette2016hammering/ and will keep
doing so. It used to be called anon2016hammering, and those addresses still resolve to this one.