{"entities":{"Q1680509":{"pageid":1691250,"ns":120,"title":"Item:Q1680509","lastrevid":68125242,"modified":"2026-04-12T21:36:12Z","type":"item","id":"Q1680509","labels":{"en":{"language":"en","value":"Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807529"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$6BC8C947-AD5F-48C0-805F-0D8BADDB184A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c5819cf2e0f53047cfdde1bb0b0bc81cb030533","datavalue":{"value":{"text":"Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680509$957CD68F-6E10-498C-B9F6-F4F5E6C2B838","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3124666fa549971f6d4570eac379ad17e35cc115","datavalue":{"value":"1380.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$56F664E6-A3C1-480F-8B7A-33A15ED249F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$87784C86-49CA-4761-A26E-908D4354C46E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680509$EA46821B-EE7D-4C96-8BDC-A8353A3A76E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67e09922d6b9b6b5faeedb1509baca59051bb95a","datavalue":{"value":"https://arxiv.org/abs/1604.07530","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680509$7A180796-0189-4F9C-A697-B7704C143A36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$674BB323-25BF-4F4C-A917-88104AE631E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$EEBEEF3E-4A17-4875-90FC-CB2D8748DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$55ACCF73-440D-49DA-8884-F5728645D9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac29c4674d467f20941b025d2fb8f59dd0e66ff","datavalue":{"value":"6807529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$45552F81-430C-413C-85FB-FE453F7AA4F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680509$2CDBAB1B-BA0A-42C1-B257-BEA22B2527F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981b1e4581137abb3c811fe3ceb9459163ce433","datavalue":{"value":"congruence formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680509$7D3686FC-CB48-4762-B8A3-567CE1B8F796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680509$71C9050F-FCC6-42CC-B40F-626751FD9955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5f729041ec5578bd66f0b98559c41916c5c206c","datavalue":{"value":"modal characterisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680509$DCCFFC2E-5914-4521-9C44-4ED7D116A3E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$6B939A1F-6C9A-4978-A705-E4B152A7EBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$C5732727-9580-4540-8C81-BD994864964C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$C7E941EC-7E6C-457F-8D85-85ED6CD4A63D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe1fa220a9e331973d46cebb86e1ddedaa49ca9e","datavalue":{"value":"W2343519619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$50A384F0-C672-451C-B4C2-630F8019FC1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$DEFCDE49-E78D-4579-A3E6-1296990CD9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$F973744F-3CFB-40CA-AAE2-34623385F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$41F7E719-92EB-4E7C-BD51-B1F103FD42DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$3908BD24-8FB1-4A8C-9A60-AF310569E653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558629c0e6e663c9fdc1db1979d026dc6f0c43dc","datavalue":{"value":{"entity-type":"item","numeric-id":4608689,"id":"Q4608689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$82EBF751-C4E2-444B-9D37-D76202E6C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$94A9BEC5-2220-44DA-97AB-DC029A800750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$1CC3DA38-CD01-4D50-AD18-56DAA474E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca770a1ed21cc33b4bd345b5c0dd103ab930f741","datavalue":{"value":{"entity-type":"item","numeric-id":4635941,"id":"Q4635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$20B25D88-5241-4E12-B97E-CB1D91177963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a1da6e4b81b202f9646c94d28ab71a7dc5e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5111193,"id":"Q5111193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$B25DF320-1B42-4543-8326-2F5F7D74A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eef55a41207f7292d18140d6bea74d64a8dab6","datavalue":{"value":{"entity-type":"item","numeric-id":5111628,"id":"Q5111628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$88848B13-9986-42E3-80D7-A13B11F10E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$022143AD-D48E-4471-BF7E-6BD836B16A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2940e7dc2b3f84a4e2761d75eb5f9b11fe5840","datavalue":{"value":{"entity-type":"item","numeric-id":418189,"id":"Q418189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$3A218C5D-589F-42BE-A8D8-E13CEAABC0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfed5d037b42244ad5cb6ac4b7bb960b703bcb4a","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$C4C224F2-AE27-4FF2-9C4F-27EE611EDE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$B4E73396-61E4-4A7C-94A3-C1B6DCF257BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$5CB4FB6D-F316-4FDC-ADA8-1FD13B215E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$5A661AC6-EF4C-419E-8310-C38F02FE85EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$2184574C-2184-471A-8EC3-8B8661A97748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$31A7A0FF-66CE-4C40-A0A6-F68B6B65516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$E03D1235-2A34-4946-9F71-2897B94EC4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$D1C300E9-1EE3-4A44-AC24-F82777EBF600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2a6bbb40f25f4db3104def630456b503e1dceb","datavalue":{"value":{"entity-type":"item","numeric-id":3988057,"id":"Q3988057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$BDD74AFA-D915-4B4D-9CE2-6C9F21BB77E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$189166F8-1DD8-44EE-B828-499860C85EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$02BF5FC6-3C94-414B-BE16-9F09FBC1828F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$0C943DB9-9A53-49DC-96D7-D19D7F27436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$F46769A4-C554-45F2-8EF2-07FE204CE363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$2C9BA7DE-8C81-44B4-BFC7-0703A1458126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c3818eb29d879ad387886680e3a7124c33e01","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680509$350E0FB2-6DD3-4B76-B683-D4BDC102250D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a40082ca4cfcdbedf3fc867939a9e106f01b2d71","datavalue":{"value":"10.1016/J.IC.2017.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680509$18E98E46-A357-4C14-BF78-918E7FF8B86D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c7131d39f9e58a054e468c1a8d00a2a891a283","datavalue":{"value":{"entity-type":"item","numeric-id":4635941,"id":"Q4635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2016afd0a759559b3ba0bd7934898e91142657d6","datavalue":{"value":{"amount":"+0.984374463558197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680509$75F97767-B9BF-4561-AC93-54154D984108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9105517b5dc0ae2aa514c298e4da2d12ff07f","datavalue":{"value":{"entity-type":"item","numeric-id":418189,"id":"Q418189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96fa24a49b0eb0f31a6fd973149bf6338a47837","datavalue":{"value":{"amount":"+0.9136672019958496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680509$D8C1FDF9-2631-4720-BBE1-392354CB5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b28fe29aa432ecbb3e21271d47a34e651efaa3f","datavalue":{"value":{"entity-type":"item","numeric-id":3591399,"id":"Q3591399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e721cb05b66514245d66f01ee1e38c3e66e4343","datavalue":{"value":{"amount":"+0.8951960802078247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680509$E45EF3FA-9A18-493C-8FD7-B11AC04E4802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2245eb5524256ba174c96549a117db66f39a0156","datavalue":{"value":{"entity-type":"item","numeric-id":2272990,"id":"Q2272990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c58c6617e7a1715ba204d40942cd419a66e003","datavalue":{"value":{"amount":"+0.8749220967292786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680509$E2505AA4-A3E7-4EC6-BD7D-0C38035531C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6291e57dd5004208d54fab726dea9a0fd7f3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5111628,"id":"Q5111628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb0fc0297e2436eba3bf9c432b08454a8f22fce","datavalue":{"value":{"amount":"+0.8592876195907593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1680509$A3EA03CD-7D83-48F3-803C-0868E06B199B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Divide_and_congruence._II:_From_decomposition_of_modal_formulas_to_preservation_of_delay_and_weak_bisimilarity"}}}}}