{"entities":{"Q652158":{"pageid":654007,"ns":120,"title":"Item:Q652158","lastrevid":63419652,"modified":"2026-04-11T12:56:08Z","type":"item","id":"Q652158","labels":{"en":{"language":"en","value":"Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5990139"}},"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":"Q652158$AA986FEC-ED72-41E6-A3DE-A55BC6B07BCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46c487cbc8452886b5e9f3d1c57ec7676ad9f3a9","datavalue":{"value":{"text":"Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652158$5A6E8C7A-DC57-4B80-AC42-BBAD158EEC5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21ac386a82d894c96a4fdc7e1c32351772af670a","datavalue":{"value":"1243.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$080E5893-DC34-43BA-A9DC-0D9AFB852F1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$2D38956C-09A9-43D3-B91A-5A9E1CB3E908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c96eaee4f3423a9fcba3520e2fc86bc4c8c620","datavalue":{"value":{"entity-type":"item","numeric-id":278763,"id":"Q278763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$9DDD361E-0902-44FD-B612-9DC52968B32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$A737FC68-F9C6-47F7-BDF2-811960F22397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b1590a06a8608ee57a702a70afc7fd9d1149d","datavalue":{"value":{"entity-type":"item","numeric-id":207988,"id":"Q207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$D30E6B4A-3A80-42C9-8688-E75C4A24FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4592f758caa5c13c92d413adcd5ccd6bee0651d0","datavalue":{"value":{"entity-type":"item","numeric-id":652157,"id":"Q652157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$4E380AED-8721-42F0-8E97-C93B14B3D691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$9F1F1665-4DB2-417B-9A04-84C259E52C1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$B5632D4F-759F-4BDD-A609-D336B7434CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q652158$343C2E1F-9AFC-4202-B941-6F237AEB0734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$D4561C3E-A85F-41FB-B318-7F6B74720930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$BBF5BC04-0FE1-4D72-BBA3-286DDAA676AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f45e6463db373556dc3daf9b356c74ed92cb6ed","datavalue":{"value":"5990139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$649E4429-A0A7-43B7-A533-FE7F262FCAD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3536b36e00a3432952d758138d8d71950a72e90","datavalue":{"value":"PTSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$422E2BDD-283A-4A1F-B3BD-E1559FD0935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$A6CD909E-95A1-4380-A5B2-438BA0E8AF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$95758822-9B0F-4B6F-BAFC-EDF4B1F3F764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c03194d982ac2a99207567a5fd395ed448840504","datavalue":{"value":"semantic linking","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$4245F5E4-6A36-420C-8E52-283792EAD4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44879bf9e240d04340594e1b6b5c54ddb118567f","datavalue":{"value":"head normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$69CBB066-F265-4AA2-B575-4E7A3432773B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a056d631bfa09c291625b9f3d7b3505940c6c6","datavalue":{"value":"animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q652158$37F6F1C3-1A9A-4B66-A83C-EE5C7DEA0A57","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"368383636e7ab6e71bbcb18edf7d64b40a1ed3bd","datavalue":{"value":"Q56939621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$708451D2-4356-4B3E-8EDA-9FF4F331DCBA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbf9b02150aa85903ec6e388097ba69fdaf03b3b","datavalue":{"value":{"entity-type":"item","numeric-id":25606,"id":"Q25606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$50D03F23-ADBB-4A58-97BA-459121893100","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":"Q652158$42366D73-E8F7-4094-9B9E-BC919C816918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fdd403046e90330d94b3e7085578af2a70a09b9","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q652158$92187F2E-2EDD-459E-867D-DCBFB62D025C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"031d968d9761b844d7a9e96d7e6d882abf31fff5","datavalue":{"value":"W2034971125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$72782518-45DC-4754-AE86-A0C18261C483","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$719692A1-7E92-42C6-91DC-108A25A1F590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$FB071802-3B89-48AB-9385-4798DD5AF5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e712402cd9dcea168c6487d4b5255a19d7db902d","datavalue":{"value":{"entity-type":"item","numeric-id":2852353,"id":"Q2852353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$082E2BD7-6721-4AD3-BD7E-89232183275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$8F7D9AEF-8DF3-46B5-A5C3-BA2228C3D4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$50566253-1989-4236-B178-D11AF4AE8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$DC748F94-22FB-446E-B12D-A0EAEE0F05BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b906ed7d699bbc4a79873ab988d4b6a49dffd5","datavalue":{"value":{"entity-type":"item","numeric-id":5428915,"id":"Q5428915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$BABC547E-E67A-4B0B-8E2D-D0374222805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$D8D40E62-E1CA-465A-9ADF-BB341E8F66C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec0270c04bfc6c16201233484fedb936e91e6a7","datavalue":{"value":{"entity-type":"item","numeric-id":4255556,"id":"Q4255556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$72A023F0-FC57-4FD8-85C1-96C792BA2C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$AB97516B-189C-4473-9B9D-65361BB6D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7933a6ce89f4a8e0851535dc2c946a483c80d0ab","datavalue":{"value":{"entity-type":"item","numeric-id":4923369,"id":"Q4923369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$E66FE11D-B29C-463A-B3FF-51A488765654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed32be8eebfa939344026e8c9cb301f260248e08","datavalue":{"value":{"entity-type":"item","numeric-id":5548674,"id":"Q5548674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$9378EBB1-E4A0-4FA3-A652-4F83B2165733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac73e8f42d9476d5fc49136da1df26ada556034e","datavalue":{"value":{"entity-type":"item","numeric-id":5900547,"id":"Q5900547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$C808B85B-2018-4655-99F7-1EA9A30AFF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83784a6b359821a57b6a856f8070f1b965ba9748","datavalue":{"value":{"entity-type":"item","numeric-id":5307481,"id":"Q5307481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$54D2FE98-7F3E-48FE-90A5-37EDA27AAB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$897318FE-6BD4-4E52-9A0A-5818F6B9F749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$45EA854B-8375-4EF9-A8CC-B3D90481AF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ecd1ff3653c079baef04ed164c52723e8c739b","datavalue":{"value":{"entity-type":"item","numeric-id":3723676,"id":"Q3723676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$3067498C-DC36-4382-B09E-7B6D9F99B1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ceee60449fc5767ba4cfde05fcdc1655f62f81b","datavalue":{"value":{"entity-type":"item","numeric-id":5313085,"id":"Q5313085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$82374A6A-E30F-41A9-8659-4064881821C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$F11D4E1B-44C2-4CED-919D-93266BEAAFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$4BFF424C-7B90-494D-B407-6FCD83BCB642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4567f423ff19d5830db93e9fb1bead79b40739","datavalue":{"value":{"entity-type":"item","numeric-id":1209325,"id":"Q1209325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$1107AA37-960C-4382-B71F-6FBD880BAD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$7837D393-EEFF-435D-86BD-324771503079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$870B334A-B92D-4AD4-B394-88EDD3ED2D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$89FECAEB-F720-4862-A67E-83748D6B1E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70a46df6bd961b87332072844cab9b2ec8e762","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$0297C180-E72E-4750-823B-E4265D77F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$193521A8-D417-404B-8DA3-CAEF4F77B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$FD1D9616-CBFD-4BB3-85C5-2472041E8250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$F29F077E-5BB1-4793-99CE-EE5B3C745FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$18B58C57-46DC-4C32-AC14-262D047D4AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17e8ae9c5653aa5723cc546879365e78cc6cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$2226C496-80D9-4B6E-85E5-5FA6A05C4B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb760dafe3a1dec3e75166aa9c1193599f9cb773","datavalue":{"value":{"entity-type":"item","numeric-id":672230,"id":"Q672230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$0F74D20E-7A81-4C19-9FE4-E6731EA4D5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4964dbcc2d6c924ffbfa971bd713c86d254ac017","datavalue":{"value":{"entity-type":"item","numeric-id":4787253,"id":"Q4787253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652158$94F6B9FE-CE47-4135-BBB9-EA6202473D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6af2cb0b1f7cb15aaaa03e27bf73380bbb88d0c","datavalue":{"value":"10.1016/J.JLAP.2011.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652158$149875B6-2FF8-4ADD-8F39-6B104946859B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a26d0b77219c80a4efdee9386e63553119f1b38","datavalue":{"value":{"entity-type":"item","numeric-id":3455653,"id":"Q3455653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b1ba56a231392f94f164bdf36d1c7db92b6c45","datavalue":{"value":{"amount":"+0.8847588896751404","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":"Q652158$1CC69C46-A0C6-43F1-A8E7-AFDD4EC4D6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55223d3b73e75833108ba3528268cd98f7011972","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436eb6e92e8a49829aade027cebedf225f565520","datavalue":{"value":{"amount":"+0.706093430519104","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":"Q652158$97FDB6DF-7A8A-489F-AFD8-10326DDC7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70e399966a5ac94c34106e0e40de790a9d1bfe5","datavalue":{"value":{"amount":"+0.7058610916137695","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":"Q652158$CC58287C-288A-4BD0-BC13-2E519DFDDA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f1178c67a53f743b5850a6dbe9e586021b5eae","datavalue":{"value":{"entity-type":"item","numeric-id":5504690,"id":"Q5504690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa450112fe0394f68c09c5f9eda209888b9e382","datavalue":{"value":{"amount":"+0.6996040344238281","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":"Q652158$F9559E26-3C36-4BD3-9FFC-D8F99157084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332f2a04ccc75a4e883cc359d72603fb247912a6","datavalue":{"value":{"entity-type":"item","numeric-id":2863887,"id":"Q2863887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bef926b2fa74e2871a5d2f147235001ba2c050","datavalue":{"value":{"amount":"+0.6856451630592346","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":"Q652158$513CF7D9-A902-47D6-BC99-5A947667F736","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linking_operational_semantics_and_algebraic_semantics_for_a_probabilistic_timed_shared-variable_language"}}}}}