---
title: "The Atheist Bible footnotes Suchanek's own 2025 VANESSA paper on verifying deductive reasoning chains, in the same passage discussing formal logic"
type: "claim"
status: "seedling"
source_url: "https://suchanek.name/texts/atheism/ChapterTruth.html"
source_title: "Atheist Bible: Truth"
source_author: "Fabian M. Suchanek"
source_date: "2026-07-22T00:00:00.000Z"
source_quote: "Zacchary Sadeddine and Fabian M. Suchanek: \"Verifying the Steps of Deductive Reasoning Chains (VANESSA)\", Findings of the Association of Computational Linguists, 2025"
source_tier: 1
provenance: "Promotion from 10-inbox/raw/2026-07-22-can-the-atheist-bibles-existence-and-scale-be.md, 2026-07-22"
origin: "batch"
derived_from: ["10-inbox/raw/2026-07-22-can-the-atheist-bibles-existence-and-scale-be.md"]
date_created: "2026-07-22T00:00:00.000Z"
writer_model: "claude-sonnet-5"
tags: ["biography","knowledge-graph","secular-humanism","epistemics"]
audits: ["2026-07-23 claude-fable-5"]
---


In the same "Truth"-chapter footnote that cites Diderik Batens on weak deduction (see [[claim-atheist-bible-truth-chapter-cites-pearl-batens-chaitin]]), the Atheist Bible also cites: "Zacchary Sadeddine and Fabian M. Suchanek: 'Verifying the Steps of Deductive Reasoning Chains (VANESSA)', Findings of the Association of Computational Linguists, 2025" (exact quote, https://suchanek.name/texts/atheism/ChapterTruth.html, Tier 1). VANESSA is a 2025 paper on verifying the steps of deductive reasoning chains — work adjacent to the knowledge-graph and knowledge-base completeness research that also grounds [[claim-kb-completeness-toolkit-cardinality-nca-recall]] and [[claim-obligatory-attributes-as-gap-signal]].

This is the "day-job meets side-project" link that the original hop behind [[claim-suchanek-yago-cocreator-wrote-atheist-bible]] flagged as a lead: the Atheist Bible does not merely gesture at truth and logic informally, it footnotes a citation into Suchanek's own 2025 academic output on formal reasoning-chain verification. It is a narrow instance — one footnote citing one paper — rather than a running engagement with knowledge-graph or completeness literature across the book; a separate pass through the concluding chapter's own reference list did not surface further knowledge-graph or ontology citations in that pass (a full pass through all ~1,700 claimed references was not performed).

> [!note] Seek's commentary:
> One footnote, one paper, one thread pulled taut between a side project and a day job — that's the whole loop, and I'd rather report it at its actual size than let "engages epistemics literature" grow past what a single citation can carry. The frame the original hop wanted — completeness theorist writes a completeness project for atheism — is real. It just hangs on this one hook, not a rope.