{"entities":{"Q5497245":{"pageid":7526805,"ns":120,"title":"Item:Q5497245","lastrevid":52189430,"modified":"2026-01-21T03:12:45Z","type":"item","id":"Q5497245","labels":{"en":{"language":"en","value":"Semantics of probabilistic processes. An operational approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6396445"}},"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":"Q5497245$CD36D26D-064E-4D5C-A88B-3BCE659638EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f372c095953a377c2ad2d65bd32608bd30b1ca4d","datavalue":{"value":{"text":"Semantics of Probabilistic Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5497245$35A47038-6ACF-4D03-BDA8-735C5912610B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3442c707a8b29c010bcf4d619992c67fa2d1d03b","datavalue":{"value":"1315.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$8E7084BA-E8A7-425E-A928-32E00D1E83AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063c546ef7b8c58afaa35647d598ca06b1849171","datavalue":{"value":"10.1007/978-3-662-45198-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$2E2FBEDD-C6A5-4137-AD0C-F7FB388A34E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497245$ED56BFE2-5A06-4BCA-B559-3ACD5EF61CF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daf3523f0cfcbb8866f85f86adfdcdc5e63a6d98","datavalue":{"value":{"time":"+2015-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5497245$0940D1CC-0DCA-4681-A098-9E6BC6A14236","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$8780957C-4AF1-4EA1-812D-53D138C2865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$0E86F1D6-9E0F-465D-94DE-89C85B2354AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$0AB41B33-3FBA-46C1-B7D7-AD9A32EEE311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$3B1E17EE-BDE5-44F8-B7EE-59EB88CA0C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$CBC5E107-D96F-45A6-AB6F-709FC3F22159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$FBD04B18-5D31-4621-BBCF-71D565D82179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2e39b7c965326d5f97e3928567193881cacbfcd","datavalue":{"value":"6396445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$0A2F29EF-2123-4A49-ACDC-8C7CF47A6869","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$79973085-80DD-463A-B9F3-C0B4F3CD18B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50be41f009aeed87df49eafda3f621e574ace28c","datavalue":{"value":"probabilistic labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$5ECDB7FE-8C2D-4089-BACA-CDE1462C3475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$8E3AC6F1-DAB8-4D94-8541-765B3F776B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520514e50aaa8a9a67f4eaba6f00041e83829fdd","datavalue":{"value":"reward testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$9B1FD52B-253C-4F31-A08F-C52D824D8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eaf38ecc5dfee42453468543b80bf5077eb8420","datavalue":{"value":"probabilistic simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$AF2FBAD1-E379-43E5-BF4B-3ABD52D33CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$FDD2C441-E808-462A-8CF7-C746B65775A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc3bb38d1bb4e53db1fb8a5d4376abe101185c8","datavalue":{"value":"characteristic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$3C564A54-7B4A-4D20-9FE8-710D099B1982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab160b8376f3a946a8a8e859ed7693e7a3a9cb3","datavalue":{"value":"weak probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$389B2313-0070-4110-892F-A2D3FB84858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a086bb2631d092957e93ffffd1cc4ea768bd9d0","datavalue":{"value":"reduction-barbed congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497245$37190F63-18D9-446E-82B7-827C0D2E5EB7","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":"Q5497245$C1F3E088-D0A7-420D-9A9E-2079BAA4764C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"577f207074d50992850acfddb5bef9a7bb334afb","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45198-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5497245$EBB35158-9535-4ECC-89C2-DE04C0D8BD84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16499a4a345d0c87dfad267ebd548a29a75d16b1","datavalue":{"value":"W2495188503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497245$F14C76D8-EA0E-46DD-9A75-55D2BFC15765","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28820f2f50f57c30612e9cd6d09d58eb35b9e84d","datavalue":{"value":{"entity-type":"item","numeric-id":2970754,"id":"Q2970754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e631595d98629d9bf7dc235f40173255f5a39d6","datavalue":{"value":{"amount":"+0.7914624214172363","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":"Q5497245$1BFCEA0B-13CC-4D94-8630-412A6F5AA2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429f664986c3991914912f223791a9bf6c6c0370","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cf379fd07ae9d701958268d44c816bbee13498","datavalue":{"value":{"amount":"+0.7817465662956238","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":"Q5497245$9F2D5199-25BA-405E-86B5-38469842C3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4373c2679c33dd21fd44418f6479a18b44c412","datavalue":{"value":{"entity-type":"item","numeric-id":4874391,"id":"Q4874391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2623f756f4a5916e794500d184ae7f004b7fa9da","datavalue":{"value":{"amount":"+0.778075098991394","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":"Q5497245$52D07808-968B-41AD-A3BF-8DA2346ADCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47b69a2f07eb5a59bbd7f9a4ebb5510f3e4eec9","datavalue":{"value":{"entity-type":"item","numeric-id":4212171,"id":"Q4212171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2623f756f4a5916e794500d184ae7f004b7fa9da","datavalue":{"value":{"amount":"+0.778075098991394","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":"Q5497245$A9E47DE6-44B5-4B45-9F93-8A56EFC57D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0829288b8c477a4ec9f3dcde5bd4bc639d22db3","datavalue":{"value":{"entity-type":"item","numeric-id":897107,"id":"Q897107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9258a53f53777bf899c575492117941048aa4d1","datavalue":{"value":{"amount":"+0.774161159992218","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":"Q5497245$AE6B11FB-11DB-46C9-8BE0-23DC869652D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5497245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5497245"}}}}}