{"entities":{"Q4633524":{"pageid":6663105,"ns":120,"title":"Item:Q4633524","lastrevid":58313205,"modified":"2026-04-04T16:35:38Z","type":"item","id":"Q4633524","labels":{"en":{"language":"en","value":"Termination analysis of probabilistic programs through Positivstellensatz's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050629"}},"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":"Q4633524$0D30E51E-0285-4228-A156-01B51D3D593C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d1808b8042f7f64d9158b58a1b196ee4c984df8","datavalue":{"value":{"text":"Termination Analysis of Probabilistic Programs Through Positivstellensatz\u2019s","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633524$4BF576DD-BF06-4E6F-98B3-AD214CC13DEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fecbc72796301052eb40a343944aeafdbcc58e44","datavalue":{"value":"1411.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$1F9D9039-2EAC-4BB5-BA2E-FA737A997B8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4c4f7973fa336abf986cfe95c1444750d65d44c","datavalue":{"value":"10.1007/978-3-319-41528-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$37AD5E35-70B0-4E7C-85D7-FA12DE980AC9","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":"Q4633524$B41C4A9F-2610-4C08-AD10-60E72027C94B","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":"Q4633524$67A23E38-0E9C-4D47-A009-9B092B58FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33efed41fea72be6dc2c0d8d0fef11d2eb9de273","datavalue":{"value":{"entity-type":"item","numeric-id":2164208,"id":"Q2164208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633524$2454A835-2DBD-4FC9-90AA-D7FDB7125A53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633524$0AF6AE46-A48C-471A-B4C8-F501682C73A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633524$EE61F36B-34C4-4792-9288-19C93E719404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"337045aeb079e8e0c0ddb153bdb7168e47c755dc","datavalue":{"value":"https://arxiv.org/abs/1604.07169","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633524$06846F90-B2A5-4317-904F-DA3CC7138F81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$2221748B-AF00-44CE-84E4-10702CB50EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ed4d55e3e61150aa8fe2d0b34dd7ca7ed0b67ce","datavalue":{"value":"60G42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$3FA9667B-5CA5-407A-8C07-BE0347382A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b10bedd26ff0e2ab3a8323b80980f79bc3a7b1c","datavalue":{"value":"7050629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$2A1B762F-5A04-42EB-85A4-19CFC561441C","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":"Q4633524$023F6825-1E86-4192-9291-A5F2EF2EDDEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30df3f4a04b2414fca231607aa7015bd72d725a8","datavalue":{"value":"W2435583538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633524$5DB11A5C-F82D-4EAA-93B2-9ADF1133A545","rank":"normal"}],"P1643":[{"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":"bd0b6e70936101b6dfcf8df8b7a73d7751834ab9","datavalue":{"value":{"amount":"+0.8650041222572327","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":"Q4633524$C21754C8-EE96-4B7B-AE27-C749597D8DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ad65784cafc906c770c5a88349840c6fe705f3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"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":"Q4633524$9C5F6418-27F3-4372-9744-9BE616D9AC9F","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":"12467c1de378b23e39b402cd5a59b89c630f0745","datavalue":{"value":{"amount":"+0.8525800704956055","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":"Q4633524$87747C80-7E25-4ED6-8C22-293C9EC5C56C","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":"516909cdbf9cd03a66a9d6eb65364082e106d9ec","datavalue":{"value":{"amount":"+0.8343992829322815","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":"Q4633524$510634C1-C6CA-4686-8EBE-4D3903F1B58A","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":"161fcd7fbf135cfb2de2d8d8715ed767e51bee7d","datavalue":{"value":{"amount":"+0.8248299360275269","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":"Q4633524$3944F5B4-9129-48E7-92D9-34E488E4FB28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633524"}}}}}