{"as_of":"2026-08-08T11:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9f757f70b68baaa25cba45f1bccd2ebc9ed97fb1e22bca2d2965e2c8899d1301","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:52:49.702564Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"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.01421/citation-record","integrity":"/paper/2506.01421/integrity","json":"/paper/2506.01421/citation-record.json","paper":"/paper/2506.01421"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T11:52:47.968559Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:47.968559Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:7cc55cdd55c421f0282ca849597c077a560ab05d66b1df2ed641125e3627ebd8","observation_id":"2158da35-582d-422e-96c9-a0c21788573f","resolution":{"observed_at":"2026-08-07T11:52:47.968559Z","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:52:52.877446Z","title":null,"venue":null,"work_id":"22102866-28e0-483f-a572-f32dbe836318","year":2009},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.011461Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:bec8be9e166b80afdebbd5167676cfc6400b8a7f858aa995bfed3cdef0070ca0","observation_id":"1630d5b0-5dd2-427b-a908-2dccc16645d5","resolution":{"observed_at":"2026-08-07T11:52:52.944092Z","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:52:52.686712Z","title":null,"venue":null,"work_id":"3883d059-3df0-409c-9069-ce02e6dddceb","year":2012},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.099250Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:8176cda1870d4bf023ba751ded87e488dbbc828d6dd625bd6e0e1b3f299b19c9","observation_id":"6e7d0995-ecb9-48a7-a25e-3252b01e2cdf","resolution":{"observed_at":"2026-08-07T11:52:52.780148Z","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:52:52.493198Z","title":"o rger, E.; Gr \\","venue":null,"work_id":"234faa76-c80d-4604-95de-76fc761fb536","year":2001},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.175341Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:6483ce6357fa5daa4bad3c4e1126aedd142f0fbac05091c4af2db9b2c46aea20","observation_id":"86eaeab1-af82-44dc-880d-e2bc25eb3526","resolution":{"observed_at":"2026-08-07T11:52:52.582815Z","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:52:52.422807Z","title":null,"venue":null,"work_id":"c9e5b99c-7efd-4674-998e-e745e670049b","year":2008},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.256178Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:be5e53359ef06574081fe68d17236db66100828366a17f3ce6f6e392ae523bcc","observation_id":"1576a573-ded8-4633-918e-d3fcee238edb","resolution":{"observed_at":"2026-08-07T11:52:52.427743Z","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:52:52.351546Z","title":"M., and Shehtman, V","venue":null,"work_id":"91d54e3e-6784-4cde-8f61-9f81510075c8","year":1993},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.362797Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:f77a34f12c139fb25072af4967dff8ef70994ab685c109a0a832523da92eb2c2","observation_id":"3a9b6ed7-2bf1-4beb-8fbd-25e2a69c8e2d","resolution":{"observed_at":"2026-08-07T11:52:52.416497Z","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:52:52.200471Z","title":null,"venue":null,"work_id":"15a6358d-5526-4302-9485-c6ada587c409","year":1999},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.437247Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:f99880dfdc5c988e3c67a77ef7e758b2780a8509436c82ae50fb2655d21beeff","observation_id":"e5cd3bb9-ed2d-46a1-a65a-7a4485c3f754","resolution":{"observed_at":"2026-08-07T11:52:52.280189Z","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:52:52.063381Z","title":null,"venue":null,"work_id":"df73bd1a-c274-4c1b-960f-cc83f6b2960e","year":null},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.516018Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:d0b2951a898ad294646e9a66832108448891815f8e638cb6a6a2870917e2465b","observation_id":"7e1bcc2c-130c-4295-a041-98488b079355","resolution":{"observed_at":"2026-08-07T11:52:52.133166Z","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:52:51.898926Z","title":null,"venue":null,"work_id":"5eb980ed-a680-479c-9ae8-b0043ba12719","year":2002},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.633123Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:886ce3c7595008479cc64f1df6ef0adfbcd32095f95fcbe7527cff5a395cff37","observation_id":"fd1e123a-41ba-44c0-8bbb-465a385f95ca","resolution":{"observed_at":"2026-08-07T11:52:51.962764Z","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:52:51.877495Z","title":"E., and Cresswell, M","venue":null,"work_id":"de8bc361-0395-4e40-b834-386be28df638","year":1996},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.713466Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:3fa5e4bb0c653bc11cc17faa560a647222431c4139b37d4fc54bdba2fa638791","observation_id":"97f75181-3375-4c13-bf8b-7d51b515f992","resolution":{"observed_at":"2026-08-07T11:52:51.886300Z","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:52:51.860525Z","title":null,"venue":null,"work_id":"d114b728-46f9-4527-a567-2ffea2104424","year":2005},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.806876Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:2fb81348dc206d225ec2e5aba27a242f3e7adf9df842962cf9e05a3c6e0adf3b","observation_id":"22b15a0e-8d67-42d6-b4a4-d2f6a1caf8da","resolution":{"observed_at":"2026-08-07T11:52:51.871212Z","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:52:51.506439Z","title":null,"venue":null,"work_id":"23df7537-be05-4c72-b209-ef2f1d456abb","year":1962},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:48.913409Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:417bf1741d69cae53c44bc24af0550b7f05118e9f2e0ebad2d2de97b836110c3","observation_id":"5ca02c27-5bdd-4011-b4a6-a76959231f34","resolution":{"observed_at":"2026-08-07T11:52:51.629748Z","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:52:51.213727Z","title":null,"venue":null,"work_id":"3b2e8ee5-76c0-4599-a8ad-6003fd30786c","year":2019},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.020529Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:813c911189b4146659e354662a2c204f9cf6b7eabac569665a7c4399ed25a93f","observation_id":"5446a3e9-29c9-4fb3-976a-6eb1854744b2","resolution":{"observed_at":"2026-08-07T11:52:51.325103Z","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:52:51.106885Z","title":null,"venue":null,"work_id":"a9b83bfb-5293-489f-b03e-506cf420877f","year":2022},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.104049Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:4ef6e0cccb6c594f9bed2f9aaece31858fb9a037da9df602c900b81ff2a6724e","observation_id":"d8cf34ba-9a69-4cd9-b8c3-8ffc082b7aa8","resolution":{"observed_at":"2026-08-07T11:52:51.156008Z","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:52:50.961299Z","title":null,"venue":null,"work_id":"cda25037-6090-441e-b071-f2db58fe3518","year":2023},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.206817Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:5099da34ca6caaaea35250e49ec1603412d96df136d19a06b4e0d8a6d1c8d1ea","observation_id":"3e591f3e-d2b8-44f2-880f-d6a92d543630","resolution":{"observed_at":"2026-08-07T11:52:51.066399Z","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:52:50.680703Z","title":null,"venue":null,"work_id":"f049b2b2-a6e0-4b23-8648-13dd0aa1f506","year":2023},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.298009Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:82a9ab7b9d83e0b50e17339d1d45f16c36db584e5f7b0b4b9bbe9b98cae84433","observation_id":"7e5689d2-c8d4-4cfb-8ac7-dbd64dfabf80","resolution":{"observed_at":"2026-08-07T11:52:50.813289Z","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:52:50.471256Z","title":null,"venue":null,"work_id":"d1d52573-2813-4e4a-a9d0-80405687b407","year":2018},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.397697Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:d584685f71ebabffbc3389a013a63f3656256280b8ef97700fbd1f8f4ef5d7ac","observation_id":"b330e1b6-21ae-49d6-aef2-5a6510c27e49","resolution":{"observed_at":"2026-08-07T11:52:50.564381Z","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:52:50.291889Z","title":null,"venue":null,"work_id":"56491e79-0787-47ab-93a8-5b29c9d759e8","year":1997},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.503043Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:be5e73ff95e11a3ee7582e06fd4f7f66d906f9a7b62fa4fafae5810979a6261b","observation_id":"5cc55f8b-70c6-45a9-a150-25be7280953c","resolution":{"observed_at":"2026-08-07T11:52:50.370717Z","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:52:49.991143Z","title":null,"venue":null,"work_id":"b9800ba1-94a7-446a-9cc4-efe16092fae8","year":2017},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.595857Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:36a21fe5f495412173b39429458f3aca36d91e11a0efa750c5838d4d788b3ebb","observation_id":"b34b5e40-e807-4675-8025-b786d2363d4d","resolution":{"observed_at":"2026-08-07T11:52:50.158416Z","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:52:49.843691Z","title":null,"venue":null,"work_id":"19a71e3b-1d0a-48bc-b932-fc148515ae4c","year":2001},"citing_paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T11:52:49.702564Z"},"links":{"citing_paper":"/paper/2506.01421"},"observation_digest":"sha256:fb51e20ca5e502ae8ac8df6674c037ff21f4d79b9200a939e8305a81679787d3","observation_id":"ae13e06a-6e2c-4f9b-8f8e-c818e034dd76","resolution":{"observed_at":"2026-08-07T11:52:49.908797Z","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"}}],"paper":{"arxiv_id":"2506.01421","last_updated":"2025-06-02T08:21:53Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:41:14.436136Z","submitted_at":"2025-06-02T08:21:53Z","title":"A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":20},"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 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2506.01421."}