{"entities":{"Q3455653":{"pageid":5235053,"ns":120,"title":"Item:Q3455653","lastrevid":52413431,"modified":"2026-01-22T14:31:36Z","type":"item","id":"Q3455653","labels":{"en":{"language":"en","value":"Denotational semantics for a probabilistic timed shared-variable language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519772"}},"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":"Q3455653$3FDCFD97-142E-49C2-B15A-4E512247FA90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74149f54014951212539bbe98f50078d703ad88d","datavalue":{"value":{"text":"Denotational Semantics for a Probabilistic Timed Shared-Variable Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455653$A2536085-7117-45A1-801A-FF1D5A28B3F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f4f6de95c44085b942018d0c9ee2f4df1207f9e","datavalue":{"value":"1452.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$AC9F3D58-D0DB-47BC-8778-AFC02B6D1E11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ecc96942b2c846e5dfb945986e8f6c63426009f","datavalue":{"value":"10.1007/978-3-642-35705-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$5911E3B0-FD96-49D3-9954-6D66282C9FFD","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":"Q3455653$C436D98C-9CE8-4EE3-94B4-8835CFA67532","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":"Q3455653$8383B177-618A-4E62-98DD-8382548C1E2B","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":"Q3455653$EA06BB13-90DB-487E-9CDE-A946967DFAE3","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":"Q3455653$79122881-4B59-45ED-97FC-943B592FA669","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455653$8E857160-4C06-463B-86E0-2364D6671DBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455653$1764B2B7-03AB-4BB2-A306-317C4A4D07A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$10142E13-1F5D-4A37-8B0F-EF4BFF7234D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$C8AF14FD-9BA0-4B66-AC20-AE563A659DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$C2D965CD-9DD7-491A-A52D-5476F204661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$E7576D41-7F2D-4F55-B2CE-DC5D806A7F79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571238ab0b6c66c554d5e57d0b16b9b1a4dd57d7","datavalue":{"value":"6519772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$5FD2BECD-E23E-48B7-99AB-66B6A59E5F32","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":"Q3455653$692876B5-1152-495F-8022-76446702B539","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3f410fc44604ae62cb5ecb89a1fe6d773cd795b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35705-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455653$8B9C6AB4-01F2-4184-A285-61AEF0898558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a681388a1f484118dbf1fb1a55d6b6171342ef5e","datavalue":{"value":"W2130402398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455653$C37758B3-D65B-4141-93A1-8B2947C8C688","rank":"normal"}],"P223":[{"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":"Q3455653$89DD2EC9-269C-4101-95EA-65CF00D6DA92","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":"Q3455653$79F84741-B39F-4C08-BB84-A1E083C0DB32","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":"Q3455653$D712A118-D06F-4F9E-B326-B31FB6E519C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba88084cddb1f401de9e107d012f997ab5abe1","datavalue":{"value":{"entity-type":"item","numeric-id":652158,"id":"Q652158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455653$8FDA02F3-01AE-41C4-A729-99AB30BCA8EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5f2e6a155b29a5c552228691fd6cece5c7a1e5","datavalue":{"value":{"entity-type":"item","numeric-id":652158,"id":"Q652158"},"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":"Q3455653$206AA567-1C03-416D-94DA-F24E8339E76F","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":"91ee5b7f10652d5b0dc590284fbe154c3aa41f70","datavalue":{"value":{"amount":"+0.7492347955703735","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":"Q3455653$E8049E3D-6B26-4428-8BF8-01C7AB801EA4","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":"f17be4d251bc8f1bf4757bc2a5363fa124ff9b11","datavalue":{"value":{"amount":"+0.7332316040992737","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":"Q3455653$42F0428A-DF17-4B61-89A7-E20881C96C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd033f9c8cfeaa38f6a983509aa221ff01041e9","datavalue":{"value":{"entity-type":"item","numeric-id":4255551,"id":"Q4255551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ddbd37f17c2211c6eed8d0a73e854379d906b4","datavalue":{"value":{"amount":"+0.7227741479873657","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":"Q3455653$ABE69FBE-9200-4434-94A4-27FDF4929977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb3ce8ec3eab55b110894515051c86926517efe","datavalue":{"value":{"entity-type":"item","numeric-id":6044121,"id":"Q6044121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ddbd37f17c2211c6eed8d0a73e854379d906b4","datavalue":{"value":{"amount":"+0.7227741479873657","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":"Q3455653$BF931AE6-3474-4900-8DF4-F39114FA7964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455653"}}}}}