{"as_of":"2026-08-16T16:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2cbe3258b534856c8f689b18bf8292792426590574a5b732802cdc5cc53507c5","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:55:15.489127Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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.06550/citation-record","integrity":"/paper/1908.06550/integrity","json":"/paper/1908.06550/citation-record.json","paper":"/paper/1908.06550"},"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-14T12:55:15.904788Z","title":"B AETEN , J.A","venue":null,"work_id":"5bc6a7ce-c472-40e6-ba32-df59bc9cebb5","year":1986},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.353221Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:f8144a952f467a7be584d4b9c9155d034883c603df3087052bca7ddbcef0037a","observation_id":"e97f7e66-d94b-42e5-ae69-9e71727617b2","resolution":{"observed_at":"2026-08-14T12:55:15.907893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.894848Z","title":"B AETEN , B","venue":null,"work_id":"5e01b1db-fd96-4586-9538-3833425cdd34","year":2017},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.358866Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:1947c656eb3c56f03474f6c2642a76b1883460c5ea9df45045744e7d4c5aecb9","observation_id":"443f0163-58c0-4b4e-9d78-e5e3b245b54e","resolution":{"observed_at":"2026-08-14T12:55:15.898638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.885485Z","title":"B ASTEN (1996): Branching bisimulation is an equivalence indeed! Information Processing Letters 58(3), pp","venue":null,"work_id":"e0910e2a-2d1a-4a5f-aa03-340bebff2f65","year":1996},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.363113Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:496c2a3d0043f660c4e5b7e0e8e4215f353154efde96009ea0c4d314437e7ca2","observation_id":"169ef7fa-8dab-4d99-962d-0cb654f99a44","resolution":{"observed_at":"2026-08-14T12:55:15.888956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.876319Z","title":"B LOOM (1994): When is partial trace equivalence adequate? Formal Aspects of Computing 6, pp","venue":null,"work_id":"bdcfb9e3-5d71-4dac-84de-9ceade8cd797","year":1994},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.366666Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:6d372fea8a77e7b131b2dbfc2fe22d88af7c8d89eeca9ab7ee4e00e13db3b761","observation_id":"e78e374c-2b51-484a-941d-47a59ef9474d","resolution":{"observed_at":"2026-08-14T12:55:15.879530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.865622Z","title":"B LOOM (1995): Structural operational semantics for weak bisimulations","venue":null,"work_id":"8d5eb151-59b5-4b80-a9d1-0c0f7a86b175","year":1995},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.371161Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:f1beecbf85bdf392b3a617c583846d0499d3d14ba95374659a20a907ae8c0c70","observation_id":"d1a70104-3bc2-466d-af78-54e2c4e61e49","resolution":{"observed_at":"2026-08-14T12:55:15.869669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.855149Z","title":"B LOOM , W.J","venue":null,"work_id":"3251bed6-f0d5-47bc-be57-5af408450dba","year":2004},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.375134Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:efbdeb84114305a372569f2471ff4422b544eabce2464b6cf3c6fcf317bb67e4","observation_id":"fcdb42e5-6f14-4f39-bb33-24358e2649ad","resolution":{"observed_at":"2026-08-14T12:55:15.858801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.844727Z","title":"B LOOM , S","venue":null,"work_id":"9ad7ac4c-b92a-481e-acb1-95dbfa80f31a","year":1995},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.379655Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:baa17d6173958671a023a9158d48b996bb4664d48da1abcf023e4090c25a6e4f","observation_id":"493703a5-0086-4d7a-8cff-baff7b2b3fae","resolution":{"observed_at":"2026-08-14T12:55:15.848713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.834831Z","title":"B OL & J.F","venue":null,"work_id":"4cd4aa04-9c36-4808-a2df-eb2265db58b9","year":1996},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.383810Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:e87a523cb7b79cf9ec852c756b8fc4f2f974ccabb9739d18f5f34fdd47bff06d","observation_id":"7cc496a1-0405-4051-8455-783cb2c42b6e","resolution":{"observed_at":"2026-08-14T12:55:15.838123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.823457Z","title":"F OKKINK (2000): Rooted branching bisimulation as a congruence","venue":null,"work_id":"dfbfc085-a729-40c8-af8a-ff227fc00b86","year":2000},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.386934Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:3d4f9c937db1398c697b878ef31c5b2ff069a8dad2ed52fd1dd6127bd66176df","observation_id":"cf8daa90-9d90-459c-85d8-f7d32310912b","resolution":{"observed_at":"2026-08-14T12:55:15.827083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.812492Z","title":"F OKKINK & R.J","venue":null,"work_id":"a264dfec-64dd-4b66-81f9-b2e2925691d6","year":1996},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.390228Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:38e377814e7d4a2da12a0f49e6826ea65826d2653cdb07b5cdca47ab72b4453c","observation_id":"bf3a73c6-9734-4c90-b340-ab1e54165860","resolution":{"observed_at":"2026-08-14T12:55:15.816587Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.800658Z","title":"F OKKINK & R.J","venue":null,"work_id":"9e61b564-7c06-4b35-b577-5d7ccc0f2086","year":2016},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.393797Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:2997e6783eff5d3972e5683650b305fb239cbe757ed005fa39b51e0972c503fa","observation_id":"9a0038fa-a8a3-4eec-87eb-fab0e692990f","resolution":{"observed_at":"2026-08-14T12:55:15.804424Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.790674Z","title":"F OKKINK & R.J","venue":null,"work_id":"b6d736a2-f0a3-4507-b347-e5f2dc10e589","year":2017},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.396789Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:99f1594ca40fa863936a07104e0bb375f26d752146d15b4f746b71ea827c0f36","observation_id":"8e01c79f-0b1c-41ba-a26e-22e2a7f07646","resolution":{"observed_at":"2026-08-14T12:55:15.793825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.778572Z","title":"F OKKINK , R.J","venue":null,"work_id":"a6d07391-29ea-44fb-8fcd-5a65c2f7ce7d","year":2017},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.400790Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:4d6adf8c6158fd75e37fadc587b00cb3e2637abf6942e332ede60c09186fe6e7","observation_id":"0ce7be23-71b2-4b83-bf92-98b395160fa3","resolution":{"observed_at":"2026-08-14T12:55:15.783257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.768707Z","title":"F OKKINK , R.J","venue":null,"work_id":"abe5c8f2-3a5e-40dc-9fcd-0d819c8cefec","year":2006},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.403882Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:93eff72c236a6eee0587329ada70d9c7f4bc43aa1f0354799ffac380eb001ff1","observation_id":"2a1c3609-5491-427d-baae-dccea015dda8","resolution":{"observed_at":"2026-08-14T12:55:15.771941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.759277Z","title":"F OKKINK , R.J","venue":null,"work_id":"861b3d04-a949-4803-b20a-b92631fa656a","year":2012},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.406915Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:d7f4a49481979e27a713405c7277376e3dbba074c496c261074ea8ecefc38add","observation_id":"d5be81f2-61e2-4bd6-84ec-4ef44d3a52a9","resolution":{"observed_at":"2026-08-14T12:55:15.762813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.749210Z","title":"VAN GLABBEEK (1993): The linear time-branching time spectrum II: The semantics of sequential systems with silent moves","venue":null,"work_id":"fa26b595-db8b-4f2b-912f-f4675d49d7e8","year":1993},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.410979Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:a20a7e83e3fc323da34372e2acde248a0d1372738a751377ff97bd973596295a","observation_id":"bdefdf32-8b1f-4126-b18a-b368a65ea2d1","resolution":{"observed_at":"2026-08-14T12:55:15.753102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.739053Z","title":"VAN GLABBEEK (2004): The meaning of negative premises in transition system specifications II","venue":null,"work_id":"59a61950-e3ed-4c0b-9d9b-e4e71bc7a76c","year":2004},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.414556Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:727c8de39d0c2a6e7b0d2409cf9323e2bde7b667bc9736fc1fc01cf5f90e6a30","observation_id":"08d8b416-cf7a-43ab-9b7d-6cff7930ff5a","resolution":{"observed_at":"2026-08-14T12:55:15.742613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.729693Z","title":"VAN GLABBEEK , B","venue":null,"work_id":"cce6990a-6222-42ea-b6e4-07ad5e4b9629","year":2009},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.418722Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:77204f9b23fd847b51ed8d66c2642ebc908d51e6e036c2ce2bbb378edb23332b","observation_id":"97c4b0af-d6cb-4dfa-a589-b412b22c2d30","resolution":{"observed_at":"2026-08-14T12:55:15.732832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.719807Z","title":"VAN GLABBEEK , B","venue":null,"work_id":"7413beb1-26db-4144-8884-68ba93045a72","year":2009},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.422626Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:8d6116ac453771a5631764fcf14382154471dc6ddae8a7967a7457dbc7e4ddb9","observation_id":"44839238-ec2a-4224-a5f2-4d93ad4a5a78","resolution":{"observed_at":"2026-08-14T12:55:15.723399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.707572Z","title":"VAN GLABBEEK & W.P","venue":null,"work_id":"0f03029e-e6d5-4341-8302-5e0963302088","year":1996},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.425677Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:04b13237efcf9f5299ad21218a4cd77caebcf719e0400b9fd742233a80a14e2b","observation_id":"e4faa9cf-c441-46cb-9396-6c8a7c8c9a32","resolution":{"observed_at":"2026-08-14T12:55:15.712161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.697483Z","title":"G ROOTE (1993): Transition system specifications with negative premises.Theoretical Computer Science 118(2), pp","venue":null,"work_id":"e5019390-007c-4717-81e8-6c30c913ab6c","year":1993},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.429472Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:abc2b0afdfbd09eb4aba331b83a43bda3f563ab10995284020f9c20d654496fb","observation_id":"804d4d37-deb8-4628-8c96-3869240f0857","resolution":{"observed_at":"2026-08-14T12:55:15.701232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.688337Z","title":"G ROOTE & F.W","venue":null,"work_id":"7d230046-7442-4aa5-acfc-fc2b336499dc","year":1992},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.432639Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:ca0bbd8b47f9dae5b31ae3d053e6515697f5634a2af0ea6062528b9a1bb37a28","observation_id":"fef45741-26b7-4619-b660-3601c17a64f9","resolution":{"observed_at":"2026-08-14T12:55:15.691677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.677835Z","title":"H ENNESSY & R","venue":null,"work_id":"a8fefd87-7f0d-4c07-8f51-80202821854f","year":1985},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.435646Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:6b19012230d04a77759afa3dbf4dedc0f95931b46cb0f29e59dd904dc11e8dac","observation_id":"e3e3e0cd-379c-4fe7-bbea-8b4f9ce8c75d","resolution":{"observed_at":"2026-08-14T12:55:15.681719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.666172Z","title":"L ANGERAK (1989): A testing theory for LOTOS using deadlock detection","venue":null,"work_id":"a8103f2a-f9b8-4c38-ac27-39abe756c116","year":1989},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.438781Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:f8d548260a3dae8e7fecdf1fcdfbda8e44dca1d2c4c0bc3fc70f0403f76d7734","observation_id":"68eae7d6-f7b4-4e09-b5d8-9a543aa6f5aa","resolution":{"observed_at":"2026-08-14T12:55:15.670766Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.655177Z","title":"M ILNER (1989): Communication and Concurrency","venue":null,"work_id":"5aa98efa-85eb-4d57-bc98-78535cbb8bf5","year":1989},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.442100Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:00b0ac63b6920edff20bb3154bb6b518c2521f46a779e0bab0b987c408f2f6d5","observation_id":"1570a28e-d918-4d4f-a3a1-6bb439c4e8f9","resolution":{"observed_at":"2026-08-14T12:55:15.658882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.645547Z","title":"M OUSAVI , I","venue":null,"work_id":"24f5e3bc-406e-4409-a817-e9ccde82fdf9","year":2009},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.445449Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:13cc221b3387ae235e71b5519deff3187fbfcdde2739cdd8b238439719242bc0","observation_id":"98520adc-fb68-4d97-a8cb-777a5556ae4b","resolution":{"observed_at":"2026-08-14T12:55:15.649281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.635497Z","title":"P HILLIPS (1987): Refusal testing","venue":null,"work_id":"13c4cd4e-c4cf-4c17-b5bf-be40b8f35443","year":1987},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.449712Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:36ec0cc1070723b333d11992c31f46e0071fbd50ab5b4f9b06435a807a5f22c0","observation_id":"e8eb90f2-9a1c-4b43-91d6-9b025407d447","resolution":{"observed_at":"2026-08-14T12:55:15.638882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.624755Z","title":"P LOTKIN (2004): A structural approach to operational semantics","venue":null,"work_id":"2c450ba3-3b82-4cf3-81dc-8541c2df835b","year":2004},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.453282Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:60d2a2d5fdfa9341ad19114188e8445ca9de6d944e89eb4bc2f72b357f979865","observation_id":"7a96791b-0d98-474d-8722-cd3e0e78eeb9","resolution":{"observed_at":"2026-08-14T12:55:15.628537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.612997Z","title":"P OMELLO (1986): Some equivalence notions for concurrent systems – An overview","venue":null,"work_id":"a2bd3254-f252-4215-a778-2a33b8150239","year":1986},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.456362Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:1debfc7fda2ab8fdf3c4ea6a5667601a1e7cc4f07d8f6642cd59cac3bdd3b8ff","observation_id":"ae6aeaf7-5834-4c41-82e8-b4141e5cc6a1","resolution":{"observed_at":"2026-08-14T12:55:15.616305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.601782Z","title":"U LIDOWSKI (1992): Equivalences on observable processes","venue":null,"work_id":"d58a717d-9922-4e1f-9842-ac0a6a9e179e","year":1992},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.460347Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:44dc0e9de3639008cd55fe102914602931844df6ab2cd60114fdc3fff50233d7","observation_id":"b1d89b26-961c-43c4-96c8-f74604ec76d6","resolution":{"observed_at":"2026-08-14T12:55:15.605292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.591278Z","title":"U LIDOWSKI & I","venue":null,"work_id":"1b4da3c5-bef3-41c5-8084-4f14f5d7b453","year":2002},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.464148Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:eae567008b5d98f603013d9658cc4f145323a14e3a01bea3aa9648a90f69ec68","observation_id":"f2acaf94-efb1-4481-8d60-15cad11c9acf","resolution":{"observed_at":"2026-08-14T12:55:15.594524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.580877Z","title":"U LIDOWSKI & S","venue":null,"work_id":"fee27a4e-fd47-48cc-a92b-4f19595393e2","year":2000},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.467289Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:44ea5f457773518186e336e5735de73b280bb54f4272129d39cd52ff23fb11c8","observation_id":"c9d7225b-06ac-4133-85ca-c429dd6f31ed","resolution":{"observed_at":"2026-08-14T12:55:15.584635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.567775Z","title":"V AANDRAGER (1990): Algebraic Techniques for Concurrency and their Application","venue":null,"work_id":"8c009f0b-f487-4b1b-86d6-9766704c3a02","year":1990},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.471367Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:385fd256c907cd13b3e4c23f553a2b523e20ac5fc3d1cc0a246b96efad215d2b","observation_id":"30777a14-66d0-41d5-9877-0c4ec54765ff","resolution":{"observed_at":"2026-08-14T12:55:15.572477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.555736Z","title":"W ALKER (1990): Bisimulation and divergence","venue":null,"work_id":"e867add3-bcd2-4cdf-b855-b05828f8c518","year":1990},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.474533Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:d468bbaea6fd9f66c4fe696342d5a6ce2c8d007111bb1f13af260f8bccd37cac","observation_id":"06e4704e-8976-4737-835c-50df486910a7","resolution":{"observed_at":"2026-08-14T12:55:15.559624Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.544633Z","title":"Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2","venue":null,"work_id":"a3377264-ac13-4361-814f-001b68a68a9e","year":null},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.477998Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:d87cee9b6bea18a94785db4bf5ea4876e20a3587f523975337a954607a83711f","observation_id":"36c06a95-f1ee-461e-9afe-1275f43c9519","resolution":{"observed_at":"2026-08-14T12:55:15.548149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.534603Z","title":"Since p1|=⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2, by induction on n, q′′|= ⟨ε⟩ϕ1⟨ ˆτ⟩ϕ2","venue":null,"work_id":"d057f130-4e18-4eec-b708-6da3ea7bb5a2","year":null},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.482351Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:b59d9d40ddb60270e8116276a98c6d097289905d402bcdc16576c81bb7508752","observation_id":"07463f0f-dfcf-4245-9170-d218b538b53f","resolution":{"observed_at":"2026-08-14T12:55:15.538133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.522671Z","title":"Since p|=⟨ε⟩ϕ⟨α⟩ψ∈ Os b and p∼Os b q, also q|=⟨ε⟩ϕ⟨α⟩ψ","venue":null,"work_id":"adbb524b-d283-4dc7-a9f6-5e07e4dd6f7e","year":null},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.485973Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:0e08c9b609b03b0cdbedbdd521a94de92ab33032cb0fabb4bc7a6e09c6096800","observation_id":"59ce106c-8e77-4000-b288-c6247e50b76c","resolution":{"observed_at":"2026-08-14T12:55:15.526520Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T12:55:15.509498Z","title":"Let ˜ϕ∈ Os b such that p′|= ˜ϕ and p,q⁄|= ˜ϕ","venue":null,"work_id":"119cadb9-afae-4fbd-b1a2-875af26ae515","year":null},"citing_paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:15.489127Z"},"links":{"citing_paper":"/paper/1908.06550"},"observation_digest":"sha256:1352bbd1068f8f0d6b9d3e10dd5a1864291c1c5c457393f10414458b93e2e822","observation_id":"049fda59-6b96-4dfd-be38-98af0c3adc58","resolution":{"observed_at":"2026-08-14T12:55:15.514356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.06550","last_updated":"2019-08-19T01:21:17Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T10:57:02.930567Z","submitted_at":"2019-08-19T01:21:17Z","title":"Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":38},"total_outbound_references":38},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:1908.06550."}