{"entities":{"Q2341700":{"pageid":2352443,"ns":120,"title":"Item:Q2341700","lastrevid":74143992,"modified":"2026-04-14T18:34:50Z","type":"item","id":"Q2341700","labels":{"en":{"language":"en","value":"Structural operational semantics for continuous state stochastic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431466"}},"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":"Q2341700$D3A1EF0D-2EF3-408C-B434-26795C0FF8F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b231a6f78bf75f122dac70f1d49e5056838cfa6","datavalue":{"value":{"text":"Structural operational semantics for continuous state stochastic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2341700$194DCEAA-98F0-4C7C-A013-147E7CE5D212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fd043aab4932902b2991ecb3b0d49e62e2d500d","datavalue":{"value":"1327.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$1AC6869C-403C-4098-861F-604A32A395F1","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":"Q2341700$B698B6CD-5A1E-4CEB-91CE-98B892EB4444","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":"Q2341700$E4FD530A-EC49-4C5C-91EC-5BA35F3DF2E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$B5D9EC80-C6B9-446A-8B3B-6D5D40AA4104","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a154ed7143bf16397ad499b838597b529f45e34a","datavalue":{"value":{"time":"+2015-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2341700$30BD6BDF-3F69-4E02-9E7E-4F731AA5EC17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$19897630-EA54-4770-84C4-45E184C8650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$0680A61A-241A-4833-9700-ECC1B91134C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$661B89B7-86D3-44E5-A740-4738EF70E324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$26B3B0AB-E960-4433-91D8-8BEF39E5EDBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f204ed69de142a2a297212d095abbf309035c4f6","datavalue":{"value":"6431466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$653A0D45-23C9-47D3-8651-C077885D8EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$D673F7CA-C03B-4032-9C93-3668F918DC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$E377D4BA-5EB9-42FC-9DF9-2A01534E6623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff9a3d7e85e70889ebbba084660e7fe4b3a5486","datavalue":{"value":"stochastic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$67D14590-DBB8-427E-B3FF-15813D19DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47e4fdc183ef8beb69defca6943946e6f2cb91","datavalue":{"value":"Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$C5EAFD7A-5579-4261-B382-81CA7A9BC4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d3650413ef81e939c9dd325e2f0da76d740640","datavalue":{"value":"algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$908ABE97-9379-4352-9EDC-243ECD512217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$D6B50034-B84B-4DD1-A832-49E1E9C51496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$EFEFAFE4-A2EA-42E0-9D12-1620AF79C636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87467ed3c4f0dc46fe51bef236b8a3761d61f482","datavalue":{"value":"continuous state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$CCDB19E9-2385-48B5-A53D-3D972C735C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860d0bdeb5a2354b1849210a7631ec32c7ffa6dc","datavalue":{"value":"quantitative aspects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2341700$F5FD7580-70A2-47A6-944A-AACDEB0FEF8B","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":"Q2341700$E6EC8774-FB9F-4F64-B276-EE9828806827","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b46344b166b16fb360d9f64f56fed7dae383138","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.12.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2341700$350E3904-F5E2-4B6A-A49D-94A5B95BC1D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7772d400236248c13be3cb51351cbc265bcfde4d","datavalue":{"value":"W2144940322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$D71E2407-804B-46A6-B4B8-372FACC03DE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cbb3e23ead9039fa3704f8ab00d2c0c21c2ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2843717,"id":"Q2843717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$526DD9E2-3FD6-4315-8A0B-0E7C08F623CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8e0fade5f34b9b9b91dbec52a15ebba949655","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$CF6EF429-5F0E-472F-8E8E-72F0CE3D145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$EB579BD7-B82C-47FA-B00B-90FED5EBDED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$54662534-FEEC-45F8-BF70-911DF193DA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a005cd084d722198d76e3455a1d2254587269ff","datavalue":{"value":{"entity-type":"item","numeric-id":418841,"id":"Q418841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$2F572284-97AE-4D0A-AD05-AAF8F7EFC246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568741800d93c2ba2b987576966caea76d7a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":2914677,"id":"Q2914677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$25C769D9-EAC6-4838-95F0-C7AF8C1521B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$43E91FDE-420C-42F7-9419-719BB21D9540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$52B0A935-5DA1-41F7-A785-456EC9E79879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e080e6cc6e0a5d730b0d16d85a39768aab34f86","datavalue":{"value":{"entity-type":"item","numeric-id":2843720,"id":"Q2843720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$45FBFE1F-CC35-47BD-867E-B48631FBB2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$8BE9C98D-252D-463E-B1E5-053B0CF63C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d197ac30dc4c3b8537f4a6c591e4aa5efcaaf9b3","datavalue":{"value":{"entity-type":"item","numeric-id":5897116,"id":"Q5897116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$EAB6C018-3C4B-422D-AAE6-0CA5591A43CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5df9c385d0767b5512b67ff1cadacbe19b37b5","datavalue":{"value":{"entity-type":"item","numeric-id":3576193,"id":"Q3576193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$E93DB508-7053-4D72-A821-A3DA3A4F1084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$0E48BFF9-E4D3-4F68-A208-5F2EFDD2F645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4e31ea40f22061b200b5f9a54195f222d0843","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$9660467E-9B27-4EF2-A1F2-A0546B097FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$6426AB45-1814-4A8E-878E-D329AF913FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$A7CCAE37-9013-4C17-A479-C228C01161C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce992398f5352ad7a558c7b7e01a7dd1888b32ac","datavalue":{"value":{"entity-type":"item","numeric-id":3067461,"id":"Q3067461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$53646A6B-197D-4744-803E-50E679D73D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$FFF8F003-77BD-40DB-BAA9-78F2238254A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$A3747581-A177-47FC-B809-480265549C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$25CD532A-0133-4DF5-BF45-1C5526BACAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$8428BE47-E194-4609-A4F1-B42922161078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$7D8B898E-175F-46D2-B2F1-1BAB52F9C51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$F38863AB-9A37-4915-BDCF-C4ACE48E6D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7d559f071e691337c89fded69010843507df8b","datavalue":{"value":{"entity-type":"item","numeric-id":2870304,"id":"Q2870304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$1495E298-C31B-4E1F-8E2B-09B731EDADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$6355974D-6576-4916-B010-3FF63A4A0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$C35E4C78-9A03-4665-B131-B19930313C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7a63a476b5c3d0ca316b371d1ec9840eebc4df","datavalue":{"value":{"entity-type":"item","numeric-id":5415643,"id":"Q5415643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$A5695F49-8C09-48FE-8C5B-A818D03AAE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$5C975C1E-B241-43A4-8514-EC88546D4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81fe8f79f4f3c2309d7effb7fb1b336680bc742","datavalue":{"value":{"entity-type":"item","numeric-id":2495647,"id":"Q2495647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$2F3B3775-BDEC-47F4-89D8-B523F4EA4A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$1767E4D6-8499-4AF8-8DDA-7A5EE452E5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$BA29A177-EECC-4156-9C3F-14BC8054AFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$A5002F2F-DB87-460B-BE77-05E5000A1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$6378CBDC-B778-438D-99EB-93EDB5644563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e85ea0f7d116d20efeb8ee4f59cd2d5666d577d","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$C8F5114B-93EA-40BB-AB04-A1FBDEDB7C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b238fbf6ead825f266d98e657f1e8f9114614f","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$574A4F49-35BE-4131-B804-88E26D24E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bdd0b4b798b242af3249cf23f716a72946cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$9CEE247A-93A5-42AD-A957-59A28965BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da291fe0aec0c935ea4169bb1d644b1e04f22e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$11F049F7-0D67-4E17-B373-E61B2E37E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e70948472be460c80833ced2b9f837700bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5492834,"id":"Q5492834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$765E9B34-2B67-451F-BF08-4AE0BE75B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$6AB73281-A229-40D9-8BCD-F8C2AD1299E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2341700$C6B72A3E-65E7-47DE-92E6-0438D17E5996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aff5647f788666d61089552ea14067b7d5a118d3","datavalue":{"value":"10.1016/J.JCSS.2014.12.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2341700$0732E562-D32E-447E-A7EC-9E83AD07CBFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d049668e4becfe5c8b6d387458d3e5bf658d876","datavalue":{"value":{"entity-type":"item","numeric-id":2914677,"id":"Q2914677"},"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":"Q2341700$E3F7FF61-E295-4B4F-8C37-56C6DFDC695A","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":"63df853e15267ea8952e71b13a6c1cd9da46642a","datavalue":{"value":{"amount":"+0.8292240500450134","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":"Q2341700$448420D8-AB3D-44F8-9B40-109E8C99B6E4","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":"fc97bef9f7510fca33112125f2f98ad2a2aec88e","datavalue":{"value":{"amount":"+0.7963609099388123","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":"Q2341700$9BF375FA-0D06-42DC-8EC2-C91B538D1D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac525baa455253495fc70b3b64924abedd19617f","datavalue":{"value":{"entity-type":"item","numeric-id":383372,"id":"Q383372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deab30012004b48b5a391afeb064cb152c05ebb4","datavalue":{"value":{"amount":"+0.7925919890403748","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":"Q2341700$776664AF-C4E6-4926-BB02-4ED58D05B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79efcbd26722708d1e68da66cf3fe9ecd8909abb","datavalue":{"value":{"entity-type":"item","numeric-id":5705913,"id":"Q5705913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33df9ad045b924b07a133ae39100e537c031750f","datavalue":{"value":{"amount":"+0.7737517952919006","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":"Q2341700$BFBF6520-B072-49C7-9851-1BDFC16046D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural operational semantics for continuous state stochastic transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_operational_semantics_for_continuous_state_stochastic_transition_systems"}}}}}