{"as_of":"2026-08-13T02:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:26b05c0bc69e0ec1d9f31a7c506a19fff3c54ea30a660684122a89d1230f92b7","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:11:14.928880Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.09324/citation-record","integrity":"/paper/2507.09324/integrity","json":"/paper/2507.09324/citation-record.json","paper":"/paper/2507.09324"},"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-06T18:11:21.551803Z","title":null,"venue":null,"work_id":"52b14767-0052-4d40-bada-b61b0e0f2302","year":1994},"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":1,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.378357Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:bf0bd55e213a565842b1e43cc36eaa8726f59ac8daeb5a9893108d010817df1f","observation_id":"23f47a38-9158-4e6e-b398-aba7ab04a83d","resolution":{"observed_at":"2026-08-06T18:11:21.589265Z","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-06T18:11:21.481918Z","title":"Datalog and constraint satisfaction with infinite templates","venue":null,"work_id":"0b97495c-db57-4182-8707-c2c465cf8891","year":2013},"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":2,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.420913Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:54d3fe72c6944185b9a3a3a08bcb729d4b79be259d60d3684de2f56c4b50de85","observation_id":"2fc5fa3e-fc65-4a21-8c2e-6321f7cdca7e","resolution":{"observed_at":"2026-08-06T18:11:21.516262Z","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":{"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:11:21.418106Z","title":"The G eneric C ircular T riangle- F ree G raph","venue":null,"work_id":"3cdc6968-b215-4c1c-97f1-af29974305aa","year":2025},"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":4,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.572214Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:ae67fb45df0841694596bc56cfe06be064201088066d0542d311fb17b9ec7c95","observation_id":"6869a0ed-61d3-4735-83a9-08e6b083299c","resolution":{"observed_at":"2026-08-06T18:11:21.444415Z","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-06T18:11:21.356576Z","title":"Point algebras for temporal reasoning: Algorithms and complexity","venue":null,"work_id":"0fe14ee3-1237-4c9c-b5f5-f88687b5c2a2","year":2003},"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":5,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.686399Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:f9d05ddfbef94761f92fc29279e2ce0160436c59c23900e9ed66a5bcb30e0bb8","observation_id":"d2b47a3e-de73-4552-8a25-c4f7797608f2","resolution":{"observed_at":"2026-08-06T18:11:21.381800Z","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-06T18:10:16.757721Z","title":"Quasi-transitive digraphs","venue":null,"work_id":null,"year":1995},"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":6,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.757721Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:cfcc0cfdf7150a8a9e681e4b98a92c8a28e7de4e8bb39fb67dda0b7f3b911673","observation_id":"f5b83fbe-7bbe-4678-901e-5aea5946817f","resolution":{"observed_at":"2026-08-06T18:10:16.757721Z","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-06T18:11:21.281463Z","title":"Pure dominance constraints","venue":null,"work_id":"bdcaff0f-ef13-4ef7-b23f-eba9b5e6c4f9","year":2002},"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":7,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.795521Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:e5773ae3fb066e5fc39c182aca7c6e65b58eb0d7f073644ea4e0472b614c6e3d","observation_id":"00e2a4dc-cb42-4e2d-887a-c06a67df2473","resolution":{"observed_at":"2026-08-06T18:11:21.308926Z","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-06T18:11:21.220103Z","title":"Determining the consistency of partial tree descriptions","venue":null,"work_id":"809db2a2-b5c8-4888-a1a6-6ace21976eb1","year":2007},"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":8,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.872427Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:8d2403cf55bd185b7948d013c2aa66fccedcad8012391f0e4ffd7e8c57f317b3","observation_id":"378f2a77-ef9b-4cd6-a0c7-ba9b278dd13d","resolution":{"observed_at":"2026-08-06T18:11:21.240700Z","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-06T18:10:16.929234Z","title":"The complexity of temporal constraint satisfaction problems","venue":null,"work_id":null,"year":2009},"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":9,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.929234Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:e48b8bb32e59c1d7f0ff97ed3c514a5c327c20209b1758c5344b638835b1e910","observation_id":"0df3b83d-5edb-42a2-b9cd-827832ef5124","resolution":{"observed_at":"2026-08-06T18:10:16.929234Z","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-06T18:11:21.074308Z","title":"Hardness of network satisfaction for relation algebras with normal representations","venue":null,"work_id":"8126c090-e5dc-40ae-a0c0-62a8a22583ef","year":2020},"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":10,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:16.999842Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:00930d679ea87c2184b4aacc0fbea6da2ea74a6e5f7f7e0c5ccd2ba0610d9f7c","observation_id":"2c81f21e-eedd-46aa-9a0c-0d001d01e3b2","resolution":{"observed_at":"2026-08-06T18:11:21.146921Z","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-06T18:11:20.952334Z","title":"The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom","venue":null,"work_id":"eb706fc9-a971-443f-b818-fa37981b80b7","year":2022},"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":11,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.152953Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:54ed1cb1e6e3a020e2c3c19a5ff2994c278d21816a7602675f446993cd01e2d2","observation_id":"49424b5c-48f7-4759-bd6d-0e3266e48e3c","resolution":{"observed_at":"2026-08-06T18:11:21.012198Z","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-06T18:11:20.833986Z","title":"The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom","venue":null,"work_id":"36c611e0-c2d1-42b8-8a0b-bc36829c0da9","year":2022},"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":12,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.251677Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:e66b22654500cb40f352a97c75a1bc1af5d5daf35ab9513e2f05bb51bdede30f","observation_id":"45798a68-8995-4617-8d9f-77c7a011d972","resolution":{"observed_at":"2026-08-06T18:11:20.870079Z","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-06T18:11:20.744646Z","title":"Network satisfaction problems solved by k -consistency","venue":null,"work_id":"0766a439-2474-46b5-a385-a6d24b9e0fdf","year":2023},"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":13,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.344548Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:6e29dd86d789ec4e49061b46a6e601e9b755243c1310570ae1ae40aca5da0efc","observation_id":"37cdca3d-92f2-4ab2-a2e3-099e136f7f64","resolution":{"observed_at":"2026-08-06T18:11:20.776439Z","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":{"arxiv_id":"1612.07551","last_updated":"2018-09-23T15:19:34Z","snapshot_observed_at":"2026-07-06T05:23:50.600510Z","submitted_at":"2016-12-22T11:36:36Z","title":"Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\\omega$-categorical structures","version":3},"cited_work":{"arxiv_id":"1612.07551","doi":null,"metadata_source":"pith","pith_arxiv_id":"1612.07551","snapshot_observed_at":"2026-08-06T18:11:15.303968Z","title":"Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\\omega$-categorical structures","venue":"cs.LO","work_id":"e66c1424-e494-40ce-9716-9e0893231896","year":2016},"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":14,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.395354Z"},"links":{"cited_paper":"/paper/1612.07551","citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:d76acce963d52be1c5988fb607fef9f248ae682b89030896a6b88ea51296b410","observation_id":"8d0e5885-5413-48aa-9df4-b0a1214cb760","resolution":{"observed_at":"2026-08-06T18:11:15.338246Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:10:17.468589Z","title":"Krokhin, and Jakub Opr s al","venue":null,"work_id":null,"year":2019},"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":15,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.468589Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:96448429d724120a7a459c71b20022bccceba04837c277eed37ecdd5c69be3ec","observation_id":"388d3e4d-6d9e-4f24-bce6-a64921413c57","resolution":{"observed_at":"2026-08-06T18:10:17.468589Z","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-06T18:11:20.610853Z","title":"Constraint satisfaction problems for reducts of homogeneous graphs","venue":null,"work_id":"bb9487ba-a5a0-4a62-84a2-dec7cd34dce2","year":2019},"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":16,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.570889Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:df26dff314094f6c0dbe2d263d7e5eb6deaf352b2724ada85cb6f93b72bb3bc6","observation_id":"87ba9e4d-4be6-4344-9909-ef6fd0c39986","resolution":{"observed_at":"2026-08-06T18:11:20.666838Z","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-06T18:11:20.502198Z","title":"Finite relation algebras with normal representations","venue":null,"work_id":"c42c67cd-092c-4baa-aa85-1c6949078c0a","year":2018},"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":17,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.660968Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:e2ed8a35acbf61cfbbc04f647e1a3d5d428aca2730a66a98f429d5fd848784a9","observation_id":"9fe6591d-eee0-459d-9bc4-29bb3bacb0ea","resolution":{"observed_at":"2026-08-06T18:11:20.540049Z","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-06T18:11:20.370538Z","title":"Complexity of Infinite-Domain Constraint Satisfaction","venue":null,"work_id":"9d0f98d6-627e-414c-baa0-2ea4d7d067d0","year":2021},"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":18,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.725308Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:4008ab9dffbecf16460b3bd9b1b14659b84404a6ad4ee3159a7a850ddba31a81","observation_id":"8718c5d7-5ff9-43e6-b1f8-87b9574cfc5e","resolution":{"observed_at":"2026-08-06T18:11:20.449546Z","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-06T18:10:17.780592Z","title":"The wonderland of reflections","venue":null,"work_id":null,"year":2018},"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":19,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.780592Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:3312a7e9d3db4ac57b6169cb7c95a338ab879663b453530956c3991824ce88bb","observation_id":"01f85c2c-a0fb-40fd-8b0a-8f4a72bd5bd7","resolution":{"observed_at":"2026-08-06T18:10:17.780592Z","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-06T18:11:20.251776Z","title":"Reducts of R amsey structures","venue":null,"work_id":"3ae6445c-b78c-4844-a543-ed25ed814877","year":2011},"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":20,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.879032Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:4ed52c02d3d4838814f3d6f259ed4d8c065758dfad35613fdd3594a0c486e0eb","observation_id":"6c05f84a-ebd5-4a6f-acbb-6fd72ccbf9e5","resolution":{"observed_at":"2026-08-06T18:11:20.291721Z","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-06T18:11:20.144116Z","title":"Topological birkhoff","venue":null,"work_id":"6d1b496a-5fee-42d5-b0e8-dc32fe6bd034","year":2012},"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":21,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:17.961414Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:d6b7332ad492b89a1478a8934f126d4b7ae00a0df44148abf030de4ac30c6c6e","observation_id":"61d419aa-eddf-4d40-8256-73fa12b6635d","resolution":{"observed_at":"2026-08-06T18:11:20.196491Z","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-06T18:11:19.939194Z","title":"Schaefer's theorem for graphs","venue":null,"work_id":"0ee213a0-cda9-4fde-a270-ef5cd74a7f19","year":2015},"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":22,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.027075Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:8704d9f06924c14773b907b214cd8698393c34fea48b486f6a1ea5dc9e32a921","observation_id":"058b01a0-6ddd-499b-b446-7bd73c487d2d","resolution":{"observed_at":"2026-08-06T18:11:20.037721Z","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":{"arxiv_id":"1602.04353","last_updated":"2016-02-13T16:38:37Z","snapshot_observed_at":"2026-08-10T16:05:50.202745Z","submitted_at":"2016-02-13T16:38:37Z","title":"The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems","version":1},"cited_work":{"arxiv_id":"1602.04353","doi":null,"metadata_source":"pith","pith_arxiv_id":"1602.04353","snapshot_observed_at":"2026-08-06T18:11:15.186725Z","title":"The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems","venue":"cs.LO","work_id":"a35d08f8-5953-4385-90f8-cd8950a876f0","year":2016},"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":23,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.077901Z"},"links":{"cited_paper":"/paper/1602.04353","citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:ca7f9e4f6d2993b70cf639816bc36a2b2703fc0944b7228e69ee9661056ed9c6","observation_id":"fb31436c-6e5f-4c91-82a0-f8b41d3972d9","resolution":{"observed_at":"2026-08-06T18:11:15.258293Z","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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:11:19.754938Z","title":"Projective clone homomorphisms","venue":null,"work_id":"6ed1a290-e69f-4303-8d41-081a6d489bf4","year":2021},"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":24,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.151997Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:c8bad541e91733b1c3cde7a532a7070336c4aa80effb1af75d50b52bb97a6647","observation_id":"ce577ae1-fd76-46b0-9e27-ddf824e56bac","resolution":{"observed_at":"2026-08-06T18:11:19.844887Z","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-06T18:11:19.630132Z","title":"Burris and Hanamantagouda P","venue":null,"work_id":"b9e323fa-cf08-436d-8a90-b7b4b8c80da5","year":1981},"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":25,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.238071Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:22e4f9f4efd98b64ab862a04c86c50fe7ab3fa4aa9946659431875b2b529325c","observation_id":"978925c9-f4cd-4c15-91cf-3cded8628ecb","resolution":{"observed_at":"2026-08-06T18:11:19.697682Z","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-06T18:11:19.484375Z","title":null,"venue":null,"work_id":"e6de3e0b-459d-4f69-a1b7-c05de5fde270","year":2003},"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":26,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.298823Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:503d2a86af4ac97f7c26a6eb7dbf58f0a53f102f93cc0af55db3fd79a711e5df","observation_id":"9ae0e179-bc7c-4589-bf78-567f812b2c60","resolution":{"observed_at":"2026-08-06T18:11:19.570264Z","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-06T18:11:19.399176Z","title":null,"venue":null,"work_id":"b3d83657-bdae-46a1-acf4-51348ae7cf25","year":2017},"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":27,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.334337Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:8ea8fb4fad0fa201da9cbf0a21298a351525432989139827bf0aec6258c9f2f5","observation_id":"4880b018-a0d7-4812-bc5e-c7a8e170898c","resolution":{"observed_at":"2026-08-06T18:11:19.436937Z","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-06T18:11:19.208982Z","title":null,"venue":null,"work_id":"5918df51-869d-4ad7-94ab-48cbf83e5eca","year":1996},"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":28,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.410666Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:c42458b09944dbaab4933fa5a1550209c612c217e2835024de230b2bcde73b4e","observation_id":"f2d679f7-c396-4f11-9dd7-9d8dd9a6bcf0","resolution":{"observed_at":"2026-08-06T18:11:19.286596Z","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-06T18:11:19.074985Z","title":"The complexity of the constraint satisfaction problem for small relation algebras","venue":null,"work_id":"95f6eef4-1df9-4615-b277-b5984e445829","year":2004},"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":29,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.492082Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:05a18d9a50bbdd4f25559d94b1def3c123b5cb91fad07c45fa4d863e42227e35","observation_id":"176b5bd1-3d43-454a-80f2-ed6195ee0fc6","resolution":{"observed_at":"2026-08-06T18:11:19.139331Z","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-06T18:11:18.914000Z","title":"Homogeneous digraphs I","venue":null,"work_id":"b7ed8d88-2584-43bf-bb89-61e07a7d9adb","year":1985},"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":30,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.600438Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:b4d20c74dd5be40b3667eb5b0cc5c7fae96550495b1f2efae7a731fc5f0cb4b6","observation_id":"f24fca17-a04a-49ae-a073-73eb7f548986","resolution":{"observed_at":"2026-08-06T18:11:18.994954Z","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-06T18:11:18.836425Z","title":null,"venue":null,"work_id":"fff01922-377f-4137-8a36-151dcef46525","year":1998},"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":31,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.708280Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:e286af8d220d1a70176bb8c4ae117375111fc59cebec6049fc17cefbadf71771","observation_id":"6e4f4d2e-9100-4b9f-abab-dc65541a840d","resolution":{"observed_at":"2026-08-06T18:11:18.884264Z","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-06T18:11:18.799996Z","title":"Homogeneous ordered graphs and metrically homogeneous graphs, 2020","venue":null,"work_id":"5d87c5ca-e598-4f3c-80d0-cd3ef7f477f2","year":2020},"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":32,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.783920Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:81c9956a2cdb85d80bad0c999aa0825ecff0da24ef34d5151daa1b9fba48bab3","observation_id":"60ded9af-4fe2-49fd-9639-736ce5eacc53","resolution":{"observed_at":"2026-08-06T18:11:18.812304Z","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-06T18:11:18.682658Z","title":"Constructions of color schemes","venue":null,"work_id":"49f4248c-5dd2-4349-9818-1e63c937e326","year":1983},"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":33,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.860914Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:ff0527b7d313d8b829ab8a1887aa6ff8fe26267d447cb9df70a1a0b332325b65","observation_id":"205a59bd-5377-4e95-82d6-61fdded168e4","resolution":{"observed_at":"2026-08-06T18:11:18.739404Z","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-06T18:11:18.568109Z","title":null,"venue":null,"work_id":"29932dea-d0e9-4a7d-bac3-fa85970b0042","year":1983},"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":34,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:18.949970Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:76ded807012b6f6fd0011ec4fb7bc4cc62cf7186dae2012084c6e1e1fd7cf747","observation_id":"915d1851-5071-484e-9c9c-63406c1c3e50","resolution":{"observed_at":"2026-08-06T18:11:18.641335Z","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-06T18:11:18.491503Z","title":null,"venue":null,"work_id":"9fafe1a1-c89d-452f-b26b-b1dee7e681c8","year":1983},"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":35,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.021321Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:76fb2f4b4f93053bd8b92a50f8a9eaff9c96c6fb3f2a8d0bd3090212907313c5","observation_id":"f67e68e1-3931-4508-938c-23df599494f6","resolution":{"observed_at":"2026-08-06T18:11:18.533177Z","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-06T18:11:18.390254Z","title":null,"venue":null,"work_id":"842cd333-d29c-4e82-9f93-86c085c69552","year":1984},"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":36,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.091621Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:566572e13787d287ae2afa3f7b818ee806209be16374db73cdf508d048de5b4e","observation_id":"b6551f86-5770-4193-ae2b-41ba48da8549","resolution":{"observed_at":"2026-08-06T18:11:18.440684Z","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-06T18:11:18.254047Z","title":"On datalog vs","venue":null,"work_id":"e829b790-fec0-4061-88ef-b781a96ef116","year":2008},"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":37,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.130120Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:06a3249eeb155c13734d6cd59971e5298448258db2ac6444bfd642ecf4416773","observation_id":"a8b273b8-1e87-437c-8c08-cb27e954f9c6","resolution":{"observed_at":"2026-08-06T18:11:18.295302Z","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-06T18:11:18.144574Z","title":"Relation algebras and their application in temporal and spatial reasoning","venue":null,"work_id":"b68867c5-70df-4e6e-8a2e-d3c8724ef66f","year":2005},"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":38,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.162517Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:7011786634ffd198f486526b0af811a5b0f80faef37e89dc2fe429804b70a0a4","observation_id":"a77d4e2e-b3b4-41f3-8d4e-cb6c0e9154db","resolution":{"observed_at":"2026-08-06T18:11:18.220727Z","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-06T18:11:17.986612Z","title":null,"venue":null,"work_id":"fdc1a71c-2dad-42fa-bc85-242d00d1efb4","year":1955},"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":39,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.227713Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:25f03c8a6962e46146dce6cc9af11b582c43a060dcfec3ff49e1c03f5e42d1f5","observation_id":"3eace782-5f9f-4e00-a1d6-5e9705976f99","resolution":{"observed_at":"2026-08-06T18:11:18.077185Z","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-06T18:11:17.880358Z","title":"A guide to NP -completeness","venue":null,"work_id":"f5a9ca37-6059-477f-8108-987873921568","year":1978},"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":40,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.311356Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:fa229d9bc1c6e92ade8273c667f959e0ff16bb5a1a7c01dd52fb8edcfb475f6b","observation_id":"1eeff893-35c2-4037-ad46-7b333300091a","resolution":{"observed_at":"2026-08-06T18:11:17.930494Z","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-06T18:11:17.753662Z","title":"Ward Henson","venue":null,"work_id":"99892ada-aec6-4861-96cd-9556d69caa1d","year":1972},"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":41,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.413041Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:1b00f4cdc8c412769cc6ace3508560b5d07312fc1c08ae333662aca927bd8fb0","observation_id":"4ddd3f70-3f76-4be6-a1c6-aeebc088e275","resolution":{"observed_at":"2026-08-06T18:11:17.818945Z","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-06T18:11:17.689451Z","title":"Hirsch and I","venue":null,"work_id":"14a1d665-e9cf-4594-9f68-d3812d6e3e5a","year":2001},"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":42,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.444051Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:d8b7da945495560a55c00ca6eb828ed98c215996cfbd9bd3afb4b893e24d5836","observation_id":"c27d905b-0518-4b1d-bfce-9eb48cdcd0cb","resolution":{"observed_at":"2026-08-06T18:11:17.738876Z","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-06T18:11:17.552980Z","title":"Relation Algebras by Games","venue":null,"work_id":"745dd645-5399-4d35-97fa-cdff03fa0d5d","year":2002},"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":43,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.498322Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:65b56adc30cb9176f4fd921c57973ee4bae7698684124f7860a5f4dc3a6a467b","observation_id":"344660ad-228b-4f15-b134-30e1ed48204e","resolution":{"observed_at":"2026-08-06T18:11:17.618234Z","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-06T18:11:17.481833Z","title":"Relation algebras of intervals","venue":null,"work_id":"c3e94692-c44b-47df-a31e-d499cf94d678","year":1996},"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":44,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.553957Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:b2f673fb453ebb6b1f0ab47785194b1e3d2ed301d8c3498c1dc68e509781bd72","observation_id":"38cb4a27-c9af-4857-bb6f-b11b3629e7da","resolution":{"observed_at":"2026-08-06T18:11:17.518105Z","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-06T18:11:17.336762Z","title":"A finite relation algebra with undecidable network satisfaction problem","venue":null,"work_id":"af6e2ecf-f43f-4d9e-8c60-6e0c457d74e5","year":1999},"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":45,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.605320Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:b3eee4bbf6b3a13c89eed7be37fa91a27751843da50c52e821c790aedf32e1dc","observation_id":"f0911176-cf29-4b02-abc7-fa64253cdf70","resolution":{"observed_at":"2026-08-06T18:11:17.394956Z","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":"2501.17293","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T18:11:15.078465Z","title":"Twenty years of N e s et r il's classification programme of R amsey classes","venue":null,"work_id":"998a48ce-ff73-4b32-aaef-6bd6bccb4559","year":2025},"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":46,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.697953Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:82a9735e2c356f29cc67add894dc9ea48690b39bfaac49dbc0e6bc7eff9cc754","observation_id":"f3e87a36-134b-4752-a361-e819456e2ac6","resolution":{"observed_at":"2026-08-06T18:11:15.127126Z","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-06T18:11:17.186052Z","title":"A shorter model theory","venue":null,"work_id":"db08d86b-1405-4ed5-a8fb-e7fb581e9f89","year":1997},"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":47,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.766360Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:b6d8c0a131b81f01815a7f579117e653d252193f0e9a3db3c359c6b35204d783","observation_id":"ad09a12b-8bc2-49c7-801f-42fc5c680965","resolution":{"observed_at":"2026-08-06T18:11:17.251159Z","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-06T18:11:17.149917Z","title":"Boolean algebras with operators","venue":null,"work_id":"3384bcfc-1e59-4256-a53d-0cbf54268653","year":1952},"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":48,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.875483Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:07d562c54292cc85695b59faf56b9f0dc093fd3cb2b30f309ba909639cf2d241","observation_id":"653681f0-7550-4d02-b9ff-072ea8ce2848","resolution":{"observed_at":"2026-08-06T18:11:17.162545Z","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-06T18:11:17.064619Z","title":"Constraint satisfaction over the random tournament, 2018","venue":null,"work_id":"7da7d119-bb0d-4c64-8f1b-25f316077c67","year":2018},"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":49,"source":"arxiv_source","source_observed_at":"2026-08-06T18:10:19.916408Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:bf89a3264c754977b3429e529a7499ee131336b641e9332a194b02cc74e9fa59","observation_id":"4bf0a565-f5c2-4d14-bd1f-2e0d72faee74","resolution":{"observed_at":"2026-08-06T18:11:17.129382Z","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-06T18:11:16.985229Z","title":null,"venue":null,"work_id":"67b72b12-485d-434c-9ef3-00a1e9694e0f","year":1975},"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":50,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.240928Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:d5cdb625a2e9be363f600f8bb10c315801b86eccc9bb413f94f48c25ddff7060","observation_id":"b45f9585-dca2-4630-b732-42909925bfe8","resolution":{"observed_at":"2026-08-06T18:11:17.047153Z","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-06T18:11:16.862192Z","title":"Lachlan and Robert E","venue":null,"work_id":"d571d86f-53e5-4e53-9845-d1bfb7325e4c","year":1980},"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":51,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.307183Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:ab9cd0480fdae044469fd1528539306c350536c842afdd4b7c0b2ebd2c2ea043","observation_id":"920227b7-e2da-4c6a-8e7c-c87567bb9fdc","resolution":{"observed_at":"2026-08-06T18:11:16.937617Z","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-06T18:11:16.774614Z","title":null,"venue":null,"work_id":"494969f0-7e1b-4654-9a92-2b94acb24ab6","year":1950},"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":52,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.362392Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:aa873a4f225f0033f83fffeddbfc8a33628d796811f132d817dd37bd5087f162","observation_id":"6c5b45cb-0710-4c95-8b8d-9041e9f02824","resolution":{"observed_at":"2026-08-06T18:11:16.839096Z","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-06T18:11:16.622315Z","title":"A survey of homogeneous structures","venue":null,"work_id":"f6e03054-5327-4039-af22-09303acd4e2f","year":2011},"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":53,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.436584Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:5c314e44ccfe23ec973dfe28eaf23323d8c617aceee8c3bd9f601e393a16a4e2","observation_id":"beaf9ba9-bf10-4845-a7bd-3da37c8f77e2","resolution":{"observed_at":"2026-08-06T18:11:16.691092Z","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-06T18:11:16.453917Z","title":null,"venue":null,"work_id":"3e3887e5-3c4f-4d5d-bb55-045d72e6b5f5","year":2006},"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":54,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.497846Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:674142057ee2418e96b459e23c037dac635808bbd914d435d054f92fdcd84895","observation_id":"c6f07a34-708c-4e53-a728-f44ec0cb9a16","resolution":{"observed_at":"2026-08-06T18:11:16.506972Z","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-06T18:11:16.325115Z","title":"Relation Algebras: Volume 150","venue":null,"work_id":"1dc84083-5dca-4e4f-a8cd-f2287cade41a","year":2006},"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":55,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.533256Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:f3467878200498c48fcd15bd2cd88d9a30b3f3f657a89c5bf8fae803fac29bb7","observation_id":"bcde7dd3-3d6d-4be1-b5a2-d07e41313162","resolution":{"observed_at":"2026-08-06T18:11:16.388462Z","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-06T18:11:16.256122Z","title":"On representable relation algebras","venue":null,"work_id":"ceb5d729-8b82-43f5-b577-5cfa417850ff","year":1964},"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":56,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.583123Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:a4255374f3b21d5cc74db02b5eda8caa33f841fe87624ed251bb9340aea26f08","observation_id":"cdbe35d3-f40b-442d-841a-8e0e496bc1a2","resolution":{"observed_at":"2026-08-06T18:11:16.262142Z","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-06T18:11:16.092663Z","title":"The Two-Valued Iterative Systems of Mathematical Logic","venue":null,"work_id":"1def58d9-4a5b-4345-84a0-0638e4479741","year":1941},"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":57,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.641923Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:0a22c136b3fae7faccd1a8bdb92dec15ec31f7acec867f08054572f5bc8fb258","observation_id":"a1a03061-0164-44c2-8766-298e522cdc2b","resolution":{"observed_at":"2026-08-06T18:11:16.214852Z","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-06T18:11:15.942648Z","title":"Schaefer","venue":null,"work_id":"25c6e14e-9b5e-49fe-a061-d75c22d07e67","year":1978},"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":58,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.715632Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:d0a52d98902fcd14b124b6f4f174aeb9b5c4f190bad146836e8246a088db81e7","observation_id":"8b5c21e7-ef72-4968-b598-2c30b912b801","resolution":{"observed_at":"2026-08-06T18:11:16.011276Z","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-06T18:11:15.846162Z","title":"Contributions to the theory of models","venue":null,"work_id":"9bf58c67-9025-4db1-96ce-ea3f724bbd16","year":1955},"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":59,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.796866Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:9d4d2b86e158e05f721d3198fc9e3599bb538dad5a9e2cf07274a9420d55be30","observation_id":"1daf8746-6263-4343-9ed2-79b664ee3086","resolution":{"observed_at":"2026-08-06T18:11:15.875461Z","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-06T18:11:15.720359Z","title":"Constraint propagation algorithms for temporal reasoning: A revised report","venue":null,"work_id":"9fddbeb5-572c-4990-9da7-7f61533c01b7","year":1989},"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":60,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.825512Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:b2e134759146db61912963fdae84aafdb0dbb8b4da80ed018772820bd6ed52cf","observation_id":"77283141-1a81-4022-a7d7-766863b65bb0","resolution":{"observed_at":"2026-08-06T18:11:15.800505Z","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-06T18:11:15.597321Z","title":"Tarjan, and Eugene L","venue":null,"work_id":"fd9eb83c-b27a-472d-9505-ced4aab8d91f","year":1982},"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":61,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.857892Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:dcd47444062b756e917d20f10aa8d7c6ad60ba487613b16f8366505e413c2990","observation_id":"00b5dd2e-8847-4c03-a8bc-4232e77f5623","resolution":{"observed_at":"2026-08-06T18:11:15.660404Z","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":{"arxiv_id":"1704.01914","last_updated":"2020-10-02T07:03:18Z","snapshot_observed_at":"2026-08-12T20:34:54.230997Z","submitted_at":"2017-04-06T16:27:29Z","title":"A Proof of the CSP Dichotomy Conjecture","version":11},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1704.01914","snapshot_observed_at":"2026-08-06T18:11:14.893884Z","title":null,"venue":null,"work_id":null,"year":2017},"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":62,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.893884Z"},"links":{"cited_paper":"/paper/1704.01914","citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:f2c293b7abb3cdd2dab1cee5904755b13efbc113d4693f2ff749a08f004c5c64","observation_id":"d220fd4d-444e-4981-8c6c-f61e3f2a8093","resolution":{"observed_at":"2026-08-06T18:11:14.893884Z","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-06T18:11:15.542884Z","title":"A proof of the CSP dichotomy conjecture","venue":null,"work_id":"e2a5a97a-cf5a-42de-90b0-3c0a45487403","year":2020},"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":63,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.907789Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:1e47e52f882161d97255d8ba72341b89a27720eef810195fc63d2cdb2f8aa47f","observation_id":"c1a32e29-1b77-4177-ac7f-aa67274d9987","resolution":{"observed_at":"2026-08-06T18:11:15.556417Z","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-06T18:11:15.496906Z","title":"Hypergroups","venue":null,"work_id":"832da2fa-82ce-4484-b704-7de5b786729b","year":2023},"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":64,"source":"arxiv_source","source_observed_at":"2026-08-06T18:11:14.928880Z"},"links":{"citing_paper":"/paper/2507.09324"},"observation_digest":"sha256:ae4bbec241d6d18347900b71095a94c40768ea104573042ca2bc0e73eed89afc","observation_id":"057b6e7e-b61f-46d8-a9b9-43e472212d2b","resolution":{"observed_at":"2026-08-06T18:11:15.526741Z","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":"2507.09324","last_updated":"2026-06-17T21:55:45Z","latest_version":2,"primary_category":"math.RA","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"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":4,"verified_fuzzy":43},"total_outbound_references":64},"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 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2507.09324."}