{"entities":{"Q3588082":{"pageid":5617986,"ns":120,"title":"Item:Q3588082","lastrevid":51077123,"modified":"2026-01-16T13:09:46Z","type":"item","id":"Q3588082","labels":{"en":{"language":"en","value":"A framework for verification of software with time and probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783571"}},"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":"Q3588082$F09B8718-AA7D-4129-B3F3-9F136444A79F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc8f911ac2bbd19d69e6e75b12c682d572bd1871","datavalue":{"value":{"text":"A Framework for Verification of Software with Time and Probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588082$5896F28F-AB92-43C8-B0F9-C70F37A2F1D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30c6adadfc9762a3005acd9c164b629842136bfa","datavalue":{"value":"1290.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$82DD33C3-845D-4775-8AA5-FEC2CBF1A422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0364233984ffdea84dd0a9e06f4f82e5c5269fac","datavalue":{"value":"10.1007/978-3-642-15297-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$DAF5FDF5-C5B9-4590-83DA-C97929FC507B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$6ECD1B08-5BD3-4E14-AF66-DFF6EAED788A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588082$13372544-3226-42CA-BA18-18CECC44A03D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$672ABD87-46D5-4CC7-B4E2-C37CD3FE04E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$ABE80DAE-9381-4AA0-A0E8-A073C06DA8E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e723f063ae153ae95237d9b4ca3bc0176a46ac21","datavalue":{"value":"5783571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$CE7EB06E-5DDD-428C-B811-5D9FF3EE7C33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08feb5f24d7283e812453ad37efcb65c74f657ea","datavalue":{"value":{"entity-type":"item","numeric-id":21933,"id":"Q21933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$E65B1602-7406-41B4-8BDB-931912E9879E","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":"Q3588082$B7FA9EA8-E28A-4AB2-88FD-87B4172B1FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$DEB9E2B1-56E2-48CE-88DD-6A609C64BAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6120f2b75e3b962f422b7f4da948411de439246a","datavalue":{"value":{"entity-type":"item","numeric-id":19824,"id":"Q19824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$E2FC0C37-C1CD-4F83-A832-7B9EA2FA9BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$146B3F1E-4E97-40A0-B95A-84067CDA7BB5","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":"Q3588082$087DE399-B134-48ED-A648-D16A87A9909B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$A8014F8C-2C54-4B7D-B3BA-85DC25675C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31cdf0f4083f5870ed5be520dd72b1b74e7be3cf","datavalue":{"value":{"entity-type":"item","numeric-id":21934,"id":"Q21934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588082$4C6E4BE8-B4FE-4743-A0ED-1EAFDB9426B6","rank":"normal"},{"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":"Q3588082$7255FAF2-6B7A-4DF1-9143-07488155ADD9","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":"Q3588082$0449E122-45FC-46E3-8CF1-B7B20C9FC95B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf704680a688ff59a75494ec57f4a784722fae21","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588082$8536F039-AE0B-4EE8-AE97-14CDB1795264","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8afdcaa7f4d4d00ca90cf0f3f1d0f96e9f24468d","datavalue":{"value":"W1545062007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588082$FA8AD10F-57E1-49D4-9CB0-BD51BC2E66B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fabffb97414819dfa09f8d83abf23af76d0943c","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74a719b195686e494a4324d96948ad0ffcf6116","datavalue":{"value":{"amount":"+0.7865710854530334","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":"Q3588082$7A00435B-2CE5-4E02-8D84-CDEAD189C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5887f9864676debe635b911243e34163ddd172","datavalue":{"value":{"entity-type":"item","numeric-id":2931788,"id":"Q2931788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795f0e35159e91133f5aaf4d0df6565e0b789533","datavalue":{"value":{"amount":"+0.777702808380127","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":"Q3588082$98DFCD97-7BA1-49D5-A24D-0809EB7DC5E5","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":"d32ba0f252ab108648a2cbde6243f0ab2d7f8321","datavalue":{"value":{"amount":"+0.7625656723976135","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":"Q3588082$F0383D37-F5C7-4C34-96ED-38173530C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a4b6305c66d59d806e69cccbcb27936724de0d","datavalue":{"value":{"amount":"+0.7581917643547058","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":"Q3588082$FB35F217-F23C-43B7-8D02-F4D7BAE19CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047c4ecef8f138dec499293682e6a3ba80abcc48","datavalue":{"value":{"entity-type":"item","numeric-id":5896951,"id":"Q5896951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2c4261f148d45b8ddab6917da6fcca20ea99cb","datavalue":{"value":{"amount":"+0.7511533498764038","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":"Q3588082$9FB535A0-43B2-463E-BAF4-00F28CB8D940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588082"}}}}}