{"as_of":"2026-08-21T15:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05fa3c7e12afcf067cfdaf9a11a88b2cf87e5d61cacf7fa47e8e0404b0c341c7","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:14:30.188682Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/1908.11769/citation-record","integrity":"/paper/1908.11769/integrity","json":"/paper/1908.11769/citation-record.json","paper":"/paper/1908.11769"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:14:30.215814Z","title":"In Communi- cating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers , A","venue":null,"work_id":"a45b72d0-ce0a-403d-bf40-491fb9cedd47","year":2004},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.188682Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:6a5136cdb8c061ba13b01b718c9fce5d81dbda6e86800969f307f2b56248c91c","observation_id":"5f807768-1a86-4d39-87f7-7af3982c244e","resolution":{"observed_at":"2026-08-14T10:14:30.222194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.230131Z","title":"Verdejo, A","venue":null,"work_id":"24fac503-da08-49a2-8969-085c57c35591","year":2012},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":204,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.184697Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:42945b68a5c6ef6fe34d7216ac9b351138ef72328b145814e45ced59a61db81a","observation_id":"f7127917-86b9-40f8-a537-f3c450ef1e60","resolution":{"observed_at":"2026-08-14T10:14:30.234943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.355978Z","title":"Kindler, E","venue":null,"work_id":"11c23ecf-669f-471d-ae9c-82acb659a6e4","year":1998},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":1241,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.146622Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:54e650c0d9f06516f558c3f0a70342de1207c1d12a132904d22c701621690345","observation_id":"726a2dcf-08df-445b-9296-d68e4aed603e","resolution":{"observed_at":"2026-08-14T10:14:30.359937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.281666Z","title":"In Ad- vances in Petri nets: APN 1987 , G","venue":null,"work_id":"2ca6047f-b13b-42a7-bf06-f34f09db8aed","year":1987},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.169599Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:a7f0cce76adb8268c4342a1304c4e2c4e1ced47f6f6d629ace1df78aaa96d494","observation_id":"d480f3fe-135e-4697-9507-0641857a4417","resolution":{"observed_at":"2026-08-14T10:14:30.285793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.268141Z","title":"In Re- cent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, Tarquinia, Italy, June 1997, Selected Papers","venue":null,"work_id":"9d5869ee-2032-4bbe-a9df-11bb4d427e47","year":1997},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.173211Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:a5d04b55d62857ed863731f1a8cf88d9e8ed44d8ad1deb959bf55f36b08e4679","observation_id":"59ee80d8-69af-40fd-a8cf-2a9dd85d31c9","resolution":{"observed_at":"2026-08-14T10:14:30.273427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.426803Z","title":"In CONCUR 2000—Concurrency Theory: 11th International Conference , C","venue":null,"work_id":"94ac1472-3121-4889-b983-bfbd572d30f5","year":2000},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.121645Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:7ef921c496cec7712965149286f22e5a7d93d65afdc1fd1593f83bafd7977836","observation_id":"74448993-576f-437a-8245-8e3cf1dca8b3","resolution":{"observed_at":"2026-08-14T10:14:30.431138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.367380Z","title":"In Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001, D","venue":null,"work_id":"aad77bf9-9862-41dc-a2fe-0030cdac26ce","year":2001},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.143259Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:810e58a131ea6d2f3d69f9266d7bd685a785c852a69711aa2dba329d0376dfbd","observation_id":"aa47e30a-8ebd-4753-8094-5f9a8613636e","resolution":{"observed_at":"2026-08-14T10:14:30.371458Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.342013Z","title":"In Proceedings of the Fifth International Workshop on Rewriting Logic and Its Appli- cations (WRLA 2004), N","venue":null,"work_id":"7b520f08-1a81-47c7-bb95-5d02059b5ae2","year":2004},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.150063Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:c6dbcbbf03a346c267963a1d5ce4100c946fbbfbb1b323e5c9714252c962794d","observation_id":"de3ca548-cadd-44a7-a7c0-5708278157f6","resolution":{"observed_at":"2026-08-14T10:14:30.347105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.415619Z","title":"In FM 2005: Formal Methods , J","venue":null,"work_id":"ad73f062-6473-4874-9790-810e485d04d6","year":2005},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.126204Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:f65af65850dfa392c4de0c4127e4fee1a2a99cb83e5f9cd968079a6a2cb24959","observation_id":"0691e4ec-5505-4950-a9cd-974388cacf40","resolution":{"observed_at":"2026-08-14T10:14:30.419795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.403106Z","title":"In Proceedings of the 6th International Workshop on Strategies in Automated Deduction (STRATEGIES 2006), M","venue":null,"work_id":"77830afa-f13d-448a-ba88-401d0253c9df","year":2006},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.129898Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:f6a0ffb9553ecb5144156dde9f5fdd2186eaad4ebf6e7e065f9ea98829d5ecbc","observation_id":"487d3aa7-9333-4c7f-b989-d20c63cef286","resolution":{"observed_at":"2026-08-14T10:14:30.407400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.438199Z","title":"In Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08","venue":null,"work_id":"8cfe9558-23d0-4c5c-b076-9f99db29bf8e","year":2008},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.117088Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:839a22de164345dd228963105f5e4b0ddb8d4e5c5589bedbfeacbefce8832e65","observation_id":"99fed922-e150-45a6-a361-74614c357804","resolution":{"observed_at":"2026-08-14T10:14:30.443029Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.328087Z","title":"In Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008), G","venue":null,"work_id":"2330e04e-4b0a-4130-bd83-992711ad142c","year":2008},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.154413Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:462f6cfa3dc68f4054f95657058f12290f7a60eac568e2b25e290232bcb55fd3","observation_id":"46bf0aaa-159d-433f-a05b-e6361d69c097","resolution":{"observed_at":"2026-08-14T10:14:30.332769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.450446Z","title":null,"venue":null,"work_id":"ef086529-dc0b-4af5-a330-7e0184a52998","year":2010},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.112303Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:9b6c72417bdf1eb9793fb94fb1aeebdebd620301726f8da319809f33540abdf3","observation_id":"17955bcd-0b16-4d4a-a239-d30d48c0c348","resolution":{"observed_at":"2026-08-14T10:14:30.454039Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.255029Z","title":"Proceedings - 2012 19th International Symposium on Temporal Representation and Reasoning, TIME 2012 , 13–20","venue":null,"work_id":"db1be970-3097-4a81-b022-c3c0016a0288","year":2012},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.177329Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:65ca1bc290245ee5d05a45ca9891631128b2d0702b56ccb86a1560715dc47a28","observation_id":"b59a012d-9646-44e0-b61f-f2797b395745","resolution":{"observed_at":"2026-08-14T10:14:30.259423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.378277Z","title":"In From Programs to Systems","venue":null,"work_id":"8fb1e271-cd77-4b9d-834b-dbdb2065315b","year":2014},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.139085Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:a2cb45b6f47e10f5c8ed35c7aafec50281d34700f867e6f827a6fc4f5599b69d","observation_id":"327d3048-c167-4830-b578-747b4b724791","resolution":{"observed_at":"2026-08-14T10:14:30.383038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.242576Z","title":"In Developements in Computational Models: DCM 2015 Proc","venue":null,"work_id":"c68dca06-e404-4309-a835-82a75f1c705b","year":2015},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.181285Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:c86087af64323cbcfa1b975429cab02731015bd02161990f27f98301f71ea8bb","observation_id":"815df6c8-b66e-4dbd-b37a-3eac6da68d6f","resolution":{"observed_at":"2026-08-14T10:14:30.246584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.391077Z","title":"In 7th Conference on Algebra and Coalgebra in Com- puter Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia , F","venue":null,"work_id":"c2ccf3d6-616c-410f-ab8b-be1227c93bb5","year":2017},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.134663Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:b4193e5856beefbf1a8f4af7ce98149ab8471a85d09137448831cd0c34814bdd","observation_id":"ff2f41f1-deeb-4176-8d81-67f9d1f56648","resolution":{"observed_at":"2026-08-14T10:14:30.395310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.315404Z","title":"Mart´ın, ´O., Verdejo, A","venue":null,"work_id":"07849c7a-aceb-403c-9717-3c286af63dee","year":2016},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":8373,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.157794Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:8af01d0ac7ed3f76b87b7b37185ab3ee21453e19339e88d51e38435e49601be3","observation_id":"f59a4a76-9aa1-4ef0-87db-d094953021d4","resolution":{"observed_at":"2026-08-14T10:14:30.319766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.293803Z","title":"Mart´ın,´O., Verdejo, A., and Mart´ı-Oliet, N.2018","venue":null,"work_id":"90f40a7e-2306-436f-8d12-aab7ff0dcbe6","year":2018},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":9938,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.166138Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:e6fe30614088a1bcbcf0c71c87d5df60f19467690bdfed0f6c86161920f2ab02","observation_id":"d0180ebd-8c45-41fe-a863-22e5de70ae34","resolution":{"observed_at":"2026-08-14T10:14:30.297600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-14T10:14:30.304322Z","title":"Mart´ın, ´O., Verdejo, A","venue":null,"work_id":"1e54ea14-8fe7-427f-badf-75ebe2f642b7","year":2016},"citing_paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic","version":3},"reference_index":9942,"source":"pdf_text","source_observed_at":"2026-08-14T10:14:30.161455Z"},"links":{"citing_paper":"/paper/1908.11769"},"observation_digest":"sha256:86ccbd539d9b6f36ab4707b71fa7929f48b5ca5ca9295d7a1b166c12537ed387","observation_id":"d1949700-18f4-44e9-abaf-36327401a6fa","resolution":{"observed_at":"2026-08-14T10:14:30.308662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.11769","last_updated":"2020-01-30T12:17:57Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-19T10:58:47.772789Z","submitted_at":"2019-08-30T14:49:36Z","title":"Compositional specification in rewriting logic"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":20},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:1908.11769."}