{"as_of":"2026-08-13T04:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f994b7257179a2d695f7a875231adf0151a9d3d049ef3aa8fc5a6fef871eb499","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T19:34:13.089124Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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-08-06T18:10:16.494095Z","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-08-06T18:11:15.395313Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"cited_work":{"arxiv_id":"2411.10860","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.10860","snapshot_observed_at":"2026-08-06T18:11:15.395313Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","venue":"math.LO","work_id":"2534cb4e-5106-4df4-aa7d-af006a301042","year":2024},"citing_paper":{"arxiv_id":"2507.09324","last_updated":"2026-06-17T21:55:45Z","snapshot_observed_at":"2026-08-12T23:39:48.416242Z","submitted_at":"2025-07-12T15:48:27Z","title":"The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.494095Z"},"links":{"cited_paper":"/paper/2411.10860","citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:91c0b8e3e9f039fec32752ea7b89f13fa451f1e8abaa0054b9e1278bd256eecc","observation_id":"2cd29dd6-6b5d-4bb5-9ab4-831f069bf459","resolution":{"observed_at":"2026-08-06T18:11:15.436994Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.10860/citation-record","integrity":"/paper/2411.10860/integrity","json":"/paper/2411.10860/citation-record.json","paper":"/paper/2411.10860"},"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-12T19:34:13.555683Z","title":null,"venue":null,"work_id":"cfe00289-f9d4-49d8-a190-7c0f0220a84a","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.964914Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:f55a7331f4fd6042f03d425fa233f4092557f2bb3d5254f24ab8a14541dce221","observation_id":"70a2ff3c-9ebc-425d-99cf-bb74fbe4d61b","resolution":{"observed_at":"2026-08-12T19:34:13.560029Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.544746Z","title":null,"venue":null,"work_id":"3c846c57-26fc-4164-9661-ef400357caa5","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.969328Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:dd80f087dc3207c0c295c169aff1511035d7fb10d120a0cf3a35205bb9462e42","observation_id":"766669f3-a845-428e-8b2c-9be5a6a34e2e","resolution":{"observed_at":"2026-08-12T19:34:13.548197Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.533676Z","title":null,"venue":null,"work_id":"7fe24ada-71f3-4628-be16-0abaaae44655","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.973115Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:4281543f488906d89a524898df4878dfad34e3ff75c3232e8ebb7505d78c3879","observation_id":"55afabec-2741-415d-93aa-ff46bddb82c0","resolution":{"observed_at":"2026-08-12T19:34:13.537204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.522617Z","title":null,"venue":null,"work_id":"448c7ca6-4db5-439e-a101-048648230db9","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.976775Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:7c4f6f2b91a5a62e33126bc7cab94840e35cc8772aa50b84db33e0498f890940","observation_id":"25f2ace6-29ba-4a94-98b7-b0f72a09d221","resolution":{"observed_at":"2026-08-12T19:34:13.526547Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.511927Z","title":"7 References","venue":null,"work_id":"62e33382-547e-46db-ab62-b511e07a98cc","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.980232Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:575dd1e436b6e01a3e0fe01c31cfa207378d20ede06a7c808233b5dee148beaf","observation_id":"b07d8ebb-0bc9-4eb2-804b-9f5b0279c15c","resolution":{"observed_at":"2026-08-12T19:34:13.515496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.500694Z","title":"Ackermann","venue":null,"work_id":"5a0fc8c3-348a-4c67-9dc1-d0849db8a15d","year":1936},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.984365Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:574078a5d87f52b92819d47904d03997a41892bdff88406bfabd33febb4b7c70","observation_id":"0ac6659a-e138-4046-a8a1-e1e296d6e9c2","resolution":{"observed_at":"2026-08-12T19:34:13.504350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.490137Z","title":"Bannach, F","venue":null,"work_id":"61a57682-6097-4e44-a012-dd10ae2ff3a1","year":2024},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.988680Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:1cd49249212788f9c42992858c0670ea35cea64132b3220bbc668c0b9d1ede2f","observation_id":"1681ca30-a2bd-419d-a04d-9e3b637229b2","resolution":{"observed_at":"2026-08-12T19:34:13.493884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.479275Z","title":"Bernays and M","venue":null,"work_id":"a853ef7a-aa73-4c32-acfd-847d1a157f72","year":1928},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.992145Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:2123fb18059fec1d36eb6c2c39d55964ff2c44418e7bce2d6f25ad3d8a90a8b2","observation_id":"947eb599-2c84-4c03-a281-8f5ef7569aa6","resolution":{"observed_at":"2026-08-12T19:34:13.482880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.468049Z","title":"Bodirsky","venue":null,"work_id":"62cb5e70-2e98-4c46-a293-0ba389e7853c","year":2021},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:12.999304Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:fa46a115033424e487a8025c33c0e7b4aa2cad8ca17130178337ea467c878efa","observation_id":"9db87fcd-3ce2-4837-9d88-2626ff533fbb","resolution":{"observed_at":"2026-08-12T19:34:13.471617Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.456234Z","title":"Bodirsky and J","venue":null,"work_id":"0d4d72be-ad92-4967-862d-2be9b7a1473b","year":2010},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.003112Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:62640b8a1a4bc7799cb72f526c5766c705d9ac3f095835951a0fa17c6570726d","observation_id":"3eeedfb8-4cb7-417b-b2fd-515a0785b5f9","resolution":{"observed_at":"2026-08-12T19:34:13.460167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2010.05677","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T19:34:13.162560Z","title":"Bodirsky, S","venue":null,"work_id":"3d3bf56a-d99c-4e84-8140-56f6a35df81d","year":2021},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.006608Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:2fcad9340dedc461802a685258f82360ba1978729f310342b64b84d5937a7ad2","observation_id":"417394bd-9a01-42ed-b234-08524f55c2a3","resolution":{"observed_at":"2026-08-12T19:34:13.168972Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.445212Z","title":null,"venue":null,"work_id":"d3b5aa20-5964-4771-91fd-ba3a4f2473df","year":2008},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.010303Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:802b92ded19c124edbbd0b8459ca59e35426a8c8cb0713e8c4ec607539561748","observation_id":"f268e5e5-6680-448d-b89c-784a80d4bd95","resolution":{"observed_at":"2026-08-12T19:34:13.448992Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.433090Z","title":"B¨ orger, E","venue":null,"work_id":"6f476736-faa9-4a95-9a36-d15499b04a89","year":1997},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.013662Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:f2a263ab835ea36038d468bbcad255b3dae565a8580b2ec27bcbd9dadefd1dc7","observation_id":"47e6eea0-1168-4c57-8644-e0e215bab7bc","resolution":{"observed_at":"2026-08-12T19:34:13.437092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.421336Z","title":"Ebbinghaus and J","venue":null,"work_id":"8b930f70-414b-40a6-9e35-b15a65508d74","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.016814Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:d01bab097f9461f1f9930d3d6c08f18d8e745536a16e1e6ae65d9008f97b7ff3","observation_id":"73be1f0c-1b30-4123-a0a4-a5b9a916c4ab","resolution":{"observed_at":"2026-08-12T19:34:13.425540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.408906Z","title":"Eiter, G","venue":null,"work_id":"49eb85f5-321c-474d-ae8a-09602d4033d1","year":2010},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.020618Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:e046c306d18bffb00b07c163828fae50ef8b3393a972db3462efa2137f27d96c","observation_id":"19db2698-e62c-4bd7-bd0b-924ed78ab1e8","resolution":{"observed_at":"2026-08-12T19:34:13.412880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.395736Z","title":"Feder and M","venue":null,"work_id":"4aad1a7a-dea4-4b3d-b9c1-7233a4f7a9de","year":1999},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.023884Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:80b80797a5ae3d06df6ee56e4636acec9b24c12fc8597b673a990addadec508e","observation_id":"762e180f-89fa-4680-b085-0319e99ae152","resolution":{"observed_at":"2026-08-12T19:34:13.400156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.383759Z","title":"Feder and M","venue":null,"work_id":"bf0ec2d6-67e3-490c-841b-fce3e08d1d57","year":2003},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.027407Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:8a48819b70c6cd89a2380f0eeb3744ea66b141f47a52662766dcb15343514982","observation_id":"f6417241-0820-40d8-80ab-2703e24cfd28","resolution":{"observed_at":"2026-08-12T19:34:13.388006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.371182Z","title":"Fomin, P","venue":null,"work_id":"46827a24-b8d7-4ad6-bffb-5d98bc7701b1","year":2020},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.030494Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:88f47b861d79a6a0e4ae01b79ca95c71bee982f0f0d23ebb818a87070da393f6","observation_id":"4b1e1ab4-3a24-4adb-b15c-2d733377062b","resolution":{"observed_at":"2026-08-12T19:34:13.374879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.360651Z","title":null,"venue":null,"work_id":"1e5bf24d-61f0-4351-8eda-2f916aeb79e9","year":1998},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.033896Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:4b2d324823538ecf90f61b543d9f92b3130b11af8194d7c56da675fda259a4ca","observation_id":"441ea372-8f1f-4498-90a0-0b1b86e2f447","resolution":{"observed_at":"2026-08-12T19:34:13.364202Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.347789Z","title":"Gottlob, P","venue":null,"work_id":"b7ccca79-380b-459d-ba48-feed1ee4f6a5","year":2004},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.037428Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:9182486a0233ecdf2fa3af11e0384a696b3ad1ced1dd83ce999fcdcfd3e83860","observation_id":"f6edb18a-4ab5-45a7-a32e-a638918dd2a6","resolution":{"observed_at":"2026-08-12T19:34:13.351497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.040902Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.040902Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:b7487af0e91c4d4a19ca6d39115faa5c11293f2d83b9711b013fc3ea6785adbd","observation_id":"3a2d8435-0915-4c14-a5c7-25bb207e6eba","resolution":{"observed_at":"2026-08-12T19:34:13.040902Z","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-12T19:34:13.329062Z","title":null,"venue":null,"work_id":"f48dca39-c133-4f93-9904-2ce29380c3d6","year":1979},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.044138Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:e35930b7aff2938ed6ed51daa979c661201fd8c9166f881f644ada9d2dd7c64d","observation_id":"ae8343f9-7e6d-4fae-82ef-52b8842cbd30","resolution":{"observed_at":"2026-08-12T19:34:13.332624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.317799Z","title":null,"venue":null,"work_id":"e434f97c-866f-4613-8a23-50cd2629ff6a","year":1980},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.047910Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:9949d58e2298ca85055806c866c2a8245d905fe9c6dd33f390fbf152c7e51780","observation_id":"3919bb57-e18d-4dc2-a08d-0d7e704ab1e7","resolution":{"observed_at":"2026-08-12T19:34:13.321486Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.306698Z","title":"Raman, S","venue":null,"work_id":"54f6b849-8338-40fa-ab63-780c774326b8","year":2006},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.050792Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:1a0920f80f727dd05019a2d160a5d61000b3a92455158c89b734f138c95be440","observation_id":"a01c3296-4624-4de8-9081-d1abce89d2b4","resolution":{"observed_at":"2026-08-12T19:34:13.310758Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.295133Z","title":null,"venue":null,"work_id":"8ccb410c-3fdf-401b-acaa-241b051ef90e","year":2004},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.054110Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:fef26a94b323543620f65d69e93a2dd48620b6cc8ad791ef9ad0a59aac402245","observation_id":"cb042715-b6e0-492b-bd6c-b5422e070e8a","resolution":{"observed_at":"2026-08-12T19:34:13.299209Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.284046Z","title":null,"venue":null,"work_id":"70f6bfa5-192a-4b55-af5a-096697fbed90","year":1970},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.057887Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:a0eb20119df3d86b0f5b900d3fe387953e92b008f0d81a029b8904dd40464e5f","observation_id":"3960dd31-2ea9-4702-aaca-c4aa4a40212e","resolution":{"observed_at":"2026-08-12T19:34:13.287909Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.272971Z","title":null,"venue":null,"work_id":"38c7aabb-013f-42d7-855f-8b23d5ab8ca2","year":1976},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.061194Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:0b29651e1f1dc12b93b834e613343005960c0003c210480c8567fb4dcbcd80b5","observation_id":"7b4e13d2-b3be-4976-8c48-4e01030c2267","resolution":{"observed_at":"2026-08-12T19:34:13.276433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.261721Z","title":"Trakhtenbrot","venue":null,"work_id":"2d8c35a6-f3be-4bbc-82b7-8d6ed7409eb1","year":1950},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.064476Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:5acb14433224a8aec1d1e57eff286e77b37e5f437e685e38ae5bb56439bb6209","observation_id":"a6738199-0214-4edd-a8aa-292cfd181800","resolution":{"observed_at":"2026-08-12T19:34:13.265792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.250365Z","title":", vn we find a substructure of D that models ϕ; namely, the substructure with vertex set {v1,","venue":null,"work_id":"1fe5cea5-c258-444d-8e16-9a02a330be10","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.068620Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:5ba66b1b837b77f26b55d0a5894ffbb2e68a4ae78def65e648ff0957aa0b46ec","observation_id":"89d968dd-ea64-4046-b40d-ecb0a2bd08f2","resolution":{"observed_at":"2026-08-12T19:34:13.254484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.238520Z","title":null,"venue":null,"work_id":"554ab839-c9df-461a-982f-c878158624db","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.072160Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:e70c5a04cd7155ecbe0db279102ea348d8a50e5745f9d291bf7defa0ed3902df","observation_id":"7a1409dd-8ad6-4054-9a9e-d47e73e2c93f","resolution":{"observed_at":"2026-08-12T19:34:13.242693Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.226760Z","title":null,"venue":null,"work_id":"eb1aad82-6f2a-4f9b-a8f3-618d4af70d03","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.075759Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:416ad02cb4d9e1dbcfd461a3bd62161be44d1e8571bb0fb831d505ee23ded3f9","observation_id":"b2ad0a24-7065-41ca-b6c3-87a30cfe549c","resolution":{"observed_at":"2026-08-12T19:34:13.230319Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.214731Z","title":null,"venue":null,"work_id":"e36a0e5a-6dad-4e3a-ba13-ccc367c4f948","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.078948Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:b6c375dfed8910c4b79853ebb119089c98c191f37fef61976970e3a23cef5ac8","observation_id":"4ad5fc5b-65b1-497e-8c17-7ebbd0966284","resolution":{"observed_at":"2026-08-12T19:34:13.218798Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.202837Z","title":null,"venue":null,"work_id":"5bda619d-25f6-4226-928a-fd7589531f04","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.082060Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:773980a6beb82f0ca3b501fd3211d03bf3982a13c83de000f8a5fa7e176c5340","observation_id":"3c27abcd-557f-4550-8d1d-05b928f615c8","resolution":{"observed_at":"2026-08-12T19:34:13.206914Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.191241Z","title":null,"venue":null,"work_id":"671fb0f5-cc2d-4e3a-8da8-89b3e9f6b382","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.085600Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:62a28809426b0c58f4592f7046d2bba4402e9cae06ead67ca25f83de46cf5607","observation_id":"fcf86d7a-686a-4c67-9217-b794af54ec1d","resolution":{"observed_at":"2026-08-12T19:34:13.194898Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T19:34:13.177535Z","title":"x1 x2 x3 y1 y2 y3 z̸∈{x1,x2,y2,y3} Figure 2: A partial depiction of the first three lines of ϕ","venue":null,"work_id":"bb6a9a4b-e93e-417b-bfc3-b9d6483f2488","year":null},"citing_paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T19:34:13.089124Z"},"links":{"citing_paper":"/paper/2411.10860"},"observation_digest":"sha256:b91336c83f92f44741322995e25b3a0307c8d77f8da15e9cfd3c2c97bc9e625f","observation_id":"b429786c-8933-4166-a37e-72f00d83bf19","resolution":{"observed_at":"2026-08-12T19:34:13.183092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.10860","last_updated":"2025-07-03T08:14:16Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-12T19:10:40.414589Z","submitted_at":"2024-11-16T18:50:15Z","title":"Hereditary First-Order Logic: the tractable quantifier prefix classes"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":1,"verified_fuzzy":17},"total_outbound_references":35},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:2411.10860."}