Reference health
A Formal Proof of Vickrey's Theorem by Blast, Simp, and Rule
17/17 checkable references clean · checked 2026-09-06
Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.
13 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.
The 17 checked references that resolve
resolves10.1613/jair.3126
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
resolves10.1007/978-3-642-39320-4_13
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
resolves10.1016/s0165-1765(00)00332-3
Arrow’s theorem and the Gibbard-Satterthwaite theorem: a unified approach
resolves10.1111/1468-5876.t01-1-00135
Presidential Address: Welfare Economics Beyond Welfarist-Consequentialism
resolves10.1016/j.artint.2009.02.005
Computer-aided proofs of Arrow's and other impossibility theorems
resolves10.1016/j.artint.2011.07.001
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
The 13 references without a DOI — listed, not checked
no DOI — not checkedref4
no DOI — not checkedref5
no DOI — not checkedref6
no DOI — not checkedref9
no DOI — not checkedDense Sphere Packings. A Blueprint for Formal Proofs
no DOI — not checkedFloating-Point Verification using Theorem Proving". In: Formal Methods for Hardware Verification
no DOI — not checkedA Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
no DOI — not checkedProjet et Essais pour arriver � quelque certitude pour finir une bonne partie des disputes et pour avancer l'art d'inventer". In: Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik
no DOI — not checkedref20
no DOI — not checkedref25
no DOI — not checkedFormal proof -Getting Started
no DOI — not checkedref29
no DOI — not checkedFormal method: practice and experience
What this badge says. CiteStamped means the CHECKABLE references of this
work were clean at the dated check: each resolved to a known work in a public registry, and none
carried a retraction notice at that time. It says nothing about the quality, findings,
or importance of the work itself, and nothing about references deposited without a DOI.
checked 2026-09-06 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record
Embed this badge
Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.
<a href="https://citestamp.com/citestamped/10.2139/ssrn.2376205"><img src="https://citestamp.com/citestamped/10.2139/ssrn.2376205/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[](https://citestamp.com/citestamped/10.2139/ssrn.2376205)