{"entities":{"Q5900816":{"pageid":8007437,"ns":120,"title":"Item:Q5900816","lastrevid":50959073,"modified":"2026-01-15T22:45:31Z","type":"item","id":"Q5900816","labels":{"en":{"language":"en","value":"Compositionality of Hennessy-Milner logic through structural operational semantics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695566"}},"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":"Q5900816$C22DE0D9-1611-4FDF-9272-A9C29E459E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20fe9b72b66e0e13e2a40c93b5a8a454bfd5f79d","datavalue":{"value":{"text":"Fundamentals of Computation Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900816$7218B63B-1C01-421F-BA27-793733DC7B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"747e31f9a96fedafa4e505aa31ae37b69e047255","datavalue":{"value":"1278.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$FDEB0F4B-765A-4AFE-9F1A-0C727217608C","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":"Q5900816$02FC2B12-C876-4F51-9AC9-85EE1766F7A5","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":"Q5900816$EFDDB7C1-32A7-44E8-A917-6614AA248C40","rank":"normal"},{"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":"Q5900816$9DC2A0D1-D9D8-47BE-ABB3-AF1A2DC3E687","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":"Q5900816$22A69DB9-6B1B-4645-A6B4-079E9908D986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900816$067FBFD7-D678-4B75-946B-9D89D3F3C64E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$0047C1EB-234F-43E8-8CBF-79D04F028FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$B0C9589B-5CBB-4776-B8F3-6A478A0EE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$685DE9E2-95CA-4951-8A70-5FE63080C262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac234bb07ae14d8d809745654db3dd6299b762ec","datavalue":{"value":"5695566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$DE6CBAC9-D5AC-4260-957F-56871FC95F70","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":"Q5900816$A24DE3BB-7918-4FFF-AFB4-1D75DD4AB47D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a3a60a926c385185927ff58f175ca790a012e4","datavalue":{"value":"https://doi.org/10.1007/b11926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900816$1FEE6C3C-4631-4B59-A94D-274EB96D0C59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc42576762969d6f937eb54341b1001e3b51ca15","datavalue":{"value":"W2249105474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$064C010B-E38B-40AC-9A9C-7FBA5C5F876E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a5c983f4aad0e54708f94e50d863c4ac538eba8","datavalue":{"value":"10.1007/B11926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900816$2F62C248-790E-4296-8C2D-BFDDF4421E57","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":"9a5f53ba2fbae5ee31f3214c87269258a3574c7d","datavalue":{"value":{"amount":"+0.9849350452423096","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":"Q5900816$261E1D41-E7EB-45BF-9E7A-FB4F1AFDAEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c79e2cac19c6396f3902771fa20158d1d11474e","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2829d3766c1c674560bc15b2f4d853c71e7d98c2","datavalue":{"value":{"amount":"+0.893169105052948","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":"Q5900816$3F053922-029B-4708-8721-9454814F1D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc088563ab1424a97791898c0a5a4aa08b62b48","datavalue":{"value":{"entity-type":"item","numeric-id":5111193,"id":"Q5111193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40112915876fa3e3b1af9d9b77933cde84d11de8","datavalue":{"value":{"amount":"+0.7829494476318359","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":"Q5900816$5CF5E93F-0685-4B3B-B22F-A3FF67BEDB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773675482a136a99f5119d4721f8b60589d7c79b","datavalue":{"value":{"entity-type":"item","numeric-id":2894548,"id":"Q2894548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ac75fe29f859c643ee35ead870be8c97b09724","datavalue":{"value":{"amount":"+0.7588247060775757","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":"Q5900816$D4CD291C-34D2-47E3-ADAE-0071BD4E0247","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":"73080d60512ccfdcc634567305335459b48730dd","datavalue":{"value":{"amount":"+0.7574097514152527","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":"Q5900816$1A18CAB9-F31F-44BB-9B47-215B51CD70C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900816"}}}}}