{"entities":{"Q386007":{"pageid":387774,"ns":120,"title":"Item:Q386007","lastrevid":61448151,"modified":"2026-04-10T23:26:18Z","type":"item","id":"Q386007","labels":{"en":{"language":"en","value":"Compositional probabilistic verification through multi-objective model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238026"}},"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":"Q386007$BC1109C9-D199-4112-A97B-B45FADCA07B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"443f08f84d79f6d31deaabb44822bc31ea01e3fa","datavalue":{"value":{"text":"Compositional probabilistic verification through multi-objective model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386007$B518F13C-5B5A-4033-AE0C-A8A9DB93A6CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c913ec65859c20f417afc2aaf5d2b2a991adefed","datavalue":{"value":"1277.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$26CA6282-FC00-420C-B44E-CD19AE31BFE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$D836B227-6794-4DEC-9D8E-507E1A4DDDB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386007$BB1E28D4-BCE6-48E6-A9F7-404AE3B50D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$6D2B64F0-F680-4FCF-BA96-0A670A8F5698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$5D695C58-0FAE-4893-8F8B-E11EBC033005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$B79E6178-4979-42AA-AE94-297CB0E3C23F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f2f33b86132d70dda43387d9a6caedccdfc740","datavalue":{"value":"6238026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$9F8F7F7B-FF35-4F32-8A8D-A8FAE064CBB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q386007$1AD6EF04-336D-4B7D-A3AD-5406A90C4840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q386007$E7B3BFFD-D39E-4739-A677-2B937FBB6CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q386007$98064B22-01C5-4CD6-8FF8-9D74DC59BEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386007$C93D7955-D70D-4B63-8EEA-248B56BAFB89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$38FEFC4A-E7F4-4033-A899-87D0D52F2B38","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":"Q386007$3FD52B72-A63F-4177-BEA7-81E349778C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99023ec58cb8edf3b77b69e31813e135dc52e564","datavalue":{"value":{"entity-type":"item","numeric-id":15363,"id":"Q15363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$BCA131BF-AFE7-40CD-81C6-09B246075180","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":"Q386007$19964900-AF8C-4C19-B210-6785CEA4ECAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d446e454fc13a74630af963ee96524a240616053","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q386007$B0C8A52B-2452-41DD-AB82-9684847CB716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be313301ae2b4ded684440d67f2af5f5b4d08ece","datavalue":{"value":"W2104298332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$B13EB6E4-87D4-4487-BB94-35CF85FC8932","rank":"normal"}],"P223":[{"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":"Q386007$5D1F2533-89FB-4F0A-B1E1-658631620E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f225aed1ac06bf5821ced12a7b1ef1089ad20a25","datavalue":{"value":{"entity-type":"item","numeric-id":4038703,"id":"Q4038703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$C851E60C-9445-47E1-B71F-7560801B9FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$5C1D3C48-C02D-4ACF-9864-829110C23CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$E3A55C1A-2CA6-422F-AF8E-387FD7F9F806","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":"Q386007$3446F4CF-899D-4A2E-BDD7-07493B2CD479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0de5ea4e7b1087bddd6d12e5c193b87b65606fd","datavalue":{"value":{"entity-type":"item","numeric-id":5137903,"id":"Q5137903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$3C56109F-7CC0-425C-A699-5B2C5B12464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$8FC71776-C2B4-4BCE-99A8-EC5AEB120581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4082a7c51b6f1ba801151c10aeb7f4b901788aa5","datavalue":{"value":{"entity-type":"item","numeric-id":5709998,"id":"Q5709998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$4BC907CB-7F94-420E-B476-1823B7DE4E1B","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":"Q386007$B1AC63A5-FDCA-41B2-925C-0F55580B4EC2","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":"Q386007$2084FAB8-AE2C-452D-A6D5-542B5FDB0297","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":"Q386007$5B820A78-0625-420C-B07D-2EAD93BD38DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09df45c62e459c7069b1610a42f2bb6d79008a04","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$CB090805-BC68-422D-9265-58C6A961B999","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":"Q386007$B918D63D-093E-4E64-BA57-0A32E0DF9E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$0BB7475F-D7E3-4878-A7C1-F5CCF3632C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c9c2e39e7c5751ce6d268deff30d8206b3aad7","datavalue":{"value":{"entity-type":"item","numeric-id":544454,"id":"Q544454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$26C12850-98EC-41CB-BAEE-876885928F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$17A0CD9F-7FC1-4FAE-B596-EAC136EF5194","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":"Q386007$3BC7B856-6384-403B-94E0-50599157C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$EF6234D8-067D-4D7E-BF9F-62DF768D677B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$8FD6E2BE-470E-499F-9126-A2498FB37105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c4d0c8f7cf7166becf2e87d7b8534ed98a375e","datavalue":{"value":{"entity-type":"item","numeric-id":4649306,"id":"Q4649306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$CC517B25-7F7A-4785-A358-340E964B9A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$C407F9A7-74C9-45AD-BDB6-4F0332DF496A","rank":"normal"},{"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":"Q386007$226EF9CA-8DD4-4EEC-BE6C-F2F54D218D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$36381E76-3C2E-4869-848E-A714533EC58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1c0bf45a94eb17ba9463d772e2cdda4555e240","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$7A2D726A-D6AE-4799-937B-0E5606A43AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$A5FCFDB8-AD9E-43C4-A3FB-A0E0F0A85341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$D16EE07B-B5F4-4E98-A40F-460661495F02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd5eb4b18ccbe3246618a0c77cbdc1c446a5f659","datavalue":{"value":"10.1016/J.IC.2013.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386007$3DEB87B2-30B2-430D-92A1-3441FD372913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$25299409-4F61-476A-A791-58A677888F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$62187942-BBF3-4A6F-851F-D36F0E33C180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7082411e9d8fffc47a14ee0f73e6a8e7309517","datavalue":{"value":{"entity-type":"item","numeric-id":540995,"id":"Q540995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$457EC052-BF59-4EEF-A349-34BAABE534E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$3F9B762D-D916-4ED7-BD75-A50E09B006F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71e75767d29b08405dd048f4e3cbf9a79260b5","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640c016c01540924a665b4ae5ef2aaceeab5f675","datavalue":{"value":{"amount":"+0.8452383279800415","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":"Q386007$C71295C8-BBD3-472A-96B8-B026E5A9084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afcdf1c63fe967a49023340bae7bc23892f419","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"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":"Q386007$28F352B2-21A1-465C-8AC8-CF01274657A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf70a90999b3fb1450f24430082d8a3d25625110","datavalue":{"value":{"entity-type":"item","numeric-id":3172942,"id":"Q3172942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1675c8102c594a1d79d9235ed1b1ccaaae373f3c","datavalue":{"value":{"amount":"+0.8026121854782104","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":"Q386007$0E830834-7645-4966-A3EE-12664230868E","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":"a9a3ca008a1ddc3a487d1aa631ee8171612fec56","datavalue":{"value":{"amount":"+0.7935932874679565","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":"Q386007$B9A56DA5-27C8-4866-8302-D669861DDB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926f421b3614b1b6781388333980c7704f681a45","datavalue":{"value":{"entity-type":"item","numeric-id":2819835,"id":"Q2819835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f532cf6820c855e3c4a8ebc485ee87f92baa88","datavalue":{"value":{"amount":"+0.7717009782791138","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":"Q386007$7C4A31D9-79B8-4E4C-A349-C0BB0F4E1F28","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386007$60A0230F-99B7-4DFD-954B-0230EC1F58FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional probabilistic verification through multi-objective model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_probabilistic_verification_through_multi-objective_model_checking"}}}}}