{"entities":{"Q4635586":{"pageid":6665167,"ns":120,"title":"Item:Q4635586","lastrevid":41157426,"modified":"2025-04-18T13:37:47Z","type":"item","id":"Q4635586","labels":{"en":{"language":"en","value":"Trade-off analysis meets probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863059"}},"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":"Q4635586$90DF2A2A-4431-4315-8ED0-8E607ECAA666","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad3b11d8daa00a20d15b61b8617f64a10f503e5f","datavalue":{"value":{"text":"Trade-off analysis meets probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635586$97144A50-557F-4D95-9B4A-C858214E41D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b157030bb93e6b7eb00086b057f609a2f297f81e","datavalue":{"value":"1401.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$4718DE4B-46D2-43FB-89A3-36A1880C9C33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ac64e5c5adfdf05779dcd5943cdf9f2742110ca","datavalue":{"value":"10.1145/2603088.2603089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$07E5A3A2-74E1-4775-913D-E5024D6E760F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5a685543483d63933f096aecae849e7924d619a","datavalue":{"value":{"entity-type":"item","numeric-id":436313,"id":"Q436313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635586$49F70D2D-6AEC-469B-B258-C73D7A0FBC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed2781b53a0a8b46d604dc9c062a87a23780da56","datavalue":{"value":{"entity-type":"item","numeric-id":967522,"id":"Q967522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635586$C248DE12-5514-46EE-8154-54F5280CBEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635586$59FCFDA5-46E5-4A6D-9ABA-38151E3D869A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635586$55FE9F5D-4C55-4FED-83AA-1488F49B841D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635586$5BF5BE39-E705-4008-BDC2-0AC37026B4D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$2B6D8B7F-D889-4CC3-BE5A-44BDC44286CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$BD655DA5-5BA6-4330-BC5E-6E9EB7BF6A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b2f92b1b091d8ac641f7511e5a146251a54cf8","datavalue":{"value":"6863059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$4594E192-9687-42C5-8F40-F3025E608755","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":"Q4635586$CFC97E5E-5218-45DF-96CE-9AB24DF6EE81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60919815206f561955925a4436e3c9e2bb61c142","datavalue":{"value":"https://doi.org/10.1145/2603088.2603089","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635586$EB8CD4F9-2277-4CCC-BAAF-4C837CA7CEA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8956d44334d1f8e4af87ee6e1b3133e2bebc6a83","datavalue":{"value":"W2095390318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635586$8F0425E7-8769-4CF2-B67D-864455968935","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4947bf0221aa37049a819bdd1edcd87053e9cdb7","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660a8cdf4751b15bed51e27ebcaf1e6b16f3be6b","datavalue":{"value":{"amount":"+0.91867375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$9E02D591-EC10-4BE7-A9C4-1DA85571FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8dee33a79be06bb2101144b02ee92f04573bd2","datavalue":{"value":{"amount":"+0.9068452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$18C2C54B-4501-4DEF-B044-FC86AF81F11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6a1e8b723d21ca126c3b829455f59496d5d210","datavalue":{"value":{"amount":"+0.9067191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$E9C0ED58-07AC-4DF5-8783-0DEA94747513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff3a60de5ef49da670df84bd90887c5532833a6","datavalue":{"value":{"entity-type":"item","numeric-id":5216078,"id":"Q5216078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8bc2d331413ee94088bcb8fc8a68b3dd9797c4","datavalue":{"value":{"amount":"+0.90599346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$9AD5A80B-E84D-48A8-9E63-C82CAB7158DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b8c73c1c8dbe31a5bf7501571d98246ca4dec0","datavalue":{"value":{"entity-type":"item","numeric-id":2336743,"id":"Q2336743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78177d1dd8066c1cbc684aedd134087800395b2","datavalue":{"value":{"amount":"+0.90460634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$20A3CE3C-CB54-4EAA-A70F-42FD2F328492","rank":"normal"},{"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":"298a0edae8ac74296135be7eca63227e28f2dbb9","datavalue":{"value":{"amount":"+0.90407985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$110EAEBF-4E2D-45B4-BAAB-6A21395D952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3028a7c2258f7f94fd5edcb4b7d18a73e9a005","datavalue":{"value":{"entity-type":"item","numeric-id":4899147,"id":"Q4899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909c388b79139344b4496478cd9bc743c9b30b55","datavalue":{"value":{"amount":"+0.90377474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635586$6A3865C1-1351-4A59-AFF7-9CAEB1D4E0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635586"}}}}}