{"as_of":"2026-08-13T23:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:19d95111eadf4c3c38f3021c7a5b0351029f15be9bb81ad52c05955d8064bf97","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-13T06:32:02.005865+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:3e44c747c96a8e8e764fad1d8c9cc4854c64ffccc5a1ba7349fe0ae3e958a23e","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-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-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:e3ca4d3c73b28023b180661d17fef4d5f839aba1b0a97d7c3177be48593d73e0","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-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":{"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"}},{"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:ac517bfd789645e800e890134bb171dd18b6a3b8b1ceae88ffbb7cb26b8dc76e","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-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-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:2cbdc9ccbc64e54a418200846446b2b90d0f68e09d7b7dbf19212bf716eb9c4e","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-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-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:bfdb1fd52492836af0bf50bc9e68d7d75e3597351ba61437558970fe911552cb","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-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-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:5d4251ef134b7a5ae9d68b4f4d808abe5792fd09c2bdd3c313630ce978984b3f","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-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-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:28309cf451d576018cfa96f8c01832e86df12552d3543529e55a79365241449a","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-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-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:efc6d5824a5c2be37654b1f9e1c3bce6998eb9be68fed304f86d5dc2122d7ed1","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-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-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:e47eeac2d716de6eaf8bd3bd3a50b673e33b4a539052fcfbb0172e045b13348a","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-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-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:2b4f8092de93d81013388c31aa345d5c9b4ce0e4e4062c9ae8018512d4d3e37a","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-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":{"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:bd6dafa918b7b6b52d2366881c9e243ac63d50af931b5a4918d91fdb034de790","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-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-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:d7fbe8af280e27a2e8ecbd110956d5b7caf70c7f529e71c0fe174797c7d8179d","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-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-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:cfbf15d9ccaa06dd3469f1256e5de8c6035530d91d84e7167368ea1966a17640","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-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-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:cb93488de903a27aa2fcd6d58b75b9996c57f2d4e8b6fc4bb320a1a5b432b20c","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-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-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:af44a17aae9b32b52baeeb2764fdfba0805715ef05ece34c2dbe0347746e5e87","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-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-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:dc408dba4a8b3b141b54182b4ebc203f1792e620d9fb9593fc794cd34607708c","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-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-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:0710411f1855cccbb367b929d141604971986730610a5897571df88e0caf9091","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-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":{"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:bcd329e9822ef5c6bb836ff62ca2a01f09b0a1544885abbecf8be3cd8e65e821","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-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-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:ea6ea48535eebf0995ebe753ae00eecc633cefa4f7d58f2f94054940121bc21a","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-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-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:f4f0529121201c54c82b625296e5a7e2b8fcad271f4aec6dcbd632d68850a1f1","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-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-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:a0bf596fdded7a1492e13d849da4fd8176fbefec7b4ab72a583652db04451c12","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-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-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:e6b01cb521dbc8abb6a2ffd80d16a9e4b5f7295076ba03cbd8db294a5106f541","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-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-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:8742fb5df3d0be89ed6f5f21a4538e6076beeb7b705b48c043b9bdcee9d1a1a3","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-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-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:b148d47c9373d0515ba17fab8d0a9f241fc56d948b2ef9f324649570b5178261","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-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-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:2376584078305030e153fb68e215b496fde570001fa469de5471e6b3dc80891b","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-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-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:184f6b2ee247cbe8de9327ae2d0b71aa13a2747c266f84ee2445aeeae10add80","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-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-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:3c313ffb1fa4730b66620372116f7d256aab0b3010d7f1b121460b000868d881","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-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-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:ac88aea448b6de3be1f579bc68a77eeb0dbe85a2cbef9baf943d58802ec5d790","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-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-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:fc5f77e49d611aef1d30d04886d19a8032b71a374843116a140ab070ecae0ef9","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-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-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:a2ab333f8c95cb7a055cab5dde7119c2b1f13e0ba4e6f0a5c681dbd418085990","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-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-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:b72892225d643dd512e1acacebaba65a0b65bc9b74368cc046d4bf5a90cc9535","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-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-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:80dccee8e568c8f76e40abfb08e745f4eaba78155839cf9792e1448a6ea6f209","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-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-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:70467c4498a6ebbab86dac355472a87fddc815c55845cf46a11f5d239959ffd3","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-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-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:d4376ea74c018103cc6ec9a9fb3caadb37c7702ef404834bd299dc77a1b33c00","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-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-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:406174e2caa4aeaa1a2dfc751ea04628e3d8176a57e26fa115fdefec911b126c","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-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-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:7f80210c25ca55c431b35eaabd0b93bfb2f7fc5aec0b7ae78831535392d81cde","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-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-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:d6d82342fd37c43e9af1208c0d9ae0e95fdfc776242d957863c25ba83da2c4a5","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-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-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:62f4841dc0759b4a8468e230ad6c03c805aa8650e21a7bc76ea644aa1edbfe32","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-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-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:6e55c5a96fe4ecfcbb4628cf755ca99214b7b3cdea87227ffa1343801757995a","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-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-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:e1a5aac80ca78db4589c35e1ef0fcae2183167af3abbc84ec5f1d2d0485e04ef","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-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":"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:551aa319dcdcdf30f88f1b05cd3080d3e6cfcdee93307f9e39468509e134ba8f","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-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-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:880568f5ad2916b98e6521b99890d58902eea23d30e4f9614d27122236b21989","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-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-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:f3550994c09bd60586b5af82ce7a56ade95eb37ffdcca9c4c21cc6b765b79336","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-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-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:144732fd9c935c47d9452a54742c9bb30ec480914a490c4402610cc510a7c88b","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-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-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:384c37e22d4a2f3173862fd0a7e1b07b0fdb2a56bdd40ec0eb7b7b2a6c2cafce","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-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-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:8f7a92df84704dfd91d667931d77c7e5ef8f51245bedb190d06bb8b85ccebad1","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-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-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:7ee82a94bb9e54146d701483d45881274a8ba82dbb975a58871bc13bc352ec7a","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-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-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:1c49f1a432a60b200acf7a9f6665e0397634dfa7ea87245e718177ee34909dbf","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-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-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:e79f3ff5de95759da1569427beadf1c0d6d5f1fbf56b318ed5f1a59a3ffce5a4","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-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-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:ca7797c69a1d306439d6d908eccea7126a1a73afcc5752913b9d2d9685a107e4","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-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-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:e381dd28b26adea777291dd100707aa67405cb795d00655e68dc73f2fd325f74","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-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-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:fe2f941faf8234bbd6b27f6b0942c859ee99e5c83cf7cdfb597ddff1d7d3d7e8","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-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-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:c1217a52fd4d45699db730aed047df95253ddcf14d6732fb7d7dddc12f7f3707","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-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-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:cb5a7f625bc20745fac168f5c6d72711df5979c70ee0bca159963e0deae99215","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-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-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:9b767851b6dc9fceedcabb056f4fe18316d8bec7ef585e0070a3988b24776408","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-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-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:3026b61427dd09bcf8aca318910a18dbcbe691bde05595fc3495fdcc7777f46f","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-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":{"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:c42b4a183277ba1fecf413fbe02961e03f69587440613ee2269248a8c1a217d7","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-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-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:33ec6f5698c196404031a44268106180731f4d06d5c080b0d76156ed51a28210","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-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":"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-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 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2507.09324."}