{"entities":{"Q7034865":{"pageid":21712074,"ns":120,"title":"Item:Q7034865","lastrevid":104086244,"modified":"2026-06-06T09:05:27Z","type":"item","id":"Q7034865","labels":{"en":{"language":"en","value":"Control-flow refinement for complexity analysis of probabilistic programs in \\textsf{KoAT} (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977156"}},"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":"Q7034865$EB4A1AE0-5E9A-4BC7-8E09-E9CA6D9E3637","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"142ac61fac5ee3277bfcca27895255d8bebee933","datavalue":{"value":{"text":"Control-flow refinement for complexity analysis of probabilistic programs in \\textsf{KoAT} (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034865$D17EF709-9D62-4D52-B35D-C5B08819F01B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116e0dba4c76be7f64e393248545850caca285d8","datavalue":{"value":"10.1007/978-3-031-63498-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034865$8C45AE31-A642-4741-BE55-541C040204AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cd36c6e09d89b9a55ab14a84f32092de774af2","datavalue":{"value":{"entity-type":"item","numeric-id":2104560,"id":"Q2104560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$034E12C3-250A-4A8D-B6BC-2E79CEABA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eefb6d83e94da1ea17ec9895eef61d5ba151f751","datavalue":{"value":{"entity-type":"item","numeric-id":7034864,"id":"Q7034864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$C8826212-E6D5-4A9B-BF50-C25DD048C983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$E59FF1B0-C5DA-4E3F-92C2-E9ECE3E5D55A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034865$379B6300-C78D-452E-81D4-5C518BA07CC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034865$71EC970F-8B0D-4711-90CB-A4BD8EA5D239","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b090b6c6ecc16883994082ef0662be6e0467be5","datavalue":{"value":"7977156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034865$A5114538-B2F1-4791-A213-E284647AA58D","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":"Q7034865$DD905C03-00B0-4BF9-B6DF-F37CF5C1C023","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":"Q7034865$38045A32-0EBD-4275-8329-615387EDD83E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed46dc2b3832d6a8321d33eb42dc2ec453be9910","datavalue":{"value":{"entity-type":"item","numeric-id":3522073,"id":"Q3522073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$05B53C80-4B11-450D-943D-F75E1BD2FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$8838AB2F-B5BF-46B3-8A09-023A1D164A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b842f4cc20d312bc1e3f418c23010f522579de4c","datavalue":{"value":{"entity-type":"item","numeric-id":5108498,"id":"Q5108498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$088685A3-0CF0-415F-BA42-98F6757673D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$73FBF247-BA3A-48B3-8D28-E0DCD39D03D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476c6b8bcc2dffa7064cec99d4666ac60f2cda23","datavalue":{"value":{"entity-type":"item","numeric-id":2958374,"id":"Q2958374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$4F674BAF-CB3B-4578-979C-D893B7DDCBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ed25a4cba0bd47c7429205b2f7b182b67fa89d","datavalue":{"value":{"entity-type":"item","numeric-id":5108517,"id":"Q5108517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$59C208CF-C160-42A3-AAD9-2BB6E18B94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df050b8b4fa215ee0bb7a41d1fc6b779a27de52e","datavalue":{"value":{"entity-type":"item","numeric-id":5045475,"id":"Q5045475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$F09AF7CD-9D34-400C-BE69-D883EE381A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09899429a67bba2cb2eb41accda0e85b57c28441","datavalue":{"value":{"entity-type":"item","numeric-id":2633620,"id":"Q2633620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$6E0E2FD5-AF7F-46F4-BC55-D208C0D86D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc6eb76d008c38f8d5f3864b312ce3bca80654","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$09A68424-68E1-4175-9726-993E4EFFAF81","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":"Q7034865$B41D452B-57F6-4FB1-922D-45B6C9B5DCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdb74f8d9c625b51b6a06e86cf15340e4133a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5150950,"id":"Q5150950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$4E82B6DF-25DD-4D18-BC3C-42A753C75B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2708e87edbdef6c55892b6d84493c37ee3cfabf9","datavalue":{"value":{"entity-type":"item","numeric-id":6487331,"id":"Q6487331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$348B09C3-37AF-4F76-9CDC-529A062F00DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16998eba8f44c205c3d878f463c1a10592077da","datavalue":{"value":{"entity-type":"item","numeric-id":2104561,"id":"Q2104561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$DDE9AF16-CEC4-421C-AB49-142B6EAB64B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f6e275bd3d5c86b4923df379b0bb284459b40f","datavalue":{"value":{"entity-type":"item","numeric-id":6496615,"id":"Q6496615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$61C305F4-E168-4B47-8CFE-C8F26B5CA7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14812d6ccc1e7fd415a56c6de42526a51923f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2044203,"id":"Q2044203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$97B2AD02-B345-4230-B257-8C98BD5AC9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$CC985D61-6F19-4BB6-98D4-13C31C2B1C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034865$63FE0A74-64A3-4586-9305-11DFF50E5E69","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":"Q7034865$8F610713-28E6-4F94-BB6E-0271028BF255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7034865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7034865"}}}}}