{"as_of":"2026-08-13T07:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:74bce1980ae4174597477613166a806a91c69a130fb462033af8b0ccbbf784c5","coverage":[{"denominator":58,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":58,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T12:27:46.848048Z","state":"measured"},{"denominator":58,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":58,"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/2411.17486/citation-record","integrity":"/paper/2411.17486/integrity","json":"/paper/2411.17486/citation-record.json","paper":"/paper/2411.17486"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s096012959800262x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.104577Z","title":"Minimality of the correctness criterion f or multiplicative proof nets","venue":null,"work_id":"ff795598-d55e-46d7-ae2a-fadd035c25f9","year":1998},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.602652Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:a0d677cda90a620bd1579f6afe007a8239978e5cff993770584f09a78d3b3741","observation_id":"5d451311-9b99-4795-ace9-6ccfb47aa9b1","resolution":{"observed_at":"2026-08-12T12:27:47.108851Z","resolver_source":"doi","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":"10.1016/j.entcs.2005.11.055","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.091936Z","title":"A concurrent model for linear logic","venue":null,"work_id":"c0ce564f-7bac-40bf-910b-24c1dcdd6ff8","year":2006},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.607515Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:09b16eb2102f9171e00657c02f29fd4197b002acd43c43452b36eb3e48ea341c","observation_id":"c8ea86a5-f572-4204-9ce0-659e7d668757","resolution":{"observed_at":"2026-08-12T12:27:47.096289Z","resolver_source":"doi","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":"10.4230/lipics.fscd.2023.28","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.078097Z","title":"Concurrent realizabil- ity on conjunctive structures","venue":null,"work_id":"0100e31d-dff7-4787-b28f-ff1a839fea4a","year":2023},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.611601Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:4516f743e8434b0e8d846e7ab952ac018f1d11fcc580a558b2a8ebc1b3e450c7","observation_id":"2621ff21-3b62-480b-a319-8cf90e9f7966","resolution":{"observed_at":"2026-08-12T12:27:47.083061Z","resolver_source":"doi","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":{"arxiv_id":"cs/0501039","last_updated":"2005-01-19T15:00:46Z","snapshot_observed_at":"2026-08-08T13:42:13.595349Z","submitted_at":"2005-01-19T15:00:46Z","title":"Introduction to linear logic and ludics, part II","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"cs/0501039","snapshot_observed_at":"2026-08-12T12:27:46.615979Z","title":"Introduction to linear logic and l udics, part II","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.615979Z"},"links":{"cited_paper":"/paper/cs/0501039","citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:5b61417a7fd13d27197dacb8ebfd912c3316990e15c98826bbae064f0bd98f40","observation_id":"bf21d176-8800-45da-9e0e-5f333d1b538c","resolution":{"observed_at":"2026-08-12T12:27:46.615979Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:46.620189Z","title":"The structure of mult iplicatives","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.620189Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:c10345e66207e9478e5259b2a2a62368e924acb721d47912bf34415052352413","observation_id":"2542858f-8d21-4e84-99db-12bd2b0d1985","resolution":{"observed_at":"2026-08-12T12:27:46.620189Z","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-12T12:27:47.809308Z","title":null,"venue":null,"work_id":"999c20a2-836e-4d0d-b56e-1ab2da849289","year":1989},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.624400Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:53f47b95a09bf5de7adce58f1e2872996638ce574753f0d8dd1dd8ca360974d2","observation_id":"199ce4db-9bd8-4d6a-b782-ff2eefb9368d","resolution":{"observed_at":"2026-08-12T12:27:47.813834Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:46.629267Z","title":"Linear logic","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.629267Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:0bd99e285f9020c46c732304deaadee499dc121d5c06a3e3a4f7360bd24b671f","observation_id":"29a400a1-f477-4f5f-b2f9-dc09c67bd599","resolution":{"observed_at":"2026-08-12T12:27:46.629267Z","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-12T12:27:47.798504Z","title":"Multiplicatives","venue":null,"work_id":"6abb5355-5868-4b3f-b29c-2a555db18f2e","year":1987},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.633810Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:b4a782855c01dc2538fd89de11f8789bca0b87b32a6bb99619b8aeee0deaaa36","observation_id":"209e7311-8777-4a5b-a1d6-f33d888196c1","resolution":{"observed_at":"2026-08-12T12:27:47.802233Z","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-12T12:27:47.785967Z","title":"Proof-nets: The parallel syntax for p roof-theory","venue":null,"work_id":"6aaee705-36a9-4521-9ef0-90e223957e28","year":1996},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.637721Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:467cb47780ef5846a194eae15224c1dacb950890b86f64b5dfe99c22e2086fe1","observation_id":"c3d64744-a217-4a4c-9bc3-f7207b389371","resolution":{"observed_at":"2026-08-12T12:27:47.790508Z","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-12T12:27:47.773589Z","title":"Locus solum: From the rules of logic t o the logic of rules","venue":null,"work_id":"a062ee40-a29e-45a7-b538-5f0bdc8baf21","year":2001},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.641559Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:bbd49619fc75557836a1017da2ced11302a19d680e0d1ce8c5cccb05621f25e9","observation_id":"f9b50bf4-cf0f-43ab-9ad7-a47024bc74a3","resolution":{"observed_at":"2026-08-12T12:27:47.777893Z","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-12T12:27:46.645670Z","title":"From abstrac tion and indiscernibility to classification and types: revisiting hermann weyl’s theory of ideal elements","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.645670Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:5f2295243910932df678755a38593a9878b7547364949d3f689749cbf6f9ff56","observation_id":"135383a6-ddf9-40da-8433-d132b8106f8e","resolution":{"observed_at":"2026-08-12T12:27:46.645670Z","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-12T12:27:47.760734Z","title":"Realizability in classical logic","venue":null,"work_id":"9a434af9-269e-46d5-89f2-2080ccd568a5","year":2005},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.650150Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:90d0963af4ff6bf8a6e478197b48b9d9a14de6fc198c52f1a7cdadd873ee6fac","observation_id":"3c128916-fd2e-4790-9337-854b188b1fb7","resolution":{"observed_at":"2026-08-12T12:27:47.764909Z","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-12T12:27:47.747489Z","title":"Handbook of Linear Logic","venue":null,"work_id":"cba22b1f-0c24-4d5a-8c7a-83eb5009469c","year":2023},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.653943Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:f69229d775596b6766014c9714e2704b9741252b342173c12a305a030919eb14","observation_id":"7c05936c-eb89-48e2-8fd5-48a5d32dc6f6","resolution":{"observed_at":"2026-08-12T12:27:47.752146Z","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":"10.1109/lics.2007.32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.038139Z","title":"Modified realizability interpretation of classical linear logic","venue":null,"work_id":"026383e5-6be4-43bf-90c3-f4c5d3147558","year":2007},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.658075Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:e4b38cf41d3f00261294c16fe359b2ed5f1b141756ff9f9ed3c8028eccec2971","observation_id":"88b57090-ec69-4c79-ab78-cdf9ef489af8","resolution":{"observed_at":"2026-08-12T12:27:47.044670Z","resolver_source":"doi","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-12T12:27:47.733858Z","title":"Interaction graphs: Multiplicatives","venue":null,"work_id":"c82c3a80-097d-43c8-8671-b660ad821d3a","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.662006Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:c2bdb23445598a4aae459a5ac3b7b502733a5186de514e40b6c7d536791c3075","observation_id":"e0cb76d4-bc88-48a9-ba9f-7873a147a4ed","resolution":{"observed_at":"2026-08-12T12:27:47.738458Z","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-12T12:27:47.719589Z","title":"Interaction graphs: Exponentials","venue":null,"work_id":"d139995c-f63d-425b-973b-c0e660c3afd2","year":2013},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.670237Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:ccabcfb91ecfc17e8a3e71bb4438d396e22f28c050199fe51097e548aedaed58","observation_id":"f2385dda-7e35-4d01-a145-01ac3c14badb","resolution":{"observed_at":"2026-08-12T12:27:47.724930Z","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":"1504.04152","last_updated":"2016-05-08T13:01:11Z","snapshot_observed_at":"2026-08-04T22:11:47.637645Z","submitted_at":"2015-04-16T09:24:52Z","title":"Interaction Graphs: Full Linear Logic","version":2},"cited_work":{"arxiv_id":"1504.04152","doi":null,"metadata_source":"pith","pith_arxiv_id":"1504.04152","snapshot_observed_at":"2026-08-12T12:27:47.120913Z","title":"Interaction Graphs: Full Linear Logic","venue":"cs.LO","work_id":"ead38fa1-3803-4082-aaa6-0015103ed546","year":2015},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.674519Z"},"links":{"cited_paper":"/paper/1504.04152","citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:412f4a90d3caf79b7b0230ba7a7462857cee707b27fc31cc97b31927c40dacef","observation_id":"f70bbaa0-45e8-4c6a-928c-56cfc80117b4","resolution":{"observed_at":"2026-08-12T12:27:47.125152Z","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":"10.1016/j.apal.2015.10.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.013753Z","title":"Interaction graphs: Additives","venue":null,"work_id":"6d2c735d-e2f7-4a9c-8323-190442ede3f8","year":2016},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.679612Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:5db28d9769487004cdc94b9a08085d7f735d90682a2f85e2859ab92530af8ede","observation_id":"2e0c3b3d-fdd6-4814-a3c1-7805fe39cfbb","resolution":{"observed_at":"2026-08-12T12:27:47.018442Z","resolver_source":"doi","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":"10.1016/j.apal.2016.10.007","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.000296Z","title":"Interaction graphs: Graphings","venue":null,"work_id":"47c022c4-e35f-43b0-b691-10391a4b7f0f","year":2017},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.684886Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:83ff21de147d3238cb5e6b97814720ca5f66b155c7d169ab85cfae257ef05c18","observation_id":"8ff2f601-af4b-47fd-a9fa-dbf82bb4136f","resolution":{"observed_at":"2026-08-12T12:27:47.005330Z","resolver_source":"doi","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-12T12:27:47.708018Z","title":"dependency","venue":null,"work_id":"f0c9d2f2-ba72-4035-ac3a-38c9e0e81edc","year":2024},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.689289Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:f34b851eaeaa54e1fd64d92a059254c1a26779e3e181eb3f2cf1106b58f6214f","observation_id":"9970a615-56c5-42df-aadf-fe7d3f004299","resolution":{"observed_at":"2026-08-12T12:27:47.712328Z","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-12T12:27:47.696441Z","title":null,"venue":null,"work_id":"d51ae78e-03c9-4caf-bcda-6f8e4cc452d5","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.693666Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:9f6cd4bd0b8dbd7a6a687a9c851e8d18d18fff85567a117e67d87c6a5facc637","observation_id":"73ccf483-0e82-42e1-aeb2-46073250af50","resolution":{"observed_at":"2026-08-12T12:27:47.700571Z","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-12T12:27:47.685037Z","title":"Proposition 123","venue":null,"work_id":"b8a6d803-ad86-4bcc-88ac-7333b636aa82","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.698888Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:1923124eb43801f55b9eb0be33fbc375b4593a4c63b93c0960cbc5782b9856e2","observation_id":"5dfae82a-f64b-4479-82c4-bf744ba37063","resolution":{"observed_at":"2026-08-12T12:27:47.688852Z","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-12T12:27:47.673262Z","title":null,"venue":null,"work_id":"57a7c15b-8d3b-4267-9c04-b6b99830e7d1","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.703324Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:1f4073abbcdb516c112055541e4473f589c427b17d3b41e63cee985333d5f1e5","observation_id":"b2b46a7f-a323-4475-8d64-23cb61d7836d","resolution":{"observed_at":"2026-08-12T12:27:47.676982Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-12T12:27:47.662132Z","title":null,"venue":null,"work_id":"7ed1db5b-8768-471e-b610-6e4a36f960fc","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.707344Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:de0a49bd5c16d89d535cc773f3577933811a70f194a3bd7d5662aa365547b42d","observation_id":"b3b01428-efff-4b69-af37-5d8cd31adc64","resolution":{"observed_at":"2026-08-12T12:27:47.665780Z","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-12T12:27:47.651115Z","title":"We conclude since S→∗ ✠ 0 (Remark 131)","venue":null,"work_id":"28ea01c6-1e07-48b7-bf2c-ea603586426a","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.711183Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:475cbbde25582850ba67d7eeb845165d97b25ff6265b9b5b436ec95b261cc0ea","observation_id":"95a12171-001a-4c7c-9e7a-d1801145d081","resolution":{"observed_at":"2026-08-12T12:27:47.654813Z","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-12T12:27:47.640064Z","title":"Similarly because (S ⊲ ⊳d1,d′ 1 T1) ⊲ ⊳d2, f (d′","venue":null,"work_id":"76118c28-7b4c-4f38-9044-89a262ae1340","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.715058Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:80dac2e1799aef275ad1d2be1739257450a3b1fd06ae236b0c71834d7cd23145","observation_id":"83969791-9bf2-4204-b16e-251c12b2b519","resolution":{"observed_at":"2026-08-12T12:27:47.643843Z","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-12T12:27:47.628613Z","title":null,"venue":null,"work_id":"48fdfb69-42a1-4a66-a7b1-2470a3106b50","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.719363Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:4acfce155a284a443012a611b57cc1ef6ab30b50f42fc59bfaa58d73c291a057","observation_id":"8beeb381-9acc-4faf-9371-bc26eed367c6","resolution":{"observed_at":"2026-08-12T12:27:47.632417Z","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-12T12:27:47.617800Z","title":null,"venue":null,"work_id":"bcdb438e-9dbc-48d5-8854-966f33adc0b5","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.724098Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:5afd57e31e51187f2349fe523ea04aaf899e7c138c3eec70a301a318a5f84dcb","observation_id":"27e1fbc5-c0f9-41ba-930e-f6f84a28e5cc","resolution":{"observed_at":"2026-08-12T12:27:47.621660Z","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-12T12:27:47.607401Z","title":"From this argument one shows that S = (S ⊲ ⊳d1,d′ 1 T′","venue":null,"work_id":"38024530-d9f1-4d23-8bce-7dbf13c4fb5f","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.728450Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:fd65c3f8f0cc495ea7cb26ed855310f1e51edac768244243e420ded550a02085","observation_id":"6b0dc134-14d6-4cbd-a492-28965e4c43e2","resolution":{"observed_at":"2026-08-12T12:27:47.610944Z","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-12T12:27:47.596644Z","title":"If T′ 1 (resp T′","venue":null,"work_id":"5bdcb8b8-7a6a-4572-80ee-e11261149850","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.732536Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:dc17fa198349949f1a1f4706017b8cd2f27211a36fd3f5d36df466613b7e1354","observation_id":"54191e7c-0525-4d9c-a480-b415dbf306ce","resolution":{"observed_at":"2026-08-12T12:27:47.600468Z","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-12T12:27:47.584685Z","title":"∑ 1≤i≤k ✠ 0) then S = (S ⊲ ⊳d1,d′ 1 ∑ 1≤i≤n ✠ 0) ⊲ ⊳d2, f (d′","venue":null,"work_id":"6aff6811-5894-4fcf-a9e6-23ee936ae508","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.736925Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:2cbcdb6ae9aaf970efc68338533387c80976062d0a0227cdf6d6150d2c2da884","observation_id":"18151368-85b6-4c38-8707-6577f6de25d2","resolution":{"observed_at":"2026-08-12T12:27:47.588549Z","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-12T12:27:47.573594Z","title":null,"venue":null,"work_id":"fe534d86-9617-4260-ae2e-fc2548c9f03d","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.740558Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:a77436342d88f56a38cecb4ea0b2028edbc5fe2c55da7ebc7b21320fc5ea6f68","observation_id":"5dd801d6-e967-405b-b92a-d0a5f5e126fe","resolution":{"observed_at":"2026-08-12T12:27:47.577634Z","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-12T12:27:47.562037Z","title":"From Equation 2 this means that necessarily n− 1 = 0 and k− 1 = 0 i.e","venue":null,"work_id":"5fc2e542-4ec8-464f-9d39-e6a40ee92b11","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.744474Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:fb97ab4c4b48780356bcd1e22ce0649aac3f72e38a7b06a73c947602b2282295","observation_id":"ac71a1bf-edae-4a10-a0ef-550275ff5c60","resolution":{"observed_at":"2026-08-12T12:27:47.566219Z","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-12T12:27:47.550731Z","title":null,"venue":null,"work_id":"ee7ea45b-a46b-4b9f-aa28-b8c985c239bc","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.748581Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:016bcd1e47cb3d1bfbe5d7aaf93e30cb3a44cf146bc09fa170f5a2556750b4cd","observation_id":"840332a5-d5dc-4dae-9592-7b3f4da3e3d0","resolution":{"observed_at":"2026-08-12T12:27:47.554324Z","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-12T12:27:47.539415Z","title":"the head","venue":null,"work_id":"2c26773f-e7c6-458e-9127-44d9dc80eb48","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.753021Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:f866c21c71bc4476a9e90b92937924f980e83cd322eb88f9f004763cfa160ebc","observation_id":"e1d9b688-8ef5-473e-a2e6-65c0ef55520a","resolution":{"observed_at":"2026-08-12T12:27:47.543485Z","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-12T12:27:47.524982Z","title":null,"venue":null,"work_id":"90743fa5-bf15-494e-8e0f-b328876a9c2c","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.757128Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:a0c7ce2a5ca9d0a0340d8d52246c8e9ecc6f168d30c6fbd3a0220de52718a295","observation_id":"d1b14086-537c-4eb0-ac93-3f0233c9785a","resolution":{"observed_at":"2026-08-12T12:27:47.529909Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-12T12:27:47.513460Z","title":"We treat each point independently","venue":null,"work_id":"58283c0c-247c-473f-90a6-a47154923d9f","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.760691Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:ca73d1fd3ac63510165869346cd8380edd0a1cbce35990665072875491f5941b","observation_id":"afd17e14-f137-4184-a52e-0daf3416825b","resolution":{"observed_at":"2026-08-12T12:27:47.517455Z","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-12T12:27:47.502082Z","title":"Because we have the inclusion A0⊆ A and B0⊆ B it follow then that x = a0‖ b0 belongs to A‖− B and thus to A‖ B","venue":null,"work_id":"5535fff5-ea7d-455d-9aba-09eaba95b750","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.764409Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:1191daf4d292063a99428972308d602c9217daeaa9c5a9b6f960b04f7b57c8e9","observation_id":"06fe69c9-cbf8-4762-9a4f-01831831e9fd","resolution":{"observed_at":"2026-08-12T12:27:47.506102Z","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-12T12:27:47.490747Z","title":"Using the previous demonstrated fact it follows that A⊥ 0‖ B⊥ 0 contains A⊥‖ B⊥","venue":null,"work_id":"b2bbec36-964f-4e68-8f14-776e84b3ee8b","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.768854Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:bc9b43224df7647e13747fc21cdf011fa82fba33f78ad23641e6978f64f3a29e","observation_id":"78718670-5aaf-43f2-84c0-9392797fc60a","resolution":{"observed_at":"2026-08-12T12:27:47.494574Z","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-12T12:27:47.478426Z","title":null,"venue":null,"work_id":"7f9e8a2f-910d-4388-9561-e98d0df88c74","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.772643Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:1b34587c592d23861b609f2228a1602e56e614ecd6fa7014b89a98a395e3928e","observation_id":"b8fecac5-d9d8-404e-a57e-ee3b9ab50a55","resolution":{"observed_at":"2026-08-12T12:27:47.482166Z","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-12T12:27:47.467549Z","title":"35 Proposition 136 (Remark 59)","venue":null,"work_id":"05e58d4f-1391-411b-85e4-e7d4f05d8102","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.777276Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:891669171f6b6c5414d809400fa4fe9749284bc54f7166e89c9a099fcacb4575","observation_id":"b88b3cea-4cd0-4bba-a7aa-1844c087e6d0","resolution":{"observed_at":"2026-08-12T12:27:47.471344Z","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-12T12:27:47.443963Z","title":null,"venue":null,"work_id":"3812a397-8d11-44c7-8149-449c8b991438","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.789714Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:6dd506c0aa06a05bdbdd34933c665cbbe799f5102ebe83599960b8bfd79b3114","observation_id":"8456f52a-24fb-452f-9893-a8a3792b17e9","resolution":{"observed_at":"2026-08-12T12:27:47.447571Z","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-12T12:27:47.430572Z","title":null,"venue":null,"work_id":"a1588a35-a40b-4c64-96c4-0a5b87b73c0d","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.793471Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:a591bbb0617551b904ec60b0c29cf5a8aac52e54fb5dd1ed8fe84c6a8a19d4cb","observation_id":"1ab3e274-ad18-4fbb-b9ff-3df12dd6d148","resolution":{"observed_at":"2026-08-12T12:27:47.435902Z","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-12T12:27:47.417720Z","title":null,"venue":null,"work_id":"fed117e1-e29d-472e-88d4-940bd6166055","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.797941Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:cec647ee7ccec04518ee2edd39750cc2f861f653fe4390443e953fa33b642161","observation_id":"595b09a6-f050-435f-8caf-ee2582cdd7d1","resolution":{"observed_at":"2026-08-12T12:27:47.422378Z","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-12T12:27:47.406063Z","title":null,"venue":null,"work_id":"fffe2e92-2c86-4a1e-b06e-a10da28359d0","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.802302Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:75bb6d4efa908d0afbfabfa74b117b2534bd4f99f6890d0709abde75204e3c44","observation_id":"97c14f9d-6306-432c-8e5d-0ea22f197a3c","resolution":{"observed_at":"2026-08-12T12:27:47.409840Z","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-12T12:27:47.394752Z","title":null,"venue":null,"work_id":"fcbdf432-e014-4dbc-aa29-fbad33fc9eb9","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.805961Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:5b21909f4218a4510f3581c3e61be114706d9294d008c69f533fc6e59146bee7","observation_id":"aa4d045d-fce4-4eab-8161-fcb898b9142c","resolution":{"observed_at":"2026-08-12T12:27:47.398509Z","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-12T12:27:47.379579Z","title":null,"venue":null,"work_id":"f93a8fd0-2513-4065-8243-0c88287ac1f5","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.810116Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:09e8d2d92580dc5f80e7b440c4b9be1843c72cabe6eb0dc99c9744eaf0ec68b3","observation_id":"b0190166-2683-4d4e-bb30-31d45404d96d","resolution":{"observed_at":"2026-08-12T12:27:47.385001Z","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-12T12:27:47.365882Z","title":",pn ⊲` n p⟩⊥ S1 +··· + Sn +⟨S1(1)","venue":null,"work_id":"14ec267f-dfee-46b0-a03f-45dce7a901e6","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.813721Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:0f0518205417d5c458c727aee5ed486bc7f1297e9aef39a063f9b23742414a5f","observation_id":"d9d56e7a-7cde-4941-8fcc-6419b3be6cf5","resolution":{"observed_at":"2026-08-12T12:27:47.371170Z","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-12T12:27:47.353412Z","title":null,"venue":null,"work_id":"15f15620-a5ec-4dae-b03a-f383dd97fbf2","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.819192Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:ca2e373a4b3ff7e2dbb67194c3d9fb5fc256884b298ea28ecfb0ee6196d154f3","observation_id":"7b3e3c2c-c76e-4c15-9cfe-04dd28669475","resolution":{"observed_at":"2026-08-12T12:27:47.357077Z","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-12T12:27:47.339367Z","title":"soundness","venue":null,"work_id":"05408fda-050e-4111-9b34-a0365f4fb03f","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.823585Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:ac66b04d04bc7cf198f983ced15ffced654ac84279cabeba77b67ecb08615612","observation_id":"c2022f72-d759-4cd2-846c-fa88a7273893","resolution":{"observed_at":"2026-08-12T12:27:47.343662Z","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-12T12:27:47.323824Z","title":null,"venue":null,"work_id":"61663239-5be9-40d5-8b4a-88e29ae423fb","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.827705Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:4a3e0d00e39240fc1db545dd0fb3acaa748375ca0e9e227c6a4ae382813c1050","observation_id":"36e4c457-f1c6-42cb-8a72-e2e872818abe","resolution":{"observed_at":"2026-08-12T12:27:47.328777Z","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-12T12:27:47.309002Z","title":null,"venue":null,"work_id":"e79711c4-0824-4782-a861-bd4d509bc62c","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.831517Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:9d8e442fa2e436c1df2ad86da3118023dd02805a2ddda9ca67f30f5c9e2b0c59","observation_id":"7cb8d504-020b-4b1f-a5c2-958ef73faf9a","resolution":{"observed_at":"2026-08-12T12:27:47.313871Z","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-12T12:27:47.296653Z","title":null,"venue":null,"work_id":"b9d793ae-9617-4927-ac26-378ba14988b8","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.835821Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:70d16559f9790aaee9ca663bc162d152cdf0352f210afa7bb54152c1dcddec65","observation_id":"d8c480d9-6661-4f1a-b842-84af8cac22d0","resolution":{"observed_at":"2026-08-12T12:27:47.300871Z","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-12T12:27:47.284301Z","title":null,"venue":null,"work_id":"847685b1-d7bc-469f-ae6f-9fa54a373e95","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.840417Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:3dc1e17244e1c29169b9c61218d4bf94a517c5dd3ae59112a8fc79d06a8512b4","observation_id":"224b02e3-3aef-46b5-a5db-38d4f7713af9","resolution":{"observed_at":"2026-08-12T12:27:47.288233Z","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-12T12:27:47.272301Z","title":"S|≃ at ∆ for some sequent ∆ ≤ Γ","venue":null,"work_id":"4471b037-c728-4636-ae23-a019fd59102e","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.844272Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:7947eaffd92d5f5abf31b7a2c51b8d44e8a15094d988abc2b2315ef2319c49cd","observation_id":"1a8b2102-ffd1-4e27-9bcb-701ae19a47fd","resolution":{"observed_at":"2026-08-12T12:27:47.276117Z","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-12T12:27:47.260390Z","title":"adequate","venue":null,"work_id":"e2ba69a8-f5c3-467c-8092-46efae8fe5ea","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.848048Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:3596ac90778f095b06680dd766d95af7317311f07bac99aeb49ce4ff48237777","observation_id":"b0863f91-64b9-4878-b2b2-4958304233b9","resolution":{"observed_at":"2026-08-12T12:27:47.264454Z","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-12T12:27:47.454865Z","title":null,"venue":null,"work_id":"119557eb-6d91-46c0-ab76-9cf83d80ce2f","year":null},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.782537Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:aee04cfcaa57d8f8b28843100410623c8e7aff1428af8e6287b57ec52293676b","observation_id":"0471d57f-58d2-4e19-89d7-709d30ffa0bc","resolution":{"observed_at":"2026-08-12T12:27:47.459683Z","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":"10.1016/j.apal.2012.04.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:27:47.026214Z","title":null,"venue":null,"work_id":"98f0b92f-f591-407b-8644-f8977a059c8b","year":2012},"citing_paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-12T12:27:46.665915Z"},"links":{"citing_paper":"/paper/2411.17486"},"observation_digest":"sha256:e2ce799195003dddff495dfc2f711ff148cfbaa5320345d49378cc875d59a266","observation_id":"60682320-feda-4d26-a0af-b5c17bf884a0","resolution":{"observed_at":"2026-08-12T12:27:47.029752Z","resolver_source":"doi","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"}}],"paper":{"arxiv_id":"2411.17486","last_updated":"2024-11-26T14:52:32Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T07:34:46.335711Z","submitted_at":"2024-11-26T14:52:32Z","title":"Linear Realisability over nets: multiplicatives (long version)"},"reference_resolution":{"displayed":58,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":2,"unresolved":24,"verified_exact":8,"verified_fuzzy":24},"total_outbound_references":58},"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 58 of 58 outbound references and 0 inbound Pith citation observations for arXiv:2411.17486."}