{"as_of":"2026-08-08T17:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:24d909f508ae4b8ebd43e8a5ed0167dacbdce8499320c928db7191e7b7265829","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T04:50:06.342145Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2607.08582/citation-record","integrity":"/paper/2607.08582/integrity","json":"/paper/2607.08582/citation-record.json","paper":"/paper/2607.08582"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T04:56:46.436385Z","title":null,"venue":null,"work_id":"ee8c1384-7b30-494d-b788-4c8b5cfae917","year":1996},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:71001057cb963d746e0dbd4887c6b6dd0b99ac108d08a5f29a96f8a8ce780ffd","observation_id":"88f94998-4206-4ac7-b694-f5a94c8d2125","resolution":{"observed_at":"2026-07-10T04:56:46.438014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.428029Z","title":"In: Robinson, J.A., Voronkov, A","venue":null,"work_id":"ae38cc69-8ce7-47a9-a7b5-0d991c16a811","year":2001},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:bd27d2833c1b70de482d6998f5437f1c99a929529f315a94d2070f87c431939a","observation_id":"1e003759-f125-4560-9df7-3fd19f6a00bb","resolution":{"observed_at":"2026-07-10T04:56:46.429734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.440366Z","title":null,"venue":null,"work_id":"6e7ae1bf-213e-4423-abc7-22f7251c624d","year":1998},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:e5c087bfd10d7a91f49c3a35224d83d5843fcb951cbba71ba8d8880de8d059d6","observation_id":"be88fd06-1344-4c88-af71-0b05c84079c3","resolution":{"observed_at":"2026-07-10T04:56:46.441748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.433019Z","title":"Blackwell (1847, Reprinted 1948)","venue":null,"work_id":"ea3a31cc-74aa-40f6-b84c-050ec1a2eefb","year":1948},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:6141a7525ebc5e5cc30dae0694fa19a3b40abfd6a1b86ab96ff857ce6bdf27e0","observation_id":"8b2d46d9-c3a2-4c50-87c7-bac05ea010e8","resolution":{"observed_at":"2026-07-10T04:56:46.435641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.435456Z","title":null,"venue":null,"work_id":"04472fff-4f19-4323-aeec-6d56cd648b2b","year":1992},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:4835ad4bb525e0ffce096d498a9422c296f246b990863f44bae570ce3c8ff559","observation_id":"61c8f564-d3f6-4130-8509-723605bb5103","resolution":{"observed_at":"2026-07-10T04:56:46.437184Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.423391Z","title":"Springer (1981)","venue":null,"work_id":"57742cd0-c7d7-4e75-94c2-26412f75f713","year":1981},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:3e15bc1d4261448bdf9c8fe37754c699a73900ea9d8364be885dbdaa3e015f5e","observation_id":"2dea73f4-754a-4863-bc24-0192d9ee6108","resolution":{"observed_at":"2026-07-10T04:56:46.424922Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.421438Z","title":"In: Robinson, J.A., Voronkov, A","venue":null,"work_id":"c199dee0-67dd-4621-ae4c-65b30d2ea4df","year":2001},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:af19b0878dccecef9f76bda3870d24f299fb198189a0bb67c549ff631a747626","observation_id":"7d7d8074-042c-4bf0-be04-875dfdecfc7c","resolution":{"observed_at":"2026-07-10T04:56:46.423054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.442350Z","title":null,"venue":null,"work_id":"3ef054dd-2744-4ba2-899b-fe27c7b6b918","year":1993},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:55db3581ed4305484d8718adba77700db8d9da9dc877ce29771c8a0e71b663bd","observation_id":"b9d94116-4760-4d31-991c-3c50e12189b5","resolution":{"observed_at":"2026-07-10T04:56:46.443656Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.417612Z","title":"Sitzungs- ber","venue":null,"work_id":"b851dcf3-a971-4a5b-9adb-cd758fc67412","year":1908},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:bef2d797197cc1bf7d1982b65e8d8490a2dc820c4672c1f8a9ce8fd016725b7b","observation_id":"9fed6e21-e61b-452c-ac4f-2c0360b209a2","resolution":{"observed_at":"2026-07-10T04:56:46.419171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.419662Z","title":null,"venue":null,"work_id":"fde14777-7eb1-498f-8c85-9871857bfefb","year":1990},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:aee319cd386987ffc68da6576c48b9df41489a6f72258837212d5a5a649fbabb","observation_id":"16687582-f83d-4e68-a444-f7375eef991f","resolution":{"observed_at":"2026-07-10T04:56:46.421078Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.438197Z","title":"North-Holland, Amsterdam (1974)","venue":null,"work_id":"e552c2ff-1521-4176-8b3d-a679e877da3a","year":1974},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:5600096dcb1b12c47b01ba781baabb7003aa104c78e9905d0d7612f3a75e106e","observation_id":"1dc75d12-a4b3-4889-8697-3bcb5cd428c5","resolution":{"observed_at":"2026-07-10T04:56:46.439781Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.432545Z","title":null,"venue":null,"work_id":"da543482-dad5-48ba-9517-681c853682a2","year":1989},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:cf72083ebb8533886e128ea4d15a4e7b4d0e51e23b1571b4f91e880117912d5a","observation_id":"d4a4b244-c152-46cd-bdcd-b81601f2a153","resolution":{"observed_at":"2026-07-10T04:56:46.434813Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.415838Z","title":"In: Nieuwenhuis, R","venue":null,"work_id":"37ceb4d1-b200-4749-a112-0faca0062a49","year":2005},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:90e661184b4e517723009331822d95ab60974ad55828966b21331866667eaf19","observation_id":"1ff40ee2-4526-44ce-a0e6-2dd5e7d1d900","resolution":{"observed_at":"2026-07-10T04:56:46.417113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.414008Z","title":"In: Barrett, C.W., Waldmann, U","venue":null,"work_id":"5d0413b1-a513-42d4-8001-a16c4839b261","year":2025},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:a267c84d41237b90f56590ad0ff0ec26290928f64092ff94f8104c9f575971a8","observation_id":"a85348b0-f671-4a70-a291-dc8def61c345","resolution":{"observed_at":"2026-07-10T04:56:46.415226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.01664","last_updated":"2025-06-02T13:32:56Z","snapshot_observed_at":"2026-08-07T11:54:57.229368Z","submitted_at":"2025-06-02T13:32:56Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","version":1},"cited_work":{"arxiv_id":"2506.01664","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.01664","snapshot_observed_at":"2026-07-10T04:56:45.928960Z","title":"On Symbol Elimination and Uniform Interpolation in Theory Extensions","venue":"cs.LO","work_id":"fc1e4b68-d54f-4912-9517-e8107b908a47","year":2025},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"cited_paper":"/paper/2506.01664","citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:83b995b6f6a4098b4a19529c67c0818ed8ef97f8cf4922f41ca60353ec5e40a8","observation_id":"b5b019e5-e62f-431a-9c52-21ac3ead49f2","resolution":{"observed_at":"2026-07-10T04:56:45.930278Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-10T04:56:46.417783Z","title":"In: Proceedings of IJCAR 2026","venue":null,"work_id":"3502176d-a1a7-44bd-8ac1-3bb7b1429e1d","year":2026},"citing_paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-10T04:50:06.342145Z"},"links":{"citing_paper":"/paper/2607.08582"},"observation_digest":"sha256:285f50ab434ed86b6f7e9b6043eb3339626b2c396f1b4c87b14026ba6cc3d377","observation_id":"3817a62e-e29a-4542-ab2f-b8c6e96f651d","resolution":{"observed_at":"2026-07-10T04:56:46.419335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.08582","last_updated":"2026-07-09T15:15:48Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:09:22.822492Z","submitted_at":"2026-07-09T15:15:48Z","title":"On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":16},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.08582."}