{"entities":{"Q2848656":{"pageid":2859376,"ns":120,"title":"Item:Q2848656","lastrevid":42266319,"modified":"2025-06-03T22:20:31Z","type":"item","id":"Q2848656","labels":{"en":{"language":"en","value":"Distribution, approximation and probabilistic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212113"}},"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":"Q2848656$A86BB68B-FFD4-484B-B857-08D0D28CE40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184964ae9c32b9c5ecc1b17ce1998db1dcb4e253","datavalue":{"value":"1272.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848656$6D41172D-55D6-447C-AFE1-86F452A535B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf04e69e7932d5c5a0092ec8e0a26f0e5281bee","datavalue":{"value":{"entity-type":"item","numeric-id":2848655,"id":"Q2848655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848656$443ADA71-993A-46D7-A61B-D98415D2AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4757389edbf44ff9df80633fa169671a98af04","datavalue":{"value":{"entity-type":"item","numeric-id":2848421,"id":"Q2848421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848656$41159244-4833-4E08-97CF-F91F4AC61F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"764dc920edb8b321640d6d8191b1ec243d6b4c52","datavalue":{"value":{"entity-type":"item","numeric-id":2478550,"id":"Q2478550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848656$CD03F51B-C236-4F5C-A59A-16F349522F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec90d133e47d0c18aea7f6eb0155ee89eb2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":630593,"id":"Q630593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848656$9970F4C2-6A76-4692-8CD5-7CFB194B157D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848656$869CAD45-C216-4EC4-9800-A0ACD108B9D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3f0f36bba4848dae0c069c1fd7c4b9eb0eac5d9","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000776","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848656$F0AA450C-7D01-4DCE-A07B-98511A5A0584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848656$61D5E76B-ABE2-43FF-AA80-C40A497E50B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848656$6F8F779B-65ED-428A-83DC-77F7DB6B1D6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8baccca0225a4e5679214ace3c96ad6c994f8fec","datavalue":{"value":"6212113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848656$A95F4EBB-843E-439F-9670-653D00E62E9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848656$7203F2E9-7AF1-4890-88C7-95CCC7C8091C","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":"Q2848656$CE4E883E-862F-4294-8476-3CB581395AA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7690408408937f96d9874135da16c62d0e8c681a","datavalue":{"value":{"amount":"+0.9242415","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":"Q2848656$60B4BDCD-67CF-4FF5-B069-46BF12E33E85","rank":"normal"},{"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":"ef3cf9f1c45ea1c41987c52a07ede93b42147845","datavalue":{"value":{"amount":"+0.9133524","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":"Q2848656$A8C1D778-ED70-47BD-ABF9-09434CDE058D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c3e3a4c3d3170926a05064c5427c69f2a9ff06","datavalue":{"value":{"entity-type":"item","numeric-id":5896952,"id":"Q5896952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7afef7a491b74b4b2a4b319f7001fea0b179210","datavalue":{"value":{"amount":"+0.9078813","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":"Q2848656$76595570-74A7-4A4D-973C-3630242BD738","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":"1ab1f36f558146684f91d652fbee2c8a7a1c58ab","datavalue":{"value":{"amount":"+0.90773416","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":"Q2848656$0C595C0B-772E-4FE0-A255-FEE56E1915CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122fc09504660607559c9e5dbd9f3f8c414382ce","datavalue":{"value":{"amount":"+0.9074747","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":"Q2848656$6384E02D-0C0C-45D9-BFE7-427B4FFD4164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0eac0d6481876f1e9bc65a5c42e239d76f7895","datavalue":{"value":{"amount":"+0.906458","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":"Q2848656$CF622526-4662-4D8D-9FA5-9B81B61E1DCC","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":"1ce5aafe9e120457517b3bb47a1b0c121e9d8329","datavalue":{"value":{"amount":"+0.90631706","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":"Q2848656$FC0770AA-70EB-4A7A-B600-C4F14199DA51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35fd71c86e1b86ba7f28bb625fcaa80ff0fae471","datavalue":{"value":{"text":"Distribution, approximation and probabilistic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848656$3175ED0D-D015-42C4-ADE1-D742C78A8E9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848656"}}}}}