{"as_of":"2026-08-13T15:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f137bf7a9b83b6c647d0c57680e41c00a778c41f884239c1a1436d75af3ba0d9","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-13T06:32:02.005865+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:e99be741abdd1b83b90c14d6e3dbceb55311d4d2018762019db885eb0705d776","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:47e865acc4d07c12cc578e94fdf7802e63b4616528f7f070dde4bb67d3a3de2f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:9af8314f3a2d95099b9f18d5fc6e32f2f05cc5bc2918bc0660bf445e871faff0","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:b5e5fff35497de43dffd1107f1deda98ba127e8398aa629994737e682560305f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:f24e54b834ae82f84857779c7c54c1f4071bddcb573bd7ad3cabd45e67050a0f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:4e5395f5e97854baaa606c50efe27af139267a3e535f61561fb330df3b890070","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:638f323b2c01201930c44734af6c2c1516fcdaaac15cf4ff9e88574d6e8f9fc1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:4b47787a54361118cb571a3dc73bff93f1bf415582f814e5e4140272c0c8442b","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:3aadd50599091b301cd24d7b37abd71c286447be2e7819926d9a0e651dd789e3","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:4765480dd0347fb1c083bdd6aff7079adea29c9e9f54f5d83ddad225eb9f651e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:ca901ce697235ae6bfabb6470b7a6859667068f4d629c8eba1d4bfe094f9b8f7","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:288e2cb658c798238ec4fe3cdcfd201b60a681b2da3a92a5ae2bf812fa81f2b4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:56a87305f8296d34f9054db9cad1dc8551ca477b1d3c282aad0c95cd91c2feba","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:0eb7526432d6e4e10ca26af47b8b1eff63c001dee81b0036f99d688213d7d57d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:e74ec5aa60ae22cefeaf18ed463c19fbe3394b6de65edd2f72675336d479616f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:68c7dca6d370af2f78363f15be335c2593d795e99662d8c4f6f1456a69026a96","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:8c7854c7478036872daba7f042b1eec6653573ee468102277b347ed224f4a14a","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:2fd9a9a37ec338c33f28817ffcbd588d1d578b4f02b4a630117c6155a65ae180","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:76a100a01b0657fecb3fec0317d1f7f57c093c3c51579bca898c1e7b03f2c4e7","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:25cd70c1e293893a359cd30ca38382d70db53dca0c4a4fb9bf85c1b1e69374c9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:4938e554e14fddfa551375cfb7e4ccba9e88633ea4fdac50fdfdc2ae620b84fd","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:dfe1a2c461233a271aeadb03279e56c8468cfb3aef0f768deb85fb052e77cbc2","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:cabf2ee2191adb0ab10c0b248e66dd9258dd1219d4e52f1ee857be18ad97a739","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:06ff358e9d301ee7ef51d5c1df02731c0a5e9419c394b4aa7269635bf99e10b3","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:5c9bf6289d4d7d3c6d7c2a08332b87aca4a97d9856c8c33903b603e6be25eb80","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:63e9408b10c3c34e4085b2b95172d602e136118bd7af6c3eaa8100f85671fb5c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:b1679dec52258d5f42d6d85d34c98c23f0f6120faa350e4745195cd71d0619e9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:9662a5cf2c50850f6ef802eaa5a26a219e7fa6c1d5484cbe4afecc6dd0a7f51c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:a2c04a21903d0787e8f71d38138f5615133dcff54f8e219f2e56e567b6c0900d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:aef4f7c4b5fa5a66574f49a9359d3bf84c7374c1361d4330a446640dd4f0db22","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:d3ff81f14fa0b0eca9378ee592150b3f30d93716c083c25d57051eb3113e5cf4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:511a38c5733e8c6625ed8ca3d3c40d13e4581a1e4e8ce57a9da08c6e800d8db0","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:31979840eb07ee2d9b2f67299f2378eb4a563c014440e5968e6ca4e32206540f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:a01e959696c1a55c7a6da37d60a5ee2d31ffd2344756af1a2e3de14247311257","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:a89e39130d594a8f2fc3d786067dc8415f2714692a13b8b367e309bc7cd1908e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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."}