{"entities":{"Q2912692":{"pageid":2923417,"ns":120,"title":"Item:Q2912692","lastrevid":44728773,"modified":"2025-11-25T13:09:51Z","type":"item","id":"Q2912692","labels":{"en":{"language":"en","value":"Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086191"}},"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":"Q2912692$A5FFDF22-3AD8-4A68-94FB-BA7B5E0CE9F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"281e0afdf9cebbdd848048d6426c963729a82f74","datavalue":{"value":{"text":"Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912692$1AE5507F-0F28-487B-AB43-33662333AEDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac36f3ad7053ff3f8f5016097e6ca458258a7815","datavalue":{"value":"1364.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$E8788681-832C-4115-985F-43AA51AC0338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddf56de93388d592910f5ecf708a0a3af6c52371","datavalue":{"value":"10.1007/978-3-642-32940-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$3B5CAB58-ED89-4941-89A5-FA87C61EDF8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912692$B2DDDB92-196E-4C93-A089-53DE2C6629CF","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":"Q2912692$85C027DA-6313-4883-A9F8-01E8C42B1DB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912692$C728BF75-B944-48DF-BF8A-65CB3A1448BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912692$2F31B2B8-6755-4FCE-B699-6529177AB290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$109E1933-52BB-479A-9143-61020E22781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$77967F13-B5FB-4B53-98CD-164D80C75EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$005D8BBC-54A5-4DEA-9670-33F77C4D5E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4030d4179e6de8cf7d34cea105a164fdb053121a","datavalue":{"value":"6086191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$2A2841BF-396E-440C-9CF3-D4E240FAC001","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":"Q2912692$6F593CE3-6CB3-4251-8864-5D6A34EA76F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecef8180aca1a58180f31ce2e1a5397f6bae1899","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32940-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912692$329848CC-24E7-4605-BC85-F5EF610B12CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a22a136baedd6512d0817905708636a47c7e783","datavalue":{"value":"W2136537428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912692$FCD4AFFA-1935-43CB-99F2-43691DDAC5BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa3ad8672c1515bab0e63013e57bf062b138ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4e234edaf2032d1a7c7c82555fc8a89a5c3945","datavalue":{"value":{"amount":"+0.9457154","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":"Q2912692$C74673C9-1938-42B2-9BD0-CD38C4594E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f189954f1390c67fa6aeaaf5b47f5398531b96b","datavalue":{"value":{"entity-type":"item","numeric-id":5900816,"id":"Q5900816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b00b15ca484cf3e838a4db10be6faaea7a0b52","datavalue":{"value":{"amount":"+0.93708855","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":"Q2912692$CDF20804-C9C1-4D42-AE28-F5156C6C759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923d4c5153fd56f9b1f7ad8c90180e0c8638e791","datavalue":{"value":{"amount":"+0.8750765","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":"Q2912692$74189EEC-9F69-4E34-9206-B975BC8E0B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8604dd65ee8dd3e6d7e49b32f669fc58410aac","datavalue":{"value":{"entity-type":"item","numeric-id":3105881,"id":"Q3105881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4f9d3ee4a58d4f1dabd0b408ac28f85852a609","datavalue":{"value":{"amount":"+0.8715579","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":"Q2912692$47AB03C3-06BF-4908-8020-6F3F8F39CFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"514b5d1ed33c0f5d47ddd28df485b18549457543","datavalue":{"value":{"entity-type":"item","numeric-id":4815848,"id":"Q4815848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7338f00ce80004a61e1344098a1a4a1c00faca84","datavalue":{"value":{"amount":"+0.87084275","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":"Q2912692$D1F81892-01C4-44FC-821E-9174700A5685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b57a26931c232c33a5e731f9ae66bf1f08a2c0","datavalue":{"value":{"entity-type":"item","numeric-id":1188120,"id":"Q1188120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbebb1221db5c288b0cce2f487f8d7985aa344bf","datavalue":{"value":{"amount":"+0.8675379","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":"Q2912692$A55F6EC7-C1FB-448C-98F6-0A3235C69CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98b8681f6990b5398585201f043b7afddbfd901","datavalue":{"value":{"entity-type":"item","numeric-id":5371012,"id":"Q5371012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd4d46aa1ad15434a2d10bfa4abd7793de88df5","datavalue":{"value":{"amount":"+0.86584723","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":"Q2912692$7CD22B12-D59F-408D-A1C3-B84C94E0B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8a0134e8d6627cd91ebe249c356d149921c7d6","datavalue":{"value":{"entity-type":"item","numeric-id":1951297,"id":"Q1951297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959ebd594f6c2d9a03dbcd136e7d530d15ec387a","datavalue":{"value":{"amount":"+0.8655092","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":"Q2912692$CFB25107-E029-4661-8922-BEE2FECC82B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a51a0c7ebb1b24b7e1eb67929759663ab6faafd","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f92c0f456013c02a3c4ae141af0725e6ac62df","datavalue":{"value":{"amount":"+0.863576","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":"Q2912692$3DF8AA91-9DC5-418F-9F5E-A350177A706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e307a3185919c472a797edc2a14ae42f10700a3c","datavalue":{"value":{"amount":"+0.8624866","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":"Q2912692$83371A0F-4F09-4570-BAFB-2333D9441164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912692"}}}}}