{"entities":{"Q5136300":{"pageid":7165872,"ns":120,"title":"Item:Q5136300","lastrevid":53877665,"modified":"2026-01-25T21:06:14Z","type":"item","id":"Q5136300","labels":{"en":{"language":"en","value":"Verification of asynchronous programs with nested locks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278083"}},"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":"Q5136300$B30C8D45-3928-4424-8B51-810FFEF2CF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cd607c2ff7f4dc408868226cfdaa760f01d56e5","datavalue":{"value":"1491.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$40CF6344-CDC8-432E-963C-519D010E9FCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$693CE11F-5C9A-4644-8FC2-40A206A2D835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$04C35B6F-0A84-4721-A51D-36F2A32A7A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d14e5d3377b06a5eed82e55dceb5bdea1615c1d3","datavalue":{"value":{"entity-type":"item","numeric-id":1268546,"id":"Q1268546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$2CF99ECC-595B-4FBB-BA80-EC90A8011B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c9e52031a5706f049b4a3c6f99d07154b104d5","datavalue":{"value":{"entity-type":"item","numeric-id":2208301,"id":"Q2208301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$235D6497-B46D-41AB-B24A-4A7D39453334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136300$E236C5C4-67D2-4F4C-B621-774ADCD5662B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$AF0D4A8A-3CD5-47C5-AD9B-0E49434C9A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$0C6EF576-9157-46BB-B962-03E2E0C031D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$6B09CBAF-94E8-44FD-A872-FA87400DB641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"030a5babd44ac78d266c994e1a7183a54b0cae75","datavalue":{"value":"7278083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$8A69AB0E-C4EB-4901-A0CE-12F185A975CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f146664e0585ffe86edef13e939aea15c4544d26","datavalue":{"value":"asynchronous programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136300$75947293-07E4-4E37-8D9C-84B076128704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae32cae44666bef6b101bdf2f86048d524a1eb78","datavalue":{"value":"nested locks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136300$4916AD30-71C3-4A4A-8DFD-D1CF6866C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136300$0E7E7C68-FFA4-427F-A333-4CBDA9D57EE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddc55cbfd7a8b82d3a81165f835b44e52097f80d","datavalue":{"value":{"entity-type":"item","numeric-id":43930,"id":"Q43930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$E035353E-C8A5-4E2B-BFF4-3B54354079F7","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":"Q5136300$898EBC72-8394-47F1-BD50-FBE96C4454AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92042365b91279004f33ab8fc0e2fe77227bca09","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$31FD9B44-8378-4C10-87E9-D477063ED8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7a1015ecabed6a3d61d5bde68a36a30d314919","datavalue":{"value":{"entity-type":"item","numeric-id":3165945,"id":"Q3165945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$30309A60-44C2-456A-96B8-A759CB0B59B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$65284530-ADB1-46EC-B74E-A34AAAEF0BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$F0E01A8E-8493-475C-91CB-06F292D063AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0020436d5887f7535bf4a48adb9495841037c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":3648830,"id":"Q3648830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$6B297860-48ED-4687-95F1-0BF6A3034715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4697f44823f8beda22de7e4e1d26f72ba958363a","datavalue":{"value":{"entity-type":"item","numeric-id":3075482,"id":"Q3075482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$713452FE-24E6-423C-9E61-BE8EB7DCB825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$1547B4B8-5868-4BF3-9F70-22F1FB385D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ca349cee3adc073f64ce48fa16675e4e333ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5716592,"id":"Q5716592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$177CCF66-A714-4CDB-BE90-A869A826B7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb42f305b0d36a77893e880c53e16c34d44d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3522072,"id":"Q3522072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$9F5BAE1D-C6EE-42D9-899F-E8F752283A4E","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":"Q5136300$08B212C3-BE24-48D6-A8EB-BCB7A509F560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136300$DAACB914-4752-4E11-BFB7-4235ACAC8151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af4085e857e24f9d4fd367ae82c9ba61167228b4","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/8410/pdf/LIPIcs-FSTTCS-2017-11.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136300$1DE179F3-017D-4D6C-9EDD-1B36343B9BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61c4f0186abe578a70be76bb0b241592c688200e","datavalue":{"value":"W2788878077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$F400A0B7-8BC6-49C7-93FE-5EE9623D0E9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d46f4a772f6b8738449024653a57820a55462c8","datavalue":{"value":{"text":"Verification of Asynchronous Programs with Nested Locks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136300$FE47B9BC-B25B-4C1C-B9F0-53963ED64450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3e7a985d2c3c1068e485f3c7cfdd66c2fe38066","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136300$3F2EA0C7-8F93-4DEF-B63F-E8F6FF8B5C84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcd4d5d433e9e6cf366fad8fc39c7ac2c12b7e2","datavalue":{"value":{"entity-type":"item","numeric-id":2044219,"id":"Q2044219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161cdffb4cbdd052c73eeab43f54aaaf5acceb29","datavalue":{"value":{"amount":"+0.759975790977478","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":"Q5136300$6FFBDA88-BF2F-4052-9C47-CFA904A63A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83572cf736abf5f2d6d27711afade9973a0093dc","datavalue":{"value":{"entity-type":"item","numeric-id":6039304,"id":"Q6039304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642e826f70ee8e103a3246393e41e4b6cb26fb0a","datavalue":{"value":{"amount":"+0.7571523785591125","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":"Q5136300$F6C4863F-7718-4C09-9CC6-B111DBAF22C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c9a5d63978dc401db1d09b756d4f87438101bd","datavalue":{"value":{"entity-type":"item","numeric-id":5891174,"id":"Q5891174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0053e021eda7dabf22b17b84c635f3ac1cd6f3e9","datavalue":{"value":{"amount":"+0.7488928437232971","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":"Q5136300$C225C258-0FD5-4AFA-B40F-4CBCE62B1529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463834fba6106aa6fdbe55d82b9e5105b0dcf559","datavalue":{"value":{"entity-type":"item","numeric-id":5891625,"id":"Q5891625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daeb23119aae234face169899ccaf5e03bb6bc79","datavalue":{"value":{"amount":"+0.7483276724815369","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":"Q5136300$36E0D490-741F-4892-B9F3-A8B6B8847FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4441e4cbb5fef18a0569392a4ea313f504bdd345","datavalue":{"value":{"entity-type":"item","numeric-id":5096084,"id":"Q5096084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f720b385cf13810b84e9a894c1d9ecee205ffd","datavalue":{"value":{"amount":"+0.7468389272689819","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":"Q5136300$CD09E798-5603-44D1-AC2B-BF2C428ADD43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136300"}}}}}