{"entities":{"Q6967337":{"pageid":21307086,"ns":120,"title":"Item:Q6967337","lastrevid":84054296,"modified":"2026-05-08T22:52:48Z","type":"item","id":"Q6967337","labels":{"en":{"language":"en","value":"Asymptotic complexity estimates for probabilistic programs and their VASS abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056629"}},"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":"Q6967337$7E781F34-C48C-4D38-A2C8-39C3AE0A1905","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b01f94a500ed7f7cb26a5b81d93c3ec8d02eb6e","datavalue":{"value":{"text":"Asymptotic complexity estimates for probabilistic programs and their VASS abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967337$F65E9094-A9F1-49C0-8D15-D4898CFD4287","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a827a63f82daa86d4441fe490c5145fc1351839","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967337$5D34634A-9102-49D0-B211-8F78ED2AC400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a566c1286b4fd4e5415052f00135628baed1431","datavalue":{"value":{"entity-type":"item","numeric-id":6176112,"id":"Q6176112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$E2BCEA9B-14C2-4744-8FC0-1EEFB12A26BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74580d0bb4da5d2a539bdae3b264eb04c1a1fb49","datavalue":{"value":{"entity-type":"item","numeric-id":277528,"id":"Q277528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$F90179DC-919B-4EFB-B8E8-D466E0A09D7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-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":"Q6967337$949FF478-1839-4A71-888A-4D085B632607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967337$0B58908A-C05C-431A-B9F0-4A6B48952282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01fef7f2d57854ad5433cab13084a4b65e9baa83","datavalue":{"value":"8056629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967337$91D9EE37-79AF-461F-98AA-81E26B79A8AD","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":"Q6967337$3712E6CC-F494-45C3-A45E-999E7C925A07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967337$8BDEB055-C698-4B21-9F7A-E65C17042546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67faa766e133ea5e6790ac85946e7ccb1ec90f87","datavalue":{"value":"asymptotic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967337$60CB62F9-820B-411A-9E68-B3FAC0AF367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967337$368BBC2D-320E-4A18-8BE7-50C8F3CE9EF5","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":"Q6967337$E42D6233-E43C-4844-AB28-764AFEDD53C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"408f52d7973bf7fb40e7034cd25983ec09f4e4fe","datavalue":{"value":{"entity-type":"item","numeric-id":6176114,"id":"Q6176114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$9B9B1874-6675-414A-BA0B-27CDA372F76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3cb7f7b34504170ae9cfb7ad0a3f9aebe1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":6967337,"id":"Q6967337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$C5D6D393-1925-4D41-B2C7-AB169C721EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142c7d623f1af787564d8d62a8aaac474984ec13","datavalue":{"value":{"entity-type":"item","numeric-id":3297606,"id":"Q3297606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$90B469C8-8C20-4A92-8BFA-A3B72C5FF9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8b7a01a9f9b1dca48ee60f6117fc480950f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":5145291,"id":"Q5145291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$C87DBC2F-0F95-4DDE-81C3-BB98CA517C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1d22759dc3e1d2d1547a2cbe8ef2c19f3df9a","datavalue":{"value":{"entity-type":"item","numeric-id":3912057,"id":"Q3912057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$A057A913-8DF7-4731-8AA2-7FCEC58C5E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704863479bad5c6291cd0cb94c7924bfb7a989f0","datavalue":{"value":{"entity-type":"item","numeric-id":3587471,"id":"Q3587471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$11048EF3-3228-4208-97B6-08F937CC9ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e002defc2adfd4cc8c16947da1c21a7a6c5df1f0","datavalue":{"value":{"entity-type":"item","numeric-id":3088040,"id":"Q3088040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$ECE24EE3-74DD-4898-8C72-B08A1D7541DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b63314ce5226a54dc0db7d7dc25365b363de6b","datavalue":{"value":{"entity-type":"item","numeric-id":6826639,"id":"Q6826639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$43C1EBA0-8096-4584-A661-851CE3046E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$0A2872F5-D48F-40FD-ADB4-283454FED6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$7A2282A2-E51C-4B30-A286-E3ECEFEDA1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$A7A8FD59-86B6-470F-BB7A-1C297E8B5198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$5B25FF86-10E0-42A7-9FFD-8D574E87F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb4f817511f1785d5460f6b2f24f2afd0f364db","datavalue":{"value":{"entity-type":"item","numeric-id":3449481,"id":"Q3449481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$3734A5BB-00AB-4140-BEE8-D8B31429066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a0b55fc306a4e19bbc7b4c79333a7c0c63877","datavalue":{"value":{"entity-type":"item","numeric-id":5145672,"id":"Q5145672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$15F3E617-97D6-4303-97B0-E198D354758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb93f64cd02632ea8046e4157d13fd79658a77c","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$BAC0E38D-8798-4057-A77A-8E9BBE7066DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc354f4bd0b742ab2fd0bf358dce7365315c082c","datavalue":{"value":{"entity-type":"item","numeric-id":3447705,"id":"Q3447705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$C993DA93-E23B-467B-B49E-97A581B987B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$36DBD4BB-65DE-40DD-82F6-36BD1786F643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$FBCB6973-A690-49D7-AC84-381283DCA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa0a261f3c1b991c952b7b71872079d97cc41c8","datavalue":{"value":{"entity-type":"item","numeric-id":2200853,"id":"Q2200853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967337$93BA349C-E86F-4CB9-BF5B-FD6EE16F78EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic complexity estimates for probabilistic programs and their VASS abstractions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotic_complexity_estimates_for_probabilistic_programs_and_their_VASS_abstractions"}}}}}