{"artifact":{"id":"art-hist-2026phase28-decreasing-diagrams-confluence-preprint","dedupe_key":"097a33c9534297aed59ed4a42163486de16e5484816242efadfacd4b24876b96","canonical_url":"https://arxiv.org/abs/2610.06368","evidence_locator":"","artifact_type":"source_publication","title":"Endrullis Ivanov and van Raamsdonk publish machine-checked confluence proof preprint","summary":"","creator_entities":[],"released_at":"2026-10-05T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T05:53:59.914Z","updated_at":"2026-10-19T05:53:59.914Z"},"sources":[{"id":"src-hist-2026phase28-decreasing-diagrams-confluence-preprint","dedupe_key":"e6aa119f343934289c3be4aaf0701e9d0c7bef21c6eb2a2a38f0c0a87f40309b","name":"","publisher":"Jörg Endrullis, Ievgen Ivanov and Femke van Raamsdonk / arXiv","url":"https://arxiv.org/abs/2610.06368","evidence_locator":"","source_type":"original_author_preprint","primary_or_secondary":"","retrieved_at":"2026-10-18T08:30:00.000Z","published_at":"2026-10-05T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T05:53:59.909Z","updated_at":"2026-10-19T05:53:59.909Z"}]}