{"entities":{"Q4649306":{"pageid":6678887,"ns":120,"title":"Item:Q4649306","lastrevid":58321308,"modified":"2026-04-04T17:24:48Z","type":"item","id":"Q4649306","labels":{"en":{"language":"en","value":"Pareto curves for probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109378"}},"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":"Q4649306$2ECD2D29-B421-4664-97B5-13CAF401A26F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"286dd35f32c03a30d7f2d5ad63eb506c8c2d07e0","datavalue":{"value":{"text":"Pareto Curves for Probabilistic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649306$99FA8EF3-245B-47DC-A783-F90D4717BB2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6515949771cdbdfc20960dc44d33e7115c1ce71c","datavalue":{"value":"1374.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$7386F92B-D0AC-4B1D-8E44-5F1587637909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c67024b5e760fbcb2d45ca6e1142070b9c7898a2","datavalue":{"value":"10.1007/978-3-642-33386-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$3A5DF2A7-C941-48B7-ADF2-14C322D30BC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649306$D2445EF0-FBF5-4BC8-ADA3-9930120F9BCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649306$34CFCD27-F1A4-41C5-ADDB-D52A30A2369C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8b8bd95cffc0e6abf6a889f82c8d147eba76c7","datavalue":{"value":"https://arxiv.org/abs/1206.6295","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649306$1F406C80-E9C9-4AE5-BF17-967F878E99D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$F5F507CC-1661-4EEA-8FD2-4BCA5761C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$BBEE96F1-11A7-47C8-A3F1-45252B84EF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0160f0269f196a96d67a99be8a79be4d3a45d828","datavalue":{"value":"6109378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$DB912784-CBBB-4F8E-8DE1-76BFC4DB2F4D","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":"Q4649306$3228F713-2E91-4D6D-B3D6-836858E062D5","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":"Q4649306$EF219FAE-69AF-4E93-9B70-B053A0468125","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43409eb50455d56b30ccf12d174a0018e92a8bef","datavalue":{"value":"W16586245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649306$55732ED6-DA38-4F3E-9B31-7DCAE3062DCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf14b2fe8d7eeaec2be31bff92044513eb60a6","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38139073a2a231355ec43e1a7123f836fe0cc90a","datavalue":{"value":{"amount":"+0.8292086720466614","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":"Q4649306$5A5953C9-22FE-43EA-8749-B4D82D7DD0FC","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":"a92a7d41e7d99b1a3eedfcdc4089c7108b3f8232","datavalue":{"value":{"amount":"+0.8285422921180725","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":"Q4649306$E0F406A4-DFCB-45AA-98D3-1FCC3B530CD8","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":"2500a31d09d1c7832332e9e6b6fe6431057f1293","datavalue":{"value":{"amount":"+0.767562747001648","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":"Q4649306$F9943BC6-EBE8-438D-A676-72902912AD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11ed5cb4765b2c22d31ee849771487bae0e6f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4635586,"id":"Q4635586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a534e6a4a4c6be045e371ad75ad6ddf61f3cfb9","datavalue":{"value":{"amount":"+0.7505791783332825","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":"Q4649306$571E9EED-6F32-4365-97C6-37CB019BB853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b61d282f8709e8798332a2bd6a9d96a707be1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2208304,"id":"Q2208304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb487876fceef64709dc114c61345097432ad24b","datavalue":{"value":{"amount":"+0.7474020719528198","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":"Q4649306$4DEB6C39-8C90-48DC-AF09-89477AFB397D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649306"}}}}}