{"as_of":"2026-08-08T13:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e4a188400d1da6821a5fabc0637f6ba45b5998953da0dbb18325528530f443bb","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:53:02.495357Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.01711/citation-record","integrity":"/paper/2506.01711/integrity","json":"/paper/2506.01711/citation-record.json","paper":"/paper/2506.01711"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:05.547552Z","title":"Grotenhuis, G","venue":null,"work_id":"1b389772-317b-4dcd-93b2-f341af4ae209","year":2023},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.471092Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:b046d19844689ea3f35eaf7af482af007356c33a6be8233afb9665627bc55598","observation_id":"4f6e90c6-6221-4a45-a7bc-1a2c8dcd24e6","resolution":{"observed_at":"2026-08-07T11:53:05.649783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:05.333611Z","title":null,"venue":null,"work_id":"d5041da5-2a36-497e-ac99-dcf875e18855","year":null},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.488959Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:7fcf840cbccc0b11ce5375f5b0e05ad96a897a6e33160b9954d7dd26fd1ff674","observation_id":"58865094-3985-44da-bd0f-aea881f4fa28","resolution":{"observed_at":"2026-08-07T11:53:05.443145Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:05.127030Z","title":null,"venue":null,"work_id":"eb05cdbd-b81c-4a24-872c-9ddf396e9747","year":2023},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.502668Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:c43ce935ee2defffd8b613c0258c27d08e9f135784573a13624d3b732dafbd57","observation_id":"332bfb45-0c91-481b-bdad-9db9d632874b","resolution":{"observed_at":"2026-08-07T11:53:05.224133Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:01.510504Z","title":"Doumane and A","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.510504Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:10b3bcc681001012d19b23c55e866117c913b9858be0c41edf41a9775323dfd0","observation_id":"4cec1b0d-81f4-40a0-a3d2-24dd15612777","resolution":{"observed_at":"2026-08-07T11:53:01.510504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:04.921002Z","title":null,"venue":null,"work_id":"d362adf8-c9a8-4b37-9797-5c43e2687143","year":2007},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.518246Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:0a0dac5573c07caf10f9896e56c720edea8053dc7d6a7e12765b7b8c99d6db6a","observation_id":"323ec5c8-b112-4e11-afc1-96b618753f5b","resolution":{"observed_at":"2026-08-07T11:53:05.018958Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:04.686926Z","title":"Kuznets and T","venue":null,"work_id":"631f8e09-87e2-4c07-b858-610b4ecaf3d2","year":2010},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.525286Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:4eda4d11d4268284b6939f7f2586847abc041a415297684ee76243f875662b21","observation_id":"156560e0-b6f3-4680-89a2-da3174f2395a","resolution":{"observed_at":"2026-08-07T11:53:04.803292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:01.530763Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.530763Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:c8d01b6374fe5377397fef7d167f00928b05bb6c67e866f4843998bbc242ad7c","observation_id":"43a9cdca-ca77-4c6a-ba1a-bdbaf83ce883","resolution":{"observed_at":"2026-08-07T11:53:01.530763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-29026-9_19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:02.872186Z","title":null,"venue":null,"work_id":"d2dec236-5a54-4b6b-b10d-abd3c6357be0","year":2019},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.538129Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:0680ebfd7b5eff06fed0164634b41e53a5070a7b5a58083071a402ac7e466cc6","observation_id":"3e2ea614-aad1-44bf-9ad3-1d46aa69a231","resolution":{"observed_at":"2026-08-07T11:53:02.909369Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:01.543884Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.543884Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:7547a71d39e7858475be1ac79cad6113de547f0bf930116240b4a1e2ed5e7b5e","observation_id":"10b431e4-b845-4911-93b4-0ef12233e473","resolution":{"observed_at":"2026-08-07T11:53:01.543884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-86059-2_22","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:02.603506Z","title":null,"venue":null,"work_id":"18f4c5c3-a639-46c7-9429-a5de6dc4c5cc","year":2021},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.550877Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:46be1cb8b4a77430a06a19767b0b746b38b175d18bac5123b7076b4d6411b71d","observation_id":"105bd5aa-1657-4cd4-b05c-7b7ba5482582","resolution":{"observed_at":"2026-08-07T11:53:02.726205Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:01.556257Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.556257Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:97780fc76aba35572e86ffbbe788daa60431edb48937b49e8e1a67bd2f44fb02","observation_id":"12fbbc13-a5f8-4631-8d5c-882b173140b8","resolution":{"observed_at":"2026-08-07T11:53:01.556257Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:04.505307Z","title":null,"venue":null,"work_id":"6e29604e-bb29-46fe-8a73-d11bd396761d","year":2022},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.567319Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:808ea9beec55d12980112d2969f191a57e846d4be7bf1a37bb5c776736117cbd","observation_id":"0484532e-d4d4-4666-9611-bb9bf5d9d9d9","resolution":{"observed_at":"2026-08-07T11:53:04.586278Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:04.298451Z","title":"Ramanayake and J","venue":null,"work_id":"5b5b5fb3-b8bd-4637-8a61-8d2283b8ed46","year":2023},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.581268Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:5e213e35d29257b0936840720e90a252a6765fc3cb8a969555d807bb04e8f332","observation_id":"73049582-872f-4057-8c68-c1b2976cc8e8","resolution":{"observed_at":"2026-08-07T11:53:04.393553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:04.142897Z","title":null,"venue":null,"work_id":"2010d4de-039f-46ef-97b0-0373503aad0a","year":2018},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.595556Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:1ff4e8246d75a0aa8119e06883ada0b7696be37352cb5f9d6533b118c4fd002c","observation_id":"56fec662-1056-4723-a90c-a4f3b6f783b2","resolution":{"observed_at":"2026-08-07T11:53:04.207600Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:03.985709Z","title":null,"venue":null,"work_id":"cd6a258f-f920-4c70-9c28-69a99e815d6f","year":2019},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.694395Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:05160dd5c1d90c2ffb84c6d7f4a286833a12d38c327e173ae29572f1a6eda06a","observation_id":"a6e0d11f-1f98-4538-b84e-73b37b4e4987","resolution":{"observed_at":"2026-08-07T11:53:04.046595Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:01.807226Z","title":"S., Circular proofs for the G¨ odel-L¨ ob provability logic, Mathematical Notes 96 (2014), pp","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.807226Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:9499c0f49d4d30cc64f84088993d846bdf624e46e5f5aefab28772c47d155cd3","observation_id":"36cfb9bb-ef00-4018-b865-3288e380cf43","resolution":{"observed_at":"2026-08-07T11:53:01.807226Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:03.733265Z","title":"Esparza and A","venue":null,"work_id":"01df5dac-6d2c-4ab2-8a7f-eb38a93870d9","year":2017},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:01.893823Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:0bca140abb27056e55228dd1e2b358f5956c92e6d9e0c3604755e1b401d2377c","observation_id":"32902fa0-0d0e-4187-a156-b2c7a54cd125","resolution":{"observed_at":"2026-08-07T11:53:03.849977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:03.514166Z","title":null,"venue":null,"work_id":"a733d124-a5f2-4d34-9491-46309d34ce96","year":2013},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:02.068303Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:916c99144442136ec717579d50d1243f23865364e034cffae2490e59b2ec2b63","observation_id":"8e02978c-3a6a-44d7-89ac-912634dc5315","resolution":{"observed_at":"2026-08-07T11:53:03.605401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:02.222186Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:02.222186Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:bc989ced74df436ea3015082d5c3b1eefc56e518c5d1da8e40521bdcfda4047f","observation_id":"0193e5b9-02ef-4b74-97a4-46e14d80dbce","resolution":{"observed_at":"2026-08-07T11:53:02.222186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:03.347186Z","title":"M., Cyclic proof systems for modal fixpoint logics , ILLC Dissertation series (2024)","venue":null,"work_id":"58b8c852-ad08-4bd2-a572-15be6a8950d9","year":2024},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:02.381126Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:333e592501eb6001dbfae1db819e3a9364a2172f2ef966c2b606f2c77c73bd83","observation_id":"ccc188ad-eef6-4555-ae4e-ecb1b997407f","resolution":{"observed_at":"2026-08-07T11:53:03.408878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:53:03.185938Z","title":"Blackburn, J","venue":null,"work_id":"4cb1d240-614b-42c4-a89e-18cc28ef2469","year":2007},"citing_paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T11:53:02.495357Z"},"links":{"citing_paper":"/paper/2506.01711"},"observation_digest":"sha256:e12471a123c730d238591e43c658ff8a4a589a97b7877a7755cde08fae29a59c","observation_id":"5f8401bd-3304-426a-bd52-4302e5eec9c6","resolution":{"observed_at":"2026-08-07T11:53:03.244609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.01711","last_updated":"2025-06-02T14:19:03Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-07T11:32:46.897058Z","submitted_at":"2025-06-02T14:19:03Z","title":"Coalgebraic proof translations for non-wellfounded proofs"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":2,"verified_fuzzy":6},"total_outbound_references":21},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2506.01711."}