{"entities":{"Q5150951":{"pageid":7180522,"ns":120,"title":"Item:Q5150951","lastrevid":31769770,"modified":"2024-03-19T19:30:44Z","type":"item","id":"Q5150951","labels":{"en":{"language":"en","value":"Termination Analysis of Probabilistic Programs with Martingales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311047"}},"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":"Q5150951$659D5CF4-522B-4C84-AD2A-A644BAABF6B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1db8cf5b6eabaa2d4d3ac5490281142172883069","datavalue":{"value":{"text":"Termination Analysis of Probabilistic Programs with Martingales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5150951$72133973-C301-48BB-A4C9-917CC06E3D85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0643fc3667a9072d5259b6239da446d490bf5f4","datavalue":{"value":"10.1017/9781108770750.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150951$A164872B-CAD2-48D6-8D5E-554A0F6F3C12","rank":"normal"}],"P16":[{"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":"Q5150951$056BB0F4-3191-47F3-858C-0E0A5C7445C5","rank":"normal"},{"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":"Q5150951$345AF066-CC1C-4543-86E9-B8DF5C08C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11678640a6e912a3bd5c6e3abd03521868996d7","datavalue":{"value":{"entity-type":"item","numeric-id":855151,"id":"Q855151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150951$22F0DADC-14B0-49B6-B92D-1944289E0C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e52e4b93ff503064121ca3520ea0d96485ffc3a8","datavalue":{"value":{"entity-type":"item","numeric-id":5150943,"id":"Q5150943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150951$F3D0E500-DC0F-465C-9BFD-31BBFD7F1A53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb6d0c59335c1f7f7c958651ce65d4dd55c412f","datavalue":{"value":{"time":"+2021-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5150951$59779499-4897-42E4-820F-7DF446C4D5E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150951$A4D3BE47-73A9-4EE9-A841-57E06F63A459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e599e2f03132be10053041f40e4cbdb64d9133","datavalue":{"value":"7311047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150951$C56E6CEC-AE0B-4D82-97F6-A06F5FF80A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10a6d9eecd81833801dba1c7e4716d12489f780","datavalue":{"value":"computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150951$8160E444-DE03-4187-B293-38C6DB3A4F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1179069f8b399635dfde964c1ef73420665d8f","datavalue":{"value":"computational statistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150951$EB9A8386-9978-4956-B180-49E9849A6021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29beda3621e0a64de00958eda8b3b798eead43b9","datavalue":{"value":"machine learning and information science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150951$B3872922-8EE7-4B8E-88A4-178D7FAFD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4f13e95eb01982ed9dac9e400145ba8180d637","datavalue":{"value":"statistics and probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150951$A20E5033-1A11-4E53-A0D5-432B339BCEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb19761e79eda4360b807a0be4a80dc55d7117d6","datavalue":{"value":"programming languages and applied logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5150951$688815C7-34CC-4CC6-91E8-BB71EC4507E4","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":"Q5150951$B77662F6-46D8-4EEB-B1B3-F0451F12E08C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c9c6a362caa63c91cac2da0cb3046d116a021c0","datavalue":{"value":"https://doi.org/10.1017/9781108770750.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5150951$AAFF4409-D565-40F0-8CEC-AD36610B8345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"548d3f5f9aa3ab12880f29a1741ed2dbc6d8ee67","datavalue":{"value":"W4249985776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150951$35D0F7A2-D9D1-4658-B54F-22B2A70D54F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5150951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5150951"}}}}}