{"entities":{"Q853731":{"pageid":855579,"ns":120,"title":"Item:Q853731","lastrevid":64842504,"modified":"2026-04-11T22:36:13Z","type":"item","id":"Q853731","labels":{"en":{"language":"en","value":"Performance analysis of probabilistic timed automata using digital clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073688"}},"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":"Q853731$CFD8FC19-717B-4E4E-BEBF-8B07DA886F91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2233acb9dce6af13ed26c6737e2d1e6a95f2bf43","datavalue":{"value":{"text":"Performance analysis of probabilistic timed automata using digital clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853731$79A9A35B-6C51-4935-845F-82DF4FB58E76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"883553b649bf9be71b2222b51c0e8109abfe6971","datavalue":{"value":"1105.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$0B9D2FFC-DB69-4E51-AF0D-D9E71CD3A717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$85C41A71-4676-4421-BAAA-E3023D072130","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$99EE9C42-05D4-4212-956F-BBD9995EF14A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853731$B52670FA-7FA4-4505-A037-8038E57550AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b05b80b9feee3c54e188bccbf0afe08ad7cf5cc4","datavalue":{"value":"http://eprints.gla.ac.uk/43789/1/43789.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q853731$50812241-E518-437C-9D3A-D58B313BB0D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$3E646A5C-1E9F-4F70-9A91-DCB6BF56AD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$BBD1B2BA-3D6C-49DC-AA13-2A15CC693B0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d2c1bfe84156a1c3843a02c44217cf986716c2e","datavalue":{"value":"5073688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$D5C60C8E-4450-4E9E-887C-4DA0FBE57566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88b802b4b39cb9308d672c152c2b4ad79a2a2cd","datavalue":{"value":"Probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q853731$04F814B3-96A7-4377-9C9F-6D49AFFF4178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q853731$78D9BF48-DEF6-4AF7-921F-C49FF4A11BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f566e224dcb3bf89419dd939dd8ea75d53721a","datavalue":{"value":"Digital clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q853731$9536B5E0-9C3A-4F8D-B5E8-1E4F95D2BAC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$CA8405CE-2F9B-4C38-973A-BC7D196366FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$C12DAD13-96DC-471A-AEF4-0E16C1E803BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$7C9A864A-C45C-4DF3-B76A-178D365B7EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$02F60B36-9791-41E3-8EA7-3142F11D92A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$7E817104-B80D-4872-8B45-B8D351F8139E","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":"Q853731$24742503-39AB-46AB-BC43-B900AC5D6D9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2ea24922f5b17611868de56d36df765d474b4c2","datavalue":{"value":"W2028827800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$E49E36DF-DDA5-416B-B2C4-6F69E8D8E1B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$E317CA76-6BAB-4877-A7D0-421C40233E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$93D144EF-50F5-454B-85A7-4F04C20CFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$BAD00810-4D34-4D61-B480-1E3C99373FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$FDC8776B-DC1F-46C3-A264-3032F0882194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff77768c6b0ca77f3146f58c6bcd666e8eaaa54","datavalue":{"value":{"entity-type":"item","numeric-id":5717503,"id":"Q5717503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$3590AFCB-2E31-4805-9131-4E0556B2A0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$6BC9A125-C16B-4A8B-B4BF-BFADFE287DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$1C621EB0-5954-4E82-ADBD-57C7EA2EA33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$50ACE765-F6FE-47D3-9A94-BA7D410120B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7252cd0352789e148fa87ef01a9cf8f2460a6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3986758,"id":"Q3986758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$68E0DFBB-6D6F-45DD-B922-28C983E67702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c46a80ce044fc1f0b44470b9445d955de57df4d","datavalue":{"value":{"entity-type":"item","numeric-id":2763979,"id":"Q2763979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$092C5535-D1D1-49B0-8857-08B8B77E9629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$585CD140-306B-4256-AC96-6893E2D041C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$E8C51280-1FE6-417E-8627-640E4B73380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771096eacbd8ecbc3cd371619bc85cbb2c2d7025","datavalue":{"value":{"entity-type":"item","numeric-id":2561156,"id":"Q2561156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$E5056152-AC84-4740-9E0B-4D7CAB56C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7740432e4336265e945966de7c08a93bb0f50","datavalue":{"value":{"entity-type":"item","numeric-id":5799972,"id":"Q5799972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$FF3A4751-FBAE-4AEE-A382-BBC4E0EE6C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$2CA5E327-9F14-4086-BBFC-3E6F40CEDDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$74CFF7E4-8C65-4782-A716-BDBFAD40EA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$D66E77F5-3D95-4714-97D5-602DB3426E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78226e26118bf16bcfb0a55873ff4d9b266c6180","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$B4D18A0B-FC75-4EE4-9CFD-311C4906B328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8949995d2915e39d219e277c8caa1eb294fcf85","datavalue":{"value":{"entity-type":"item","numeric-id":5717504,"id":"Q5717504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$C78100C4-5AB0-4B3D-9CFC-413920A66ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$AC757E2F-965C-4714-A63A-22DB96F356E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ef90505264a1df04ce9ee7c76ea0c041cd359e","datavalue":{"value":{"entity-type":"item","numeric-id":4791267,"id":"Q4791267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$267048C8-5022-407C-B86B-55668E140F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be85080d11fddd5ae2d99ce5177bdd9222e6303","datavalue":{"value":{"entity-type":"item","numeric-id":4813204,"id":"Q4813204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$A3F32132-76C3-4CCB-8BF7-1D01B6C97692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$76603796-90AE-44E1-9DAA-250E2DCB185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60edc7eea947e115dd0db0db26305a30610bfbeb","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$3EFDE10F-E982-43EB-9540-8BEC013E90FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$5FB249DB-4BAC-4FEF-B206-3E2A40BB0E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$31CD9000-46C5-4937-A02B-0AC122A9C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7838783b2fd2c7d10e9b14ac4ad6ab22b7aa8f6","datavalue":{"value":{"entity-type":"item","numeric-id":4472226,"id":"Q4472226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$311ACD82-071C-4215-9016-CA384214886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$7A0A7690-5939-40CB-9E2C-5AE02E92741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$F77D47E6-454F-4563-8B67-6DDAABDE2B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20177207872af8a908fe37663b57420eab8935c","datavalue":{"value":{"entity-type":"item","numeric-id":5953461,"id":"Q5953461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853731$06FD7C9C-A2ED-4451-A226-3D48560FB030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc367c4c94426d18dce4861fde15dd369817e211","datavalue":{"value":"10.1007/S10703-006-0005-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853731$535D5A40-4CD0-4FF2-9B46-D09DE71DCF00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb53ef552f966f863f1a845d6aae49cc0299627","datavalue":{"value":{"entity-type":"item","numeric-id":5717504,"id":"Q5717504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb03a2e071f72c7d4b98b0b80a5518b29963d22f","datavalue":{"value":{"amount":"+0.9491935968399048","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":"Q853731$DE30675C-F4F3-4CA5-97D0-F1882260D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a57ddc38c176358e8889a6e20eb8b05694753a","datavalue":{"value":{"amount":"+0.8396252393722534","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":"Q853731$0BE63D8D-4CB5-485D-B547-5158B50607D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59d9385b8adcf83ae66fcf56dda57369c3ca63c","datavalue":{"value":{"amount":"+0.8330070376396179","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":"Q853731$660CB179-59D2-4E61-9BEA-AC22B6B10141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bec491de64e31cd2b46bb6523bfac8dd1c5be40","datavalue":{"value":{"amount":"+0.8276770710945129","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":"Q853731$98A65A07-9C22-4BEC-9C3E-172C4DAB5B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f76ccad9bb0f2a7eed919ae85f083a6e3cd63","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e897ce4c9693660d37821225708c8a0dad8ac9c0","datavalue":{"value":{"amount":"+0.8005406856536865","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":"Q853731$A9FC8F5A-B2D0-4C76-B3F0-07F35DFE8E48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Performance analysis of probabilistic timed automata using digital clocks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Performance_analysis_of_probabilistic_timed_automata_using_digital_clocks"}}}}}