{"entities":{"Q6535678":{"pageid":14146821,"ns":120,"title":"Item:Q6535678","lastrevid":57514857,"modified":"2026-03-31T05:51:26Z","type":"item","id":"Q6535678","labels":{"en":{"language":"en","value":"Automated tail bound analysis for probabilistic recurrence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798091"}},"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":"Q6535678$4DA54ADE-C12B-44F6-933E-7A69E16D9426","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ea73bed1df3d563b80a258867d48d5274c3ccf7","datavalue":{"value":{"text":"Automated tail bound analysis for probabilistic recurrence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535678$635B73E8-6697-4000-9498-6F6024DA74BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49b379e4ced0c1c8b378b6ff0276d65e67479b77","datavalue":{"value":"1547.68846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535678$0B4C21D5-C0B8-41A5-AE63-793764C77854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0adc100179d643086696b0887f7cda87bb5c319f","datavalue":{"value":"10.1007/978-3-031-37709-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535678$97A715C7-FE8B-4617-A75B-E3B520187470","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc1b175871987e30fb1f9f6a085e958bf2cd28ef","datavalue":{"value":{"entity-type":"item","numeric-id":6535677,"id":"Q6535677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$982621B5-FB53-44F8-A477-257E49EF3E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8381eb53cd0bceb5ed6a3f40217bddacd0ecccaf","datavalue":{"value":{"entity-type":"item","numeric-id":6166144,"id":"Q6166144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$D30607B2-44F7-4089-9164-CEE1A523560B","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":"Q6535678$B6A30F88-3054-44FD-877D-E8F85ED2F088","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":"Q6535678$4EAAC0F5-A5CC-4A31-8CC3-E1040CB1A567","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535678$02340AC1-C820-4E2D-95DF-2CEC96C61FA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535678$B5624B7D-AD97-4DDD-A215-9AFE44E8EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535678$292AD5C9-9D11-4F71-B7B4-34F7FF7E730E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11180246e86d28d2bedc2b2aa691bfd064949ccb","datavalue":{"value":"7798091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535678$5CF59FF8-B6B6-4E94-998A-B32B3950A4F2","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":"Q6535678$C23D2306-612F-4DB0-838E-026BE4B1F90F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbbb64e50a144e5987dd7707ae965d849d78b04","datavalue":{"value":{"entity-type":"item","numeric-id":5301626,"id":"Q5301626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$CBA9B312-7397-4943-87A4-45F1DB5917C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$5348089A-9761-4540-B9E0-62A5295CF863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$8B88141D-A816-487C-B39D-E75EB5392800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$22CE485A-E4F0-4A79-BA6C-2EDF4C0ED853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6460747f9737a8c19f6eca6fdf44dcd8d54512a3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$A5AADC35-ED56-4212-99F6-E584DF395366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af90d678e70e3ab0071afdbfb682f24ca7747552","datavalue":{"value":{"entity-type":"item","numeric-id":2151240,"id":"Q2151240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$F6C984C5-98CB-46F2-96EB-18330C810B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$E976777D-DE13-4619-AEFA-F2232713BD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d79fae0e490d4de93be67ea5956cf2be9fe74d5","datavalue":{"value":{"entity-type":"item","numeric-id":6487312,"id":"Q6487312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$F73F4FC1-9A54-48D2-A4B0-561B765109C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9932219303365b4b5720c36b0bda5dfd72a1484","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$4A522E3A-CC11-479F-88DA-B5774497E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8f21300850063c7df6291a464d9fcd3c629cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1391296,"id":"Q1391296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$782473DE-1B61-4556-AF35-5EBE9992E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4f03702c52be03337965629337336fdef1297b","datavalue":{"value":{"entity-type":"item","numeric-id":4393823,"id":"Q4393823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$3302274A-670C-4CDD-AC3F-76AE740016E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$714333AE-9098-41BA-9D98-FF702BB365BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7df6c5f8e4981be81c1b788a005568bc7eb853e","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$546E77E1-5947-436C-BD91-64883B6AD62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$2BA7A614-DC72-4859-991A-7170871770A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef2d4ec5e44c7a3ca12bba696067d9d31aef765","datavalue":{"value":{"entity-type":"item","numeric-id":4327630,"id":"Q4327630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$8A2DEBF5-E6AE-4B37-9BF0-51C71CAD1DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5141c3b321e0ea1975aeb311c2a30da9659ad31f","datavalue":{"value":{"entity-type":"item","numeric-id":6091407,"id":"Q6091407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$6FA7B202-AAEB-4848-A90F-4B5B9BE0C426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a6e04284e422247a723507b2763fe9d57622b8","datavalue":{"value":{"entity-type":"item","numeric-id":5716430,"id":"Q5716430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$9C16B133-7EF3-4824-860C-1108B45BDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcddc9dfd595ee9c01d8b36cce208fa784f596f0","datavalue":{"value":{"entity-type":"item","numeric-id":3837380,"id":"Q3837380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$29B11F6B-3180-4610-9DD9-91A119E0C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$DCAC8F64-A19A-48CE-8054-0E314664D775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$BDB95A5F-8E3E-439E-82C5-7F1397B9E06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f03a207ab266f9a3e76128ee5e5e6d36619e055","datavalue":{"value":{"entity-type":"item","numeric-id":1791202,"id":"Q1791202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$AFD36ED9-CA90-4180-BE7F-E401CBED173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3fd1d0a3907365c43a280a3b10844e66d37f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4355928,"id":"Q4355928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$A85E6325-C12D-4A03-8F96-A9D8440E34D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c2550f2044f38e927ec98fa3c402888fe8ba32","datavalue":{"value":{"entity-type":"item","numeric-id":3997813,"id":"Q3997813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$C5EA1D77-5A43-4E70-B707-D68E30EE6199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9ba0440f187d4f50ad29fd621df52e8f76c04c","datavalue":{"value":{"entity-type":"item","numeric-id":1391296,"id":"Q1391296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5faa31eec6ac74c33a4bd61a0aa42935efdffb23","datavalue":{"value":{"amount":"+0.8377739191055298","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":"Q6535678$E54DFAD8-FBA0-4DFB-BA61-6BD73576C5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd83fb35ab452ebf11768274d2fe33b288d3517","datavalue":{"value":{"entity-type":"item","numeric-id":5096333,"id":"Q5096333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0922b87dd87be762264e167eedd00941ee8c40db","datavalue":{"value":{"amount":"+0.8334745764732361","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":"Q6535678$9DEBE3C9-9165-4B55-ACBB-EC51B2772475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6403580c50278aed29fcdd4124590fbd0dbef6d2","datavalue":{"value":{"entity-type":"item","numeric-id":2151240,"id":"Q2151240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a251bb165b6e9925f08fea059470c3d92ce91ef3","datavalue":{"value":{"amount":"+0.8129011988639832","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":"Q6535678$A53F5FC9-4432-4BE1-B0A8-0474BE4E68BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed914fd0bf2ec9d5dfcf3dbc5226fea25f6275c8","datavalue":{"value":{"entity-type":"item","numeric-id":4327630,"id":"Q4327630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391698bb55c741f994c297059c9c0888625588ab","datavalue":{"value":{"amount":"+0.7943441867828369","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":"Q6535678$6B691AEB-BEDF-4F93-894D-78A81930132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f7e500bbfc468599a5544958ae233332d636dc","datavalue":{"value":{"entity-type":"item","numeric-id":1791202,"id":"Q1791202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc00db806056b8e60804e0c84428957746a226a","datavalue":{"value":{"amount":"+0.7868705987930298","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":"Q6535678$16B36F4C-6F75-4A45-82E9-F7F1C92EF9CD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535678$3B83FBE0-7EC7-493E-85E0-32C14B28FFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535678"}}}}}