{"entities":{"Q6842459":{"pageid":20551468,"ns":120,"title":"Item:Q6842459","lastrevid":84284201,"modified":"2026-05-14T15:40:23Z","type":"item","id":"Q6842459","labels":{"en":{"language":"en","value":"The complexity of bounded context switching with dynamic thread creation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8174015"}},"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":"Q6842459$BE0250EC-E39F-4AEA-BB4F-ED9E38BB6301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e16a19065d6d4335e52195a6e89c76e64ab106f","datavalue":{"value":{"text":"The complexity of bounded context switching with dynamic thread creation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6842459$07992CE0-12D6-4070-81B3-E4B9F236278E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e7e6ffe897ff6b783e3a337f75cab4f3b489fa","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842459$EE0824CD-ADE5-4570-A22C-D6FC2E172555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb75d309cc5a8735b9305cec5986873617c0952d","datavalue":{"value":{"entity-type":"item","numeric-id":6091194,"id":"Q6091194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$5CDB5DA4-27AA-4558-AA8E-DC81021BE6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$5233F465-304A-400E-9F33-8BFCD4039A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82689a5132e5af2eba382a0feec183a206a83c16","datavalue":{"value":{"entity-type":"item","numeric-id":2044218,"id":"Q2044218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$DFFA360B-EAA2-4E44-BC27-8839127D5692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$B704B9B6-A952-4613-BD82-476021DE9990","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6842459$FFBD371F-7018-4015-8D22-D25FFCFE1C86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842459$F07ECA17-9C1F-4A1D-9458-C2F314A75733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842459$CE740314-2BF7-42AA-8746-DF785A5FCD52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87a1ba00147cd0a71f5f7b0fa5119650d8429e4","datavalue":{"value":"8174015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842459$7E272755-DD8B-4355-8F24-AE13725DE904","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$13426531-C6C7-4A62-BCCE-AB2319710FD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074164dfce56251159b3bd4e589bd6cb62072a63","datavalue":{"value":"dynamic thread creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$794D8BBE-EB91-41DB-8F7A-274AFF88249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0d9258c62c02eb26e96057b388b59be76c4e73","datavalue":{"value":"bounded context switching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$BDF21F9E-C7B7-45CB-91F1-978318E6C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f146664e0585ffe86edef13e939aea15c4544d26","datavalue":{"value":"asynchronous programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$9DED3B70-AE94-412D-9443-BD9028C69699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$4958A2DB-ED5E-4AE4-81BB-CD3C6F8C4D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cca745ccc92ebc1438309582e418a7bd9dc1409","datavalue":{"value":"state reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$73E375F3-25A6-4BE4-B77A-0D929014BC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$0B0549B2-3FE5-4708-8003-1FE38952834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$13CBEC15-CF3B-4373-A8FE-5BF13F48BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$9BCD4891-6768-4A35-B93B-15A4E6196151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c498e3ad8b992f46bb198e5b4fb0a861be8493cd","datavalue":{"value":"counter programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842459$F8FDD33B-F68E-40BC-BE45-D050CCF2F335","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":"Q6842459$9DFA9E9E-C1F3-4EBA-BECA-6436D000955A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04941868d724514b2169d98168bdb89f64a18289","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$2C653593-CCD3-4E84-ACA9-0F65D13886AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dce8070a64d933b5b1df25a5d7873365fada06","datavalue":{"value":{"entity-type":"item","numeric-id":2464944,"id":"Q2464944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$B1DA5670-BA71-4261-BA02-0482394D2946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b7a7ca28fe5dfe5806a083091f02bf0a675792","datavalue":{"value":{"entity-type":"item","numeric-id":5271038,"id":"Q5271038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$518F70A8-EB97-4ABE-8ED6-0B793D68AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$BAA9F545-D852-4C4C-8114-8991AE213FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$AEBEABA4-84B0-4683-A21A-641FCF9F1BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff16a935c2034837354d981dfd2339633b57e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3557012,"id":"Q3557012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$609C7606-653E-4CBE-977C-D21B8D5C5EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695280e4ca4193f87a4205c51623f2457674e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$3407843C-26B0-4229-A72B-0D621F8F781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6550549f6a6ae41859a83760194e81ec3591e36","datavalue":{"value":{"entity-type":"item","numeric-id":1151754,"id":"Q1151754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$3EC8CF79-3B7F-43BF-ACBD-A1F86473F5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$A5314E72-874A-4943-8176-DD74D15AB77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$BF489DC9-56BD-4304-A339-8EE436DD8CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842459$E687B718-A4B9-47BE-A744-C92770F3354A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of bounded context switching with dynamic thread creation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_bounded_context_switching_with_dynamic_thread_creation"}}}}}