{"as_of":"2026-08-05T00:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ef405157657b5ceb1dca408596d2c81d04750f3de71c4d004e536dab6693498e","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-14T22:15:17.197524Z","state":"measured"},{"denominator":18,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":18,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-14T22:15:17.197524Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-05-14T22:18:04.628241Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"cited_work":{"arxiv_id":"2605.05840","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.05840","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","venue":"cs.LO","work_id":"fcf13a21-b28e-4f38-8524-ec6491db6d62","year":2026},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"cited_paper":"/paper/2605.05840","citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:c0fb2a5963bbc599348d1e52e3a63c5e9211241431360ec919e20ea284469d7d","observation_id":"0f1dba34-898d-40ee-a07e-e0207e000714","resolution":{"observed_at":"2026-05-14T22:18:04.631469Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.05840/citation-record","integrity":"/paper/2605.05840/integrity","json":"/paper/2605.05840/citation-record.json","paper":"/paper/2605.05840"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jsc.2009.03.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Decidable fragments of many-sorted logic.J","venue":null,"work_id":"59461ba8-6a56-4d91-ab24-20665db2c39b","year":2010},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:afc3023f1bfde9c58fbdb3f09f6c86372c9efd37ee28d515a05f9db6328c987d","observation_id":"8109c3ff-2ec6-4cf0-8d25-58db1d1115c0","resolution":{"observed_at":"2026-05-14T22:18:03.624922Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"Automata-based presentations of infinite structures","venue":null,"work_id":"e07d0f66-170e-4de8-91ac-03fa94e3fb01","year":2011},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:1e80b2a92277e0fe9174bad594b3a793c9708bdb334a9ea4f65b86b500f4a058","observation_id":"af6b69eb-404f-4d14-a29b-4641c42b53e1","resolution":{"observed_at":"2026-05-14T22:39:34.456794Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-22012-8","metadata_source":"crossref","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automata, Languages and Programming","venue":"Lecture Notes in Computer Science","work_id":"76b18635-ca21-484a-b276-4b64be2aad6d","year":2011},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:a13a999909877ab5368ad76215926296a6d6ba0116bfcc6cc37c7ed534ed83eb","observation_id":"725b6499-6403-4027-b0b6-951de2162425","resolution":{"observed_at":"2026-05-14T22:18:03.653577Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-24T21:23:12.292836+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T21:23:12.292836+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00224-004-1133-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"1007/s00224-004-1133-y,doi:10.1007/S00224-004-1133-Y","venue":null,"work_id":"51148556-788b-4323-bb49-73a092c77cdd","year":null},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:71fa0b2d79f14e08bba73360ac3807acd90f03edf5876cb20b9b90dfc351b682","observation_id":"85004ebc-c6d5-41f9-a5ee-9d74d0a98ab5","resolution":{"observed_at":"2026-05-14T22:18:03.635267Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2271090","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Richard and Landweber, Lawrence H","venue":null,"work_id":"0cf3b25c-1b84-4aff-9a56-d2459361f786","year":1969},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:5c0aae6b497b5fbab43dff5d1a44052fa097435e03772104f29e742ea2211594","observation_id":"cbac874f-0f04-4c9f-b728-0267e1e59bf1","resolution":{"observed_at":"2026-05-14T22:18:03.598343Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-20T05:53:41.303373+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T05:53:41.303373+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.mfcs.2019.17","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"14 Neta Elad","venue":null,"work_id":"2d8129a0-3cac-46ac-95ac-6f5c5630f7bb","year":2019},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:6516355617b16f39030bdb1a60c4cf834b7ee45900b2d0095d7cbc1708ed9e8e","observation_id":"4dac61ce-efef-49f4-8033-d29473a48b1b","resolution":{"observed_at":"2026-05-14T22:18:03.630339Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"cited_work":{"arxiv_id":"2605.05840","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.05840","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","venue":"cs.LO","work_id":"fcf13a21-b28e-4f38-8524-ec6491db6d62","year":2026},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"cited_paper":"/paper/2605.05840","citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:c0fb2a5963bbc599348d1e52e3a63c5e9211241431360ec919e20ea284469d7d","observation_id":"0f1dba34-898d-40ee-a07e-e0207e000714","resolution":{"observed_at":"2026-05-14T22:18:04.631469Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2015.68","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Characterising choiceless polynomial time with first-order interpretations","venue":null,"work_id":"2ed6dcef-dfcb-4abf-bacc-5ceb56406770","year":2015},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:d64107c5d1dbd6634cd6a8b53050a18c24f2e69c349e087f1c143e371bf60591","observation_id":"79d92758-2253-424a-a43a-eed1dda7032c","resolution":{"observed_at":"2026-05-14T22:18:03.649358Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39799-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T12:52:11.077064Z","title":"The TAMARIN Prover for the Symbolic Analysis of Security Protocols","venue":null,"work_id":"420563d5-e513-4fd7-a39c-89d04b4546a1","year":2013},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:47dfafc6b7a89731419b375ba67a458c5fa8bd9941b5759d6f2c6c66e0c6049e","observation_id":"a8a367e7-6e9e-4553-b7b1-6ed613c97bd8","resolution":{"observed_at":"2026-05-14T22:18:03.613608Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-25T16:54:02.612843+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T16:54:02.612843+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-60178-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automatic presentations of structures","venue":null,"work_id":"c45859fc-4049-45da-a736-a1a8370f04fb","year":1994},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:4ad2e64f2bdfb025a3001819dd48bcbda583fb02730adff5d63b4e2804e44ac2","observation_id":"b3c4283f-d5b4-419e-a1d1-b2d4e61147c9","resolution":{"observed_at":"2026-05-14T22:18:03.603553Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0022-0000(80)90027-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Available from http://www.brics.dk/mona/","venue":null,"work_id":"e8998d81-3699-44dd-895b-6b8ae9636583","year":1980},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:1f313077d8efe10a55f7321581784aa411fde7b5d2b778ee2cb122da71468c67","observation_id":"22af6bfc-d8fb-40ab-b45b-3f533ee735d0","resolution":{"observed_at":"2026-05-14T22:18:03.640582Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"On the formal verification of the stellar consensus protocol","venue":null,"work_id":"6fbd9167-0846-4748-9388-c4678804c9ce","year":2020},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:3f822c8aec08303a9f2d8b68d8fc54883a52d127b130b8e9f6ac0f26d9a11caa","observation_id":"a0c6b5b0-ed2c-49f7-9333-29b6aeae1ac4","resolution":{"observed_at":"2026-05-14T22:39:34.467678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/oasics.fmbc.2020.9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"URL: https://doi.org/10.4230/OASIcs.FMBC.2020.9, doi:10.4230/OASICS.FMBC.2020.9","venue":null,"work_id":"7dfe685c-53c1-4bbd-8bed-53b167e9eb91","year":2020},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:1bddc3c366ef74060eb886a0e557c8fa3dd6224d0cb5ed2afc5cabe9c61b2e4b","observation_id":"810cf1bb-0115-4e53-8fe7-00d5fbc56222","resolution":{"observed_at":"2026-05-14T22:18:03.608507Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-90643-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T21:15:03.712300Z","title":"28 Kenneth L","venue":null,"work_id":"8670d156-c7e1-4476-9e9f-327c514491b3","year":2025},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:d72f5b80cced16468deb18c1c344290cc58c9f5f3965a30ae8aa61c981ba51ce","observation_id":"ec22d88a-9563-4454-aec3-4a36bc565942","resolution":{"observed_at":"2026-05-14T22:18:03.620453Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-99725-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: SAS ’18","venue":null,"work_id":"695d6f8c-913f-4e2a-a73d-3e97a509a6b4","year":2018},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:bb0fcb2ad5019ee21951709a930b1b0e62cffa497cd44fd4c780324fbaf77583","observation_id":"8e63400f-6631-4adc-bb6d-d7b1a72c7a8f","resolution":{"observed_at":"2026-05-14T22:18:03.644630Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2366.319241","doi":"10.1145/3192366.3192411","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Pinpoint: fast and precise sparse value flow analysis for million lines of code","venue":null,"work_id":"777d5c00-61bb-471d-b77c-0a31ee09fd53","year":2018},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:cd0e2e470bb0dca28dc725ff237ef44b3ce042652da7b0e2e39424c6ce71e287","observation_id":"2d06e78a-5914-4c7a-bc85-4db2288c6f4a","resolution":{"observed_at":"2026-05-14T22:18:03.591461Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-06-05T21:23:00.469572Z","title":"locations","venue":null,"work_id":"67e69303-a0d8-4fe3-bc1c-5a1cdde145dc","year":2026},"citing_paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-14T22:15:17.197524Z"},"links":{"citing_paper":"/paper/2605.05840"},"observation_digest":"sha256:2d28f95982e34a9e06b516a8e7725beeb6979b4fa824749ce152e6800f0ad0a8","observation_id":"e8bfc581-3708-4641-82a9-becbd00d3f46","resolution":{"observed_at":"2026-05-14T22:39:34.462685Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.05840","last_updated":"2026-05-13T10:20:27Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-06T23:18:22.301347Z","submitted_at":"2026-05-07T08:14:05Z","title":"Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":0,"verified_exact":11,"verified_fuzzy":1},"total_outbound_references":17},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2605.05840."}