{"entities":{"Q3000641":{"pageid":3011365,"ns":120,"title":"Item:Q3000641","lastrevid":51249314,"modified":"2026-01-17T10:56:10Z","type":"item","id":"Q3000641","labels":{"en":{"language":"en","value":"Quantitative multi-objective verification for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897400"}},"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":"Q3000641$F88968B1-F340-4DED-9C9C-E4CD50369432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e705033d9f3e6c09779a41c41a2107b8f112a9d","datavalue":{"value":{"text":"Quantitative Multi-objective Verification for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000641$4AAD7C19-479A-4DC4-9CEC-D9C1E80DD68E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e9218b63144d83c30d09c0e3d96ac261817e82","datavalue":{"value":"1315.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$5D588B76-0D54-4DFC-BA89-D7F958788A20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a21bf7bad381238c7ae5af26bcab1a3ac618b7d1","datavalue":{"value":"10.1007/978-3-642-19835-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$D89DF040-E50B-49A4-AFB1-6B67D7E7E8C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$9931E319-5F8C-43DB-A678-E4740641EA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-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":"Q3000641$D81F1265-B76C-4ABA-BEB2-3AD0D8AE5C6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$A4D1A589-8065-4E58-9AD2-2C8DA15C9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$A112AC6B-6DF9-4496-BF3D-E9AD914F9C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$93E84029-8E1A-418A-B4AE-E794BC34194C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24c3a0b525957c563a9f1f102ea012bd0d55af6","datavalue":{"value":"5897400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$0740FC40-413F-40B5-800B-14373CD4E975","rank":"normal"}],"P1463":[{"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":"Q3000641$1343281C-2BBF-4F2C-9F8B-F858F16DB3C1","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":"Q3000641$9648C939-F177-4E01-894A-E1AD135164F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54e39e58be0d37c5eb662f579070a4185fc4b821","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000641$E13DE7DD-992B-48D1-81C1-0E88FEDD3A9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b790d84053252e536d89f938ef42dc00dc615edd","datavalue":{"value":"W1584965098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000641$197C0152-7AD5-4E5A-AC6E-9AFB359F5B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74427509d935e48ef4816006dd3f8083921199b8","datavalue":{"value":{"entity-type":"item","numeric-id":3648696,"id":"Q3648696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$5090F1FA-CAFA-4B30-8530-1F929A95B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$D382CC45-F295-42CC-A624-86741B4479AE","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":"Q3000641$134C1E32-0650-407F-9AD1-F4CDDFB961D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176492351b6803d6dd45cb238a6cda64a727f5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$6D895648-ECCD-4B95-B8C7-7D5ACDA663E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cf02708bf0290f008b9e51acd21058e5d0eb57","datavalue":{"value":{"entity-type":"item","numeric-id":5458858,"id":"Q5458858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$DEA72B7A-8B34-467B-9DF2-FEAC77948F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7f2d6fad5c26331e30e78154fc50caea5e9387","datavalue":{"value":{"entity-type":"item","numeric-id":5449810,"id":"Q5449810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$146BD20F-3EC7-4793-AF58-9FE6505683FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8100fda4f0b5ff8b7c61d8fc8162b96dd771cac2","datavalue":{"value":{"entity-type":"item","numeric-id":4380367,"id":"Q4380367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$7AAF753E-AE22-452C-8D78-562B306EFE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$DE2A6D19-76A8-410C-A30B-56F17F6D9480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b308e336e78cc559d3734beff3abe660da54ed09","datavalue":{"value":{"entity-type":"item","numeric-id":633299,"id":"Q633299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$90296F33-79E6-483E-9811-E1386FFA8363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b20cc7fbd2b52ddfe2c5020593f88a49b80882e","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$520FFE4A-1666-4D03-B938-F3A567C43949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$76751B37-4BE3-4621-8640-7087F2D1275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$4825BADF-4DE5-4177-AF22-6E725B7BD91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df46e30d71a6986dc9bb4b5f3c63347f51fde3d","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$EB78E600-8CE1-42AC-9E30-91132D47EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cd6b6d7c0012c2104fc6f3573bdf7579c9f73d","datavalue":{"value":{"entity-type":"item","numeric-id":2576577,"id":"Q2576577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000641$7C543ACF-56D9-4252-BDF3-F34BB358A935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e98e9a8c1c8cb2d5abc6a2ca591b07594f66b7e","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24436d2bc94a868a396ede98fe2b31669b077b4","datavalue":{"value":{"amount":"+0.8362540006637573","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":"Q3000641$3A220F96-D7F1-44CC-ADFC-6535F63EB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80807254c18f10732710c211898218b99f113946","datavalue":{"value":{"entity-type":"item","numeric-id":5166673,"id":"Q5166673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01415ef4e98c48a4ef94e95a9d5b753d0e134d9a","datavalue":{"value":{"amount":"+0.7926127314567566","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":"Q3000641$ACBEC296-06A8-4D13-865E-47C1D22F7F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db6450390189796b80831ffb81db8a2690f28d","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b34b0a866535eed1e8ae506db2281bcfad504c","datavalue":{"value":{"amount":"+0.7809010148048401","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":"Q3000641$8F01FAFF-52A4-4A49-A5F7-5697A254C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3fac448c9f066ce307710a9cf491a77126e000","datavalue":{"value":{"amount":"+0.7752761244773865","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":"Q3000641$A24EF379-B002-44C5-8B3D-D953BF3E6434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49eaf73ddd65bcc0c361cb9aef2d62d5fceade83","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6d6394c1d73005f221fbee17474c445e95b190","datavalue":{"value":{"amount":"+0.7697690725326538","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":"Q3000641$E596F394-230F-438E-99F7-B31F8BCD1899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000641"}}}}}