{"as_of":"2026-08-15T12:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2f5addbf42e68c4ec638ee67813c83783f70f7a1263dd041c0f8365fb0ab52e1","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-30T20:56:58.616906Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/2605.14356/citation-record","integrity":"/paper/2605.14356/integrity","json":"/paper/2605.14356/citation-record.json","paper":"/paper/2605.14356"},"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-07T18:34:01.988461Z","title":"Clarke, Orna Grumberg, and Doron A","venue":null,"work_id":"17fe454b-2518-411e-8178-6b5980bb4e34","year":1999},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:3678311e1da98e1b16858bb861904b374b5b2c559082afe9e762b3920c7b9bf8","observation_id":"74e4e7f6-45f4-4f40-8944-aa95b3eb5db5","resolution":{"observed_at":"2026-07-07T18:34:01.989717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.974879Z","title":"MIT Press","venue":null,"work_id":"d0e07e70-e5b9-4b7a-ac36-f089c60a47d2","year":2008},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:56bbe2dc67c8efece172f163a4cf6a1091110705212366272704bf21d028da50","observation_id":"9144ebdb-1f01-443c-bc2e-e08c194716cd","resolution":{"observed_at":"2026-07-07T18:34:01.976902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.977829Z","title":"Model-checking quantum systems.National Science Review, 6(1):28–31, 2019","venue":null,"work_id":"690ce5f7-aaa9-4586-831c-09df53907f87","year":2019},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:347d83fee5ede62c2b6886dc659e35045527713f90cd93c2990d86b3a19eef60","observation_id":"c18b2500-52cf-4286-ba1b-c4b96255f52f","resolution":{"observed_at":"2026-07-07T18:34:01.979424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.395107Z","title":"Cambridge University Press, 2021","venue":null,"work_id":"4d499ffd-39c9-4689-8f26-5bce2328707e","year":2021},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:386b5024f0ca7914fb20a08c2756fe21a64a70e8586b939682de85f125f314c7","observation_id":"0e9c78e2-81f0-4dfd-b617-4278a861d8fc","resolution":{"observed_at":"2026-07-07T18:44:06.397720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.973030Z","title":null,"venue":null,"work_id":"a34915e2-5bbd-468c-aa73-2f3d78c4a584","year":2012},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:9349350756f4293d6d76e8c3890b05d8e50a8d3159713bfe69019384b9339156","observation_id":"bf9a067a-3997-4e7c-a416-a39373beb3a9","resolution":{"observed_at":"2026-07-07T18:34:01.974151Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1208.5791","last_updated":"2013-10-24T15:38:06Z","snapshot_observed_at":"2026-08-15T00:48:34.163529Z","submitted_at":"2012-08-28T20:51:47Z","title":"Review of Decoherence Free Subspaces, Noiseless Subsystems, and Dynamical Decoupling","version":3},"cited_work":{"arxiv_id":"1208.5791","doi":null,"metadata_source":"pith","pith_arxiv_id":"1208.5791","snapshot_observed_at":"2026-07-01T14:35:46.645951Z","title":"Review of Decoherence Free Subspaces, Noiseless Subsystems, and Dynamical Decoupling","venue":"quant-ph","work_id":"0ef8d4b0-a6ca-467f-adab-dd6d9e7a13f8","year":2012},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"cited_paper":"/paper/1208.5791","citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:bff843536bd0b05964f61be931ff13b861131d2bbca9b87f3909aa8b63d5d209","observation_id":"46b55726-6793-4346-8e17-01031ca14d2f","resolution":{"observed_at":"2026-07-01T14:35:46.647173Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.04904","last_updated":"2018-02-14T00:32:25Z","snapshot_observed_at":"2026-08-14T19:46:08.073257Z","submitted_at":"2018-02-14T00:32:25Z","title":"The Structure of Decoherence-free Subsystems","version":1},"cited_work":{"arxiv_id":"1802.04904","doi":null,"metadata_source":"pith","pith_arxiv_id":"1802.04904","snapshot_observed_at":"2026-07-01T14:35:46.643927Z","title":"The Structure of Decoherence-free Subsystems","venue":"quant-ph","work_id":"0d08f922-8c5b-47fe-a3ff-4a2ffea5112d","year":2018},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"cited_paper":"/paper/1802.04904","citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:9b09073d2ac8da104b1acce4fd8b041bad87bed6cdbbe65fe5b3a9f29c3e5bee","observation_id":"b4a36067-dc81-4830-b9ed-6ecd3cad2882","resolution":{"observed_at":"2026-07-01T14:35:46.645065Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.384232Z","title":"Morgan Kaufmann, 2 edition, 2024","venue":null,"work_id":"3b594c1d-aa4a-4672-aed3-f8686885561a","year":2024},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:896dbed6e1336f67d4017e788c76ceeac26b35405635613246b2f536087405f5","observation_id":"36e7fd2e-c1af-4af4-941f-c482ac9eeb15","resolution":{"observed_at":"2026-07-07T18:44:06.386073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.387015Z","title":"Springer, 2019","venue":null,"work_id":"e31b019b-292a-4333-83ba-ab447876fbf7","year":2019},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:e23c4b1916a939ca7b3ccedd4278c60fb4eac813a5da48b95dfe7cd9fdb2accb","observation_id":"224bd63e-5a61-4459-9bac-06a0dc9ff218","resolution":{"observed_at":"2026-07-07T18:44:06.388602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17641","last_updated":"2026-03-26T17:42:08Z","snapshot_observed_at":"2026-08-07T17:31:28.656948Z","submitted_at":"2024-07-24T21:09:22Z","title":"Regular language quantum states","version":2},"cited_work":{"arxiv_id":"2407.17641","doi":null,"metadata_source":"pith","pith_arxiv_id":"2407.17641","snapshot_observed_at":"2026-07-01T14:35:46.634587Z","title":"Regular language quantum states","venue":"quant-ph","work_id":"eaebc544-c6b0-4db1-a32a-d2b92bd206ab","year":2024},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"cited_paper":"/paper/2407.17641","citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:d4bf0ce2c84eaa94236fbb5e147f995407a5b2cf171d100a57e8b899aa964ee4","observation_id":"acc62d11-22e0-4c1c-9b27-fc872ad079df","resolution":{"observed_at":"2026-07-01T14:35:46.635708Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.970818Z","title":"The density-matrix renormalization group in the age of matrix product states.Annals of Physics, 326(1):96–192, 2011","venue":null,"work_id":"dfb539fc-4ec7-42df-8a0a-b6ace836fc76","year":2011},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:c95bc0d0bb001d74b6590baefe456f348374e7eb347003f0f9d726bf0f48614f","observation_id":"b0d3aa8f-4d2e-4b92-ba67-c98fa172baad","resolution":{"observed_at":"2026-07-07T18:34:01.972201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.366385Z","title":"Hastings","venue":null,"work_id":"0f3a4c64-52fb-4ca8-b2b1-39022d6b84b6","year":2007},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:58d11170b0577bb72373aec908618833c253be3adca36013c2695ac026320644","observation_id":"037a8270-22f1-45e9-8fdb-89a5f37aca76","resolution":{"observed_at":"2026-07-07T18:44:06.367926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.968399Z","title":"Vazirani","venue":null,"work_id":"813d5afa-1748-46c2-a5f7-93570029bd88","year":2011},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:fea1aad197e86596e262ac337b2f6f4a68233dd84bd72166bc98b2329a6431f7","observation_id":"6e06951e-8cea-42ac-a13e-5c6bead02a74","resolution":{"observed_at":"2026-07-07T18:34:01.969964Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.392184Z","title":"Clarke, E","venue":null,"work_id":"2ee9c92b-ae31-4567-bb76-795f13307f14","year":1986},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:dc0b161a4a510d125a40a02d1bd65838c6aa8ed0b24b20973fd744b03a0501fb","observation_id":"2cb71502-bda5-49c2-aeab-63d0808de67e","resolution":{"observed_at":"2026-07-07T18:44:06.394085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.398680Z","title":"Model checking quantum Markov chains.Journal of Computer and System Sciences, 79(7):1181–1198, 2013","venue":null,"work_id":"be6a6f9b-1dab-46ef-9ca4-723a0e575ecb","year":2013},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:5391ee26577cc976526f95fd455ddb8662c036c3c1c21348db7203368ff9628d","observation_id":"9c8ad82a-4bc7-4b1d-bb70-b495ff96dfee","resolution":{"observed_at":"2026-07-07T18:44:06.400756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.09466","last_updated":"2018-07-25T07:58:14Z","snapshot_observed_at":"2026-08-14T18:48:00.757785Z","submitted_at":"2018-07-25T07:58:14Z","title":"Model Checking Quantum Systems --- A Survey","version":1},"cited_work":{"arxiv_id":"1807.09466","doi":null,"metadata_source":"pith","pith_arxiv_id":"1807.09466","snapshot_observed_at":"2026-07-01T14:35:46.643445Z","title":"Model Checking Quantum Systems --- A Survey","venue":"quant-ph","work_id":"c0663755-ed83-4d93-b2b1-934d4a4587a0","year":2018},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"cited_paper":"/paper/1807.09466","citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:2123c880e3bf7ff397fc2ce11887065aeac578feb4ed43222c52eee033a030d1","observation_id":"c19307a8-420e-42f6-9e38-2c0a341472ca","resolution":{"observed_at":"2026-07-01T14:35:46.644706Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.389304Z","title":"A practical introduction to tensor networks: Matrix product states and projected entangled pair states.Annals of Physics, 349:117–158, 2014","venue":null,"work_id":"fdf37845-eb64-4b3c-a412-a4b290d6f210","year":2014},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:e6a0ea6dc80fe0af9355bf1bc1358d7cc4e39a1baf4b01cf83e9ee74849de783","observation_id":"4fadbf6a-e66e-4c9c-bb8b-bd9bb6256675","resolution":{"observed_at":"2026-07-07T18:44:06.391167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.381469Z","title":"Wolf, and J","venue":null,"work_id":"5ab20f38-8fbd-487e-a55d-4488327f2f77","year":2007},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:84027ac789dbc4be9e0283879208aa2b2e4ca4375348822a8bb9bd0d07bc1a21","observation_id":"f3f9a57f-643d-4e5f-83db-c1e12ccc86bd","resolution":{"observed_at":"2026-07-07T18:44:06.383217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.379027Z","title":null,"venue":null,"work_id":"00daa149-bae5-4a2c-a5a8-b4168903ebaf","year":1992},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:e5356afdc1cb32d4c857bc9340e63b50c9ac111beaa9b2807e8289b1a19ec63a","observation_id":"aadecf2f-28e0-4d99-b557-3aa5e2e7ec64","resolution":{"observed_at":"2026-07-07T18:44:06.380647Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-08T00:34:22.921321Z","title":"Nielsen and Isaac L","venue":null,"work_id":"d15c6ea0-d767-4ebf-91ad-2b1c9f1f8a92","year":2000},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:7d1683ac386c99c09a19b9dc72436392608ce7804032f519cbbea626d5d86a8a","observation_id":"d726fc1f-ddc2-490c-92b2-95f612075126","resolution":{"observed_at":"2026-07-07T18:44:06.378174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.363758Z","title":"Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete","venue":null,"work_id":"0230f976-15bb-4aa7-b868-c15c7fad5dc4","year":2021},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:ee40966b5dddca19a530697699d4e4d0a4710888a2974442a59c401f261d1ab4","observation_id":"c3da2811-7e99-4300-bfa9-3a5128354386","resolution":{"observed_at":"2026-07-07T18:44:06.365576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.983459Z","title":"Ignacio Cirac, Norbert Schuch, and David Perez-Garcia","venue":null,"work_id":"bc2b443f-2838-4791-8c90-892dce65682d","year":2017},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:9916344d35ebae3cfdf05bd1d8b18993ba2bef9278c75ea12d663ce7ba1b1616","observation_id":"fbbe2b7e-7f44-4593-b8c5-08fc1385ec5c","resolution":{"observed_at":"2026-07-07T18:34:01.985187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.980454Z","title":"Completely positive linear maps on complex matrices.Linear Algebra and Its Applications, 10(3):285–290, 1975","venue":null,"work_id":"1b1cd06d-e96d-48bc-9b47-ebebd1ba4821","year":1975},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:b1fa4f32b216e4ae6e2146886f785948904fbc0b507e1e915e6011506deee215","observation_id":"bdf32616-29ec-4302-9a4e-f7fbf951ee74","resolution":{"observed_at":"2026-07-07T18:34:01.982190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.986053Z","title":"Prentice-Hall, 2 edition, 1971","venue":null,"work_id":"a6ac4363-360d-401e-afd3-628da4e9cba0","year":1971},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:67858ea1e31b586343f1917f850513e5fde14126698baac83e38e25cccc14b64","observation_id":"f958f2f3-d635-4b11-8265-320c15a2b38b","resolution":{"observed_at":"2026-07-07T18:34:01.987566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.401656Z","title":"Ignacio Cirac, David Perez-Garcia, Norbert Schuch, and Frank Verstraete","venue":null,"work_id":"8943929e-ecc5-4271-9065-c73392327bfb","year":2017},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:3b12123c5b3b60be97b48b24e288e415d31d7d5eb0d2666edb7ce822d68a7a30","observation_id":"de384e03-f355-4eb2-a064-678c236a4733","resolution":{"observed_at":"2026-07-07T18:44:06.403910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.839218Z","title":"Springer, 2 edition, 2006","venue":null,"work_id":"1eb30629-d5f9-4ccc-8640-d261d3271e29","year":2006},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:c1d4c7fb5c62c7b0a55de1543098d2b9d18b233cff5d4e2404815c6e70352f96","observation_id":"013e9f06-a21d-4c0f-a203-6335e4689e7e","resolution":{"observed_at":"2026-07-07T18:34:04.840295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:01.990469Z","title":"A probabilistic logic for verifying continuous-time Markov chains","venue":null,"work_id":"718d01de-c885-44d2-9100-0b88aa4d5d8b","year":2022},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:cac48d18bae557a45e67c49534064b00f0bcfd6062ec6fdf9e951efc58e8050b","observation_id":"a22be465-c84e-41ff-98a8-d7da7d29f26a","resolution":{"observed_at":"2026-07-07T18:34:01.991754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.361193Z","title":"Skolem’s prob- lem — on the border between decidability and undecidability","venue":null,"work_id":"a86f65e4-834c-4f45-88e1-39bc9446d31a","year":2005},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:3e36492c81a9cf2a2c05b8edfab0f6e31e4fb6a7549a5601d49f9039222f082a","observation_id":"ccb198e4-5d80-4c91-9918-c3a26832ffb6","resolution":{"observed_at":"2026-07-07T18:44:06.362986Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.371305Z","title":"Hahn, Andrea Turrini, and Shenggang Ying","venue":null,"work_id":"69bc86d2-a157-4f1e-a8d9-63672665ac17","year":2017},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:a26029dbec857f4a2cc3d10eb5e3687cf6a9092914b114773b45f2a6a8d83cc2","observation_id":"25b8c71e-00dd-4078-94c1-376e17953896","resolution":{"observed_at":"2026-07-07T18:44:06.373080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.368768Z","title":"Lieb, and Hal Tasaki","venue":null,"work_id":"18b33aa7-1162-4133-afea-4ec91764c5db","year":1987},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:f0f22acdf20338f11579010c6f6fdc9a221895041fa9d8d898d4f01395fd8353","observation_id":"4ed2164a-f252-4ff8-828e-7e629b7ec2e1","resolution":{"observed_at":"2026-07-07T18:44:06.370410Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:44:06.373849Z","title":null,"venue":null,"work_id":"3a2e65f8-2c7f-4886-96e2-d280e538ac8c","year":2001},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:817b62248512857d7038a72eec8276d185f99f0044d218d9d345ad880480a62e","observation_id":"2d088fdf-f0a0-4858-959b-ddaa14ece6ba","resolution":{"observed_at":"2026-07-07T18:44:06.375792Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1811.08847","last_updated":"2018-11-21T17:50:03Z","snapshot_observed_at":"2026-08-14T17:55:31.407139Z","submitted_at":"2018-11-21T17:50:03Z","title":"On the spectral gap of random quantum channels","version":1},"cited_work":{"arxiv_id":"1811.08847","doi":null,"metadata_source":"pith","pith_arxiv_id":"1811.08847","snapshot_observed_at":"2026-07-01T14:35:46.638295Z","title":"On the spectral gap of random quantum channels","venue":"quant-ph","work_id":"7454a99b-f07f-47f3-a935-8a4cd287c1ba","year":2018},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"cited_paper":"/paper/1811.08847","citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:f62c308035075a749ea80d9c3436113b969a89a72a418eb9c83e0a3d134fe2fe","observation_id":"09302ad7-c9c1-48be-95d0-1160cbc2f647","resolution":{"observed_at":"2026-07-01T14:35:46.639502Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.833619Z","title":"Hastings and Tohru Koma","venue":null,"work_id":"3dac9a16-4a10-4686-bc36-519536fdb3ec","year":2006},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:e6d0c1ad413e015350fb51226f2b5397cf55e66d86fb7c7cc130d75611ef784c","observation_id":"5a3a6aa0-e9c5-4457-8555-cfc1ce796ee3","resolution":{"observed_at":"2026-07-07T18:34:04.834961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.828513Z","title":"The one-dimensional Ising model with a transverse field.Annals of Physics, 57:79–90, 1970","venue":null,"work_id":"178decd3-db71-4663-af69-cbfa2d60a71c","year":1970},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:452293ea47d0cf984b4943fffc1122e4bee023724698f3d5c00cc43ab59cb5bf","observation_id":"4e71bff4-3b7f-4425-a527-4e875c31a56f","resolution":{"observed_at":"2026-07-07T18:34:04.830377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.831443Z","title":"Oxford University Press, 2003","venue":null,"work_id":"208aa842-395b-4ba6-a4ca-504141d6f5c6","year":2003},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:fb045f57a8a9597044c5256f61c8c4fb162116a042fbd4d6724b98d9a4339838","observation_id":"489efa89-edaa-4965-9539-2d17b2943eaa","resolution":{"observed_at":"2026-07-07T18:34:04.832892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.835628Z","title":null,"venue":null,"work_id":"5a7e1c8d-f445-4d78-8494-033897372181","year":2001},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:34b6fac0cc31ad1ed4939394e08bd0fe44b6e98498b085538500ae551642fffb","observation_id":"77a29eaf-bfae-40db-9c33-48b6d45276d0","resolution":{"observed_at":"2026-07-07T18:34:04.836848Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.821544Z","title":"Rams, Vid Stojevic, Norbert Schuch, and Frank Ver- straete","venue":null,"work_id":"f41662b8-52b5-43fa-a199-c55091ab7bd1","year":2015},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:1348061cd43497b0b9195bf33e3f3b27e3de9dddd40498423d58fb7aadb4eee4","observation_id":"f4b5cd72-07d9-4185-9b60-fa5bdeb149ed","resolution":{"observed_at":"2026-07-07T18:34:04.822711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.823393Z","title":"Diagonalizing transfer matrices and matrix product operators: A medley of exact and computational methods.Annual Review of Condensed Matter Physics, 8:355–406, 2017","venue":null,"work_id":"fdbce009-d2df-413a-a392-9aab9b4f8c10","year":2017},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:39f1ad888038d3b53a010f1be7f251982cf505c594782b034967123abdf58db6","observation_id":"d17a5ffa-5ce9-490f-b47d-2cb8051f6aec","resolution":{"observed_at":"2026-07-07T18:34:04.825365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.826438Z","title":"David Mermin and Herbert Wagner","venue":null,"work_id":"0f370802-7f68-434f-ad2b-6446a8787824","year":1966},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:6372ff3289afcea8c7418ad3c87dc275eb106423ecb43afc154c90eedb3299a3","observation_id":"3ec1d375-6050-4850-a17d-bd0b2c9d0df5","resolution":{"observed_at":"2026-07-07T18:34:04.827812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.837460Z","title":"Berezinskii","venue":null,"work_id":"c8a7d82e-2888-4848-8346-cef9b9612ac4","year":1972},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:b977f4dafe6f0e1f538e686a70432e279e32601d02e8a09d4e3545014c1fa836","observation_id":"2a4e7fa3-adc1-4c97-ba9a-ad2a6308e642","resolution":{"observed_at":"2026-07-07T18:34:04.838676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.817941Z","title":"Kosterlitz and David J","venue":null,"work_id":"3a159b4e-cdff-4ae7-9525-a393716b65bf","year":1973},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:052657e24cbb14ca69990b3d83b3abd3daf4c11b7a59a29a48ce776c56966171","observation_id":"4f8863ad-9065-40ac-8c43-8481aeb87496","resolution":{"observed_at":"2026-07-07T18:34:04.819107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.813915Z","title":"Cambridge University Press, 2 edi- tion, 2011","venue":null,"work_id":"8f3ee4b5-838f-49b1-bd20-38aabd5e5d5a","year":2011},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:4b7515b680dcc861a05ee7245ff735b7cbead3a0f19720de4d9c49a04ff89051","observation_id":"e6c46ac0-5481-4aee-bebc-bb07fe78b75a","resolution":{"observed_at":"2026-07-07T18:34:04.815180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.815778Z","title":"Lieb, and Hal Tasaki","venue":null,"work_id":"34a7758a-543e-4d93-a9ba-986ce45ea23d","year":1988},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:1e40becb290a7ee61f07fc29eaa56bf4dfa04b5cfc0a2491d7103583a525a4ff","observation_id":"42461435-8cad-4c0e-a152-a87bc5d8131b","resolution":{"observed_at":"2026-07-07T18:34:04.817127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.819797Z","title":"On the positivity problem for simple linear recurrence sequences,","venue":null,"work_id":"62d142bb-fd80-4eb7-900a-847d3f1df2c6","year":2014},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:0a137502a5b1cbd177b3fc103ebf8adf29acaeeb8235f2aeca4f83c12d0765f3","observation_id":"5cb62143-294b-4111-80d1-cfd09c08e054","resolution":{"observed_at":"2026-07-07T18:34:04.820955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.806826Z","title":"If the sum hits zero periodically, we need the terms of the second largest modulus to determine the sign","venue":null,"work_id":"e72f91bb-1cf6-477c-91b4-20e05fd013f3","year":null},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:5d1eec00ea23111e5e3d06681a73c3f427dc8b75a6972a676b48d42cfb7d863c","observation_id":"d909be9e-ca50-4b3d-b7b8-1a6ec3a870bf","resolution":{"observed_at":"2026-07-07T18:34:04.808383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.809287Z","title":"(There is a computable thresholdN 2, after which the sum of all terms of the second largest modulus are exponentially dominating the rest.)","venue":null,"work_id":"fc15f203-2d6d-418d-926b-fc3b0c6d6cd2","year":null},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:f8a536b749555286bcc9c5d8fa4ad40a03ab47792ea50072d05767146406f6d5","observation_id":"9d0bf1e3-e1bd-41c2-bb0a-2454504527e5","resolution":{"observed_at":"2026-07-07T18:34:04.810627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T18:34:04.811759Z","title":null,"venue":null,"work_id":"90ce9de9-197c-4044-83e9-d7be45cbbbd4","year":null},"citing_paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-30T20:56:58.616906Z"},"links":{"citing_paper":"/paper/2605.14356"},"observation_digest":"sha256:b8ce57964794b4e3acc660451d395797845ef968c3430550631eb237e01d9562","observation_id":"9e67d8c1-f6d1-44cc-b724-98712fdf5238","resolution":{"observed_at":"2026-07-07T18:34:04.813143Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.14356","last_updated":"2026-05-14T04:33:59Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-11T08:00:02.270453Z","submitted_at":"2026-05-14T04:33:59Z","title":"Model Checking Matrix Product States against Linear Chain Logic"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":5,"verified_exact":4,"verified_fuzzy":37},"total_outbound_references":47},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2605.14356."}