{"entities":{"Q2914677":{"pageid":2925397,"ns":120,"title":"Item:Q2914677","lastrevid":85095266,"modified":"2026-06-03T05:51:48Z","type":"item","id":"Q2914677","labels":{"en":{"language":"en","value":"Structural operational semantics for continuous state probabilistic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084433"}},"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":"Q2914677$A4659AAD-FE05-4F34-B657-F67C0BA4F98F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b86816ca4338755ac0eb6e80a3237aa437b4334","datavalue":{"value":{"text":"Structural Operational Semantics for Continuous State Probabilistic Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914677$350AD5B0-3CC0-4895-9C66-B952D178E15D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13428c682f0fee32cdba8d9c32a5b96f93b3e096","datavalue":{"value":"1328.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$82F7FC5C-BE44-4C7E-9C2A-124C54C91136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31a2af817e71a23690ba2c0a32e6ba4c6f7a35b2","datavalue":{"value":"10.1007/978-3-642-32784-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$2909C813-8CAE-4F92-9839-F0887659C988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb61a5e2961b90c24cc43ddac18e0207af6e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":418839,"id":"Q418839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914677$18E8C6A1-A792-482A-BC87-C278CA377315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914677$0C096C4D-4BCC-442C-AF5B-90A5E1BA84DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914677$3DE16A98-B752-4B2D-8AD5-25A24024F53E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-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":"Q2914677$1F56D601-1FDD-4BB2-BEBB-015F22DEAD18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$20EB87B7-89D3-4746-9A17-76A9B377D5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$CA031F8F-E993-4F0B-86F1-2FDF6A88A62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$5CD4DBFD-1D78-4879-BFF3-C13644001C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$5C72C524-0E16-4C8A-A7F5-E6D180BA9F83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c4e03ab6c5d84817de2d82fc770256cd440254","datavalue":{"value":"6084433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$43EA3595-A245-43FB-8A75-31C0F8D785BC","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":"Q2914677$0AB4725D-8EC5-4CFB-BC07-CAE452294D5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63c6200e9b5e586c0b58c3ebdfe81c16ec28b1f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32784-1_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914677$B739CBE4-EE15-4459-8012-3AC377F95232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4df78493bbed779d26a1def4567a6ca734faf30a","datavalue":{"value":"W2305569592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914677$9CE8A9A7-75D4-4341-8693-DCA20D7FC331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4835429856cac86642c0dd2a05b60e2747a5d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2341700,"id":"Q2341700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893d0e1870ef5d789f173edb6ac6dc06fc0369fb","datavalue":{"value":{"amount":"+0.9066526293754578","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":"Q2914677$5F4E115E-56C6-4AA2-BDD4-61F87F203BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee3e7cd638f41915bef323e13820700e071bd23","datavalue":{"value":{"entity-type":"item","numeric-id":2709785,"id":"Q2709785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93191953ba99c93c47022dbb60c0e9860e27f9ea","datavalue":{"value":{"amount":"+0.763442873954773","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":"Q2914677$A53FEC64-8022-4449-9ACA-567DA0E199B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3e2e873be154265e083e94d3bd6d31628b2c28","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b0673bec555d3042a87d243200cae838536e7b","datavalue":{"value":{"amount":"+0.7631146907806396","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":"Q2914677$D2D8A12B-9CF8-4EE0-8FAF-94B85070CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95392e4a70a02be2a7d51885301fc2e2a55146ca","datavalue":{"value":{"entity-type":"item","numeric-id":4222911,"id":"Q4222911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9d40f2c51234123375ca5c925c46b14669ff97","datavalue":{"value":{"amount":"+0.7604110240936279","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":"Q2914677$FF9283CA-54BC-4419-AC49-156F00F7049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c6963a73d22bf65e86f49dcb471996371eff85","datavalue":{"value":{"entity-type":"item","numeric-id":5415286,"id":"Q5415286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982547f25a4db0e1eeca21a38a812b4393faacc8","datavalue":{"value":{"amount":"+0.7602002620697021","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":"Q2914677$01A0399B-37AF-44CE-9CE4-705906B1D215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural operational semantics for continuous state probabilistic processes","badges":[]}}}}}