{"entities":{"Q3591399":{"pageid":5621303,"ns":120,"title":"Item:Q3591399","lastrevid":49638553,"modified":"2026-01-08T14:07:13Z","type":"item","id":"Q3591399","labels":{"en":{"language":"en","value":"Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189666"}},"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":"Q3591399$BB67AE8D-9817-403B-BCA4-DFAB225D257B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46d93e026f3a918fb75ef9d9b1aa674e7f374aa6","datavalue":{"value":{"text":"Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591399$30D50D61-F10F-4EBC-8D6A-787116872EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6a65883efcc4a65a16f82e8cc938e5f05116afa","datavalue":{"value":"1196.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$8CC558AE-6E60-496E-93F8-79421BF909B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e414a5dcf9b0a1d3850d41aaaf1f7591b0a3a97","datavalue":{"value":"10.1007/11804192_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$A55D578C-28D1-4D62-9FF0-9CB237E048DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e43c87c55ec74fc5545d886d6fec98edb5bf6f0","datavalue":{"value":{"entity-type":"item","numeric-id":418188,"id":"Q418188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591399$F2330CE0-FBF0-48A6-AAE2-8FEB5BF0581F","rank":"normal"},{"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":"Q3591399$CA606F1E-FE2D-4A3C-B727-F2DE70E36CC2","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":"Q3591399$30498811-6B87-493E-906C-E0DF39D76B13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591399$02629B70-D04D-4A49-A3C8-DBAD2A23721B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591399$75AA47AA-E0A6-44DC-841A-54FED726A451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ff03e090e04549008e9167ff8ba0f65f59376f8","datavalue":{"value":"https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7774/SOURCE01?view=true","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591399$401875E9-84C7-44E6-80F2-10893761719D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$68104928-7490-453F-B9EA-B54C0D0B3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$F55F591B-D5EB-485A-BA19-609088A84FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$63B7AFFC-CDA9-4A0A-A245-2F290F309D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04ca9f8787e9a3291add545b9203ac3a8c22983","datavalue":{"value":"5189666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$ED0BD215-5FA7-4907-8AD2-A23CD4A0E44F","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":"Q3591399$5D51A70A-127E-4354-98DC-741FFA3EB4BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afc92eeaaaa626549cb129f781f345132e8ead2","datavalue":{"value":"W2125882282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591399$9BE22946-B0F9-4B81-BC6A-C1B7060BEBE9","rank":"normal"}],"P1643":[{"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":"bb3319050b0d9f709d0b6a7ce565413fdd456a8e","datavalue":{"value":{"amount":"+0.9465308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$55409094-18F7-4B84-B1ED-B62F67DC19FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cabe61c313834f6a6865774b5f5be929ea1836","datavalue":{"value":{"entity-type":"item","numeric-id":1680509,"id":"Q1680509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af127b31f4941696d392f69246c347b732f2ca03","datavalue":{"value":{"amount":"+0.92893994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$4BD5E678-0B8C-4E4E-95E0-9C3FFF4E3F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762e0c9eba8456062249f75c9a1f2151d1beff82","datavalue":{"value":{"entity-type":"item","numeric-id":2852097,"id":"Q2852097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fa671341e6d6c71a7670902358ab0617fa1ff1","datavalue":{"value":{"amount":"+0.9257528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$CDA68A0C-AFEB-44E7-8D1B-E3BC46A6AC53","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":"2fdfec673655988d3dc2afe53df2ed85946d4231","datavalue":{"value":{"amount":"+0.8880702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$DA650440-2D95-47DC-A61E-A4C33A9D16A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f1e817f4c739c6fed8592e0ccbec38523e747a","datavalue":{"value":{"entity-type":"item","numeric-id":5020941,"id":"Q5020941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7e68bb13e2c05676ed1ac6c2bdff87aff9fc65","datavalue":{"value":{"amount":"+0.87646115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$225D2F74-40D7-47EE-A727-55E5A7FFB3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ad5febd5430859599ff3d76f01fbf9180a5ac2","datavalue":{"value":{"amount":"+0.87538373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$5E067934-A48F-4CC3-9C30-78D59D4498A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7a54c0d42aa98c67e8d5e88724ed4b86d4affc","datavalue":{"value":{"entity-type":"item","numeric-id":1652984,"id":"Q1652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe872442a809241656d82faa6044bd1d1b14ebae","datavalue":{"value":{"amount":"+0.86873025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$1D2DEEDE-684D-442D-8185-2519535078DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892f6c3e5d5d1decd61aa2322b86b6feb22b2c28","datavalue":{"value":{"entity-type":"item","numeric-id":2500474,"id":"Q2500474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f95bd3419293d6d1eefffdcb82f17c78ebec6b5","datavalue":{"value":{"amount":"+0.8652411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$D2FED172-D250-427F-B331-AECCC4A877DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947ca883a7131fca1df295055475a4d7f83737f0","datavalue":{"value":{"entity-type":"item","numeric-id":1892889,"id":"Q1892889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f727430ef4c8fd173168e6eb466373c461ead18b","datavalue":{"value":{"amount":"+0.865066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$2F4F5A09-E0B8-467B-BA63-B6E6FABD118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b7b944a70399e648c5ffd39121fb92cfc226d8","datavalue":{"value":{"entity-type":"item","numeric-id":5452714,"id":"Q5452714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8677674150a6f5965c4b5236f0db957981fd91ae","datavalue":{"value":{"amount":"+0.8607091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591399$126CAE3E-5172-4F33-B5F3-47ECA5508369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591399"}}}}}