{"entities":{"Q2287109":{"pageid":2297852,"ns":120,"title":"Item:Q2287109","lastrevid":71768139,"modified":"2026-04-14T00:25:08Z","type":"item","id":"Q2287109","labels":{"en":{"language":"en","value":"Termination of nondeterministic probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157059"}},"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":"Q2287109$08222276-10B5-4E2B-A1FD-3DE0B9A61AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13830ce4f1e322006dd98fe5771e64214088868","datavalue":{"value":{"text":"Termination of nondeterministic probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287109$790AB2E0-494A-468C-9A8A-2C8B16E51987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e4a8be2e8ab4a34d8ededac59a3bd7cf11a78a","datavalue":{"value":"10.1007/978-3-030-11245-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287109$A6A8AA05-85A0-4F9D-9BFA-4EBA79E85855","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a88149d12fac096f222b3d8514ac60f424d444","datavalue":{"value":{"entity-type":"item","numeric-id":256505,"id":"Q256505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287109$4B89A834-8F51-45B1-895E-6597068D5B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287109$85FE7DA4-5E8F-4480-B2A1-51BEDEFF3E70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-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":"Q2287109$8202DADC-B104-4357-96E0-4723AA3E274F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287109$7638F761-DA27-4C18-B56D-769646E2F27A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a37a3906551a04f07a513ee0981b1e7ce37c656","datavalue":{"value":"7157059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287109$978AA50D-7D21-4509-81FA-A88F5D1DD0E3","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":"Q2287109$9E80F71E-55A8-43EC-B10E-B67AC2533AB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceb9b0401f346eaca712f0e82dcab0cdb653e738","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287109$443CE9D1-F43B-4A0A-A1A4-41B81D5FE8A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"286f565559b52fcd60cfcb53b91c960c1aa37dc3","datavalue":{"value":"W2908549554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287109$C6F95AC7-90E2-4C6A-B466-1034AA814B62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd952b571a9dd36818cd864b91bdf80b817f282","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f666385c3e3f24460f0b87087002ad8b3246fae6","datavalue":{"value":{"amount":"+0.8638629913330078","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":"Q2287109$DB66AC70-2DC5-4946-B2AA-F80951481345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0fdd257d206239f5396495178802c69c4b0a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84be39b030f775e23169a501fcdaa5d9885ae367","datavalue":{"value":{"amount":"+0.8567193150520325","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":"Q2287109$F04C7689-F699-4FC1-8C5D-AB2BF459640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3469a3d18b764a91eb7f34046613eadaace5a98","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8bd69bd51ab1e49923fab3a9daed7e595a73bb","datavalue":{"value":{"amount":"+0.8416789770126343","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":"Q2287109$BAB43D35-31E8-4CDC-9255-2EC23A8D1CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77b25d279acfbd9db679798dcf23997d7d9438c","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d891c544498c73601c1619f66b46be6ed5ad8e74","datavalue":{"value":{"amount":"+0.8336448669433594","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":"Q2287109$BEA33DD6-DA8E-456D-A12F-E6BBD79E709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166a8858962728707710dc92403e698332eaa570","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116f4bf5f8103bba2254cd5357823ed70410b7a5","datavalue":{"value":{"amount":"+0.8186811208724976","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":"Q2287109$42E6B61F-523B-4C64-A738-6EB2786A16C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of nondeterministic probabilistic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_nondeterministic_probabilistic_programs"}}}}}