{"entities":{"Q7034602":{"pageid":21710496,"ns":120,"title":"Item:Q7034602","lastrevid":77523047,"modified":"2026-05-04T15:51:38Z","type":"item","id":"Q7034602","labels":{"en":{"language":"en","value":"Worst-case input generation for concurrent programs under non-monotone resource metrics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977508"}},"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":"Q7034602$DF5F8FE7-56CF-4828-8C19-9511D02FD199","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50386417f7d276f0f71ed96d9faac54823ed492e","datavalue":{"value":{"text":"Worst-case input generation for concurrent programs under non-monotone resource metrics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034602$9998FE2D-21B5-4B54-BDE1-36C244619C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfc542a2ed8394935788998b02b27ff371971b2c","datavalue":{"value":"1557.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$8D3712C1-2E2E-480C-8224-39CF4F134FD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f3980122803fc98a20937915f25bb5700007b95","datavalue":{"value":"10.46298/LMCS-20(4:26)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$82DF842A-C4D4-4C29-82C8-4088B916508E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc96f390864b710d2dcf7f7bf756c369b205a345","datavalue":{"value":{"entity-type":"item","numeric-id":3297593,"id":"Q3297593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$A0F5917A-40CC-4C4C-9BFE-9CCE959240A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$F1EE4375-D8D9-4F44-983E-9515E2A521C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$DE376377-562E-49EF-B779-1F68E7FF3656","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":"Q7034602$185B7741-23D4-498F-A324-E1E9FCB9EBE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$75BD56D4-C63F-4845-A273-AF4F0EA81391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$83F3FAE8-40B1-4590-8DF2-4460799339B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$BAA53D5D-DF9A-4470-9BA0-D56AA62C2AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cbaaec35c7f3e043aa592f561010c985456f456","datavalue":{"value":"7977508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034602$92C3CB09-4D43-4364-A09C-8BABE346646F","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":"Q7034602$68151238-3D86-4CA9-BF80-90E1472C8F3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8af32256e925dffb8c5d5c8cc4e1f8ce46e70d","datavalue":{"value":"worst-case input generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034602$76366FC7-C446-4679-9BF2-BF80D95D8629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034602$F734287D-31DA-4EB1-A889-569FA5389E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034602$16F5DA28-9867-40A2-B329-FEEEC061A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034602$FC8D9A78-ADEC-4FA2-A4A8-F4D0ECC0C7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034602$D4CB81E8-A63C-43F3-BA0D-86A08F378980","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":"Q7034602$63E2BD42-EF11-412D-8EC7-7951A77B5683","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5e721577e6d0e8b7720383abe5c422624cb8e","datavalue":{"value":{"entity-type":"item","numeric-id":2371888,"id":"Q2371888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$AC925ED3-B686-4541-BEE4-3128AD0C770D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8540fe0517f2d5cf0be7b1905c72108509166024","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$3BE898B4-5887-433B-94F6-4226387C4D99","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":"Q7034602$A30793DA-214C-4664-9D26-03A28C6119C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040794774ca2ca578d89d1cabfb094cacb25e624","datavalue":{"value":{"entity-type":"item","numeric-id":6070799,"id":"Q6070799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$2B8F5C9C-4610-40E1-A1AB-E5D066B43045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261dd7ed956d9cd3ba294f6119c26bc447dc0902","datavalue":{"value":{"entity-type":"item","numeric-id":5370869,"id":"Q5370869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$04294624-D975-404F-94F1-A6C6F0BEF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$8D38B490-6668-47CB-B4F8-6826900690E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e4b4313ce94bfb8be70be30720275379ee8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4917995,"id":"Q4917995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$2CBAD8E0-A7D9-4217-959A-F87545EDFE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a708f98730dce4f0fa1000a40f28c79f3cf7c27","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$08240804-0068-495C-B5F3-D1AA17297701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$6F4BDC94-D2B0-4E4F-A0E0-88F41CE1C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0348bec4658083bdfef92d458459d305fea8d86d","datavalue":{"value":{"entity-type":"item","numeric-id":5145303,"id":"Q5145303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$741C1591-1D6E-4890-93BF-9C2BCBD54537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$C261837E-4ED0-485C-AC89-5D9A17B01667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$A999E886-7735-487C-9F25-856722A317F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71eb219d1be5bc742fa0e948a47313c2a479f12","datavalue":{"value":{"entity-type":"item","numeric-id":5178014,"id":"Q5178014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$4C19B88F-05F2-4877-9D7E-B59965970357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$FD79EB39-265D-40D7-BFC8-A197FC9CA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$02072B64-2B36-4FCE-9372-0199ACF8E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6908f3d8cc165d0340602df105a5a95b2c1256","datavalue":{"value":{"entity-type":"item","numeric-id":5170822,"id":"Q5170822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$AB3DE0FC-0BFD-4EA4-AA85-45C980D3866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b939ee2939c4ccffc90391a2e5d00c8574b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$D5FB64FC-547A-4143-BBD6-C105B1234949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$494A6F95-13F7-4590-BAB4-9DAB7841C300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7647ace5fa2fb16c8a15fce8fe4c63c7bcd19a","datavalue":{"value":{"entity-type":"item","numeric-id":2200835,"id":"Q2200835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$E4FB8F8A-2C4D-4BBD-A2CB-390FDC0566CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$6EDAEC26-E301-4796-B52E-28998F3E7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eed166b8fabc9262253fd85590bac659797300","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$3EC99B97-00B3-4A5B-8AF3-801A4BF602B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a974f70fdf30a806f290add5387a2e33b647fd","datavalue":{"value":{"entity-type":"item","numeric-id":2948548,"id":"Q2948548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$E60AE97F-CEC4-45D2-89BF-1470D6C1CA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00910816ba034b6655b7a47d13d1206cc1d40ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3735083,"id":"Q3735083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$31F9B146-3E3A-4334-B50F-0F94243AE88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b3c64205d4c40af3ff992b08da0a8c0d27b403","datavalue":{"value":{"entity-type":"item","numeric-id":5326295,"id":"Q5326295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$41C6EF0D-A409-4621-9364-5FACB0BD4427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$BF0B8EA8-B62F-4B5A-8B31-EB2C67F1A88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034602$105AAE5A-1935-41F3-A709-E4A0D8D5861F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Worst-case input generation for concurrent programs under non-monotone resource metrics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Worst-case_input_generation_for_concurrent_programs_under_non-monotone_resource_metrics"}}}}}