The Atheist Bible footnotes Suchanek's own 2025 VANESSA paper on verifying deductive reasoning chains, in the same passage discussing formal logic

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).