{"entities":{"Q1682286":{"pageid":1693027,"ns":120,"title":"Item:Q1682286","lastrevid":68129067,"modified":"2026-04-12T21:37:34Z","type":"item","id":"Q1682286","labels":{"en":{"language":"en","value":"Tournaments for mutual exclusion: verification and concurrent complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6813711"}},"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":"Q1682286$BD5041BE-3155-4DD9-BB7A-9B33CC8D105A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a6d311701f0fa24a1d71ceb63e09e648c63d081","datavalue":{"value":{"text":"Tournaments for mutual exclusion: verification and concurrent complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1682286$468A71B6-028F-47FF-822A-79F0CE79E39D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e243058cb6376d4f103681701be0fa26dfef549","datavalue":{"value":"1375.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$89C31160-B48A-4551-8288-E52661E8AE21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$36BB8E5F-CDC5-4FF2-9C92-5EF314CCFA35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$A7614BCC-A64D-4F0F-926E-40540A4FFBDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bae7fc1aa7ca1394d382ce8587560532ffc150be","datavalue":{"value":{"time":"+2017-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1682286$A0A3F9B8-3256-4EC2-94B1-BBB50000A8BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$D6E30FD2-F309-4586-BEF3-C308F99A2C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$16951F4A-F9E9-450E-B389-6F34E1921FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$A09FE371-99E8-4E78-A34B-37F953DEC9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$AFD2BB87-48D6-49CD-A3E4-06C10D9CF0A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4638192c8718bf3865221c845558c420c65eb65e","datavalue":{"value":"6813711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$B857239B-8A55-490D-9682-07CB243D92AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682286$1CDC8F9C-F268-4783-A9A6-4DF5F61DD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3046ace0cdb0003e62c00c94e10b5440ebedd1b4","datavalue":{"value":"\\textsc{unity}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682286$18654FB6-1439-41AE-B53E-E61D00FB9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682286$12AE0E10-34B7-4309-BE56-B5B4DC1C54C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682286$CC70A613-0EAE-40BB-A011-C2F77E2966B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b3f9046071a43de8fa101ff629a1f71e08c3ad","datavalue":{"value":"concurrent complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682286$A6FC4509-D2F3-40A6-AC18-A166EF452F1B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8e8f14e5288e2659f5f5e4758b03090c5cd6d5d","datavalue":{"value":"Q59513603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$22B1D9C0-2E2E-41DC-8FE8-46CE680AD291","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$07572B4A-7B62-444B-B37A-43185577298C","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":"Q1682286$B484C150-1CC3-4DA0-ADB9-5470FD83B8BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba65da6006bbc3c0ae6c466fe79c6ec69e7251e","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0407-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1682286$7E07E6B5-1295-4363-8D07-FB02BE9857BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c73ab19f477ce86603eb388490f79b5c478f10","datavalue":{"value":"W2581540022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$586E115E-3A8D-4A52-A147-EE7B81F583BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$9A7EFC93-7C0F-41A7-A4D2-3583040E16D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$43AA2704-F94A-44AA-9014-4F00E12BCC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418e92a20d93b378baa72943e4319a5a56a676b7","datavalue":{"value":{"entity-type":"item","numeric-id":5137889,"id":"Q5137889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$1EC0A7F7-7763-4ACF-A389-817A018F5E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c16842d48ad0eeadf746e9cea98f877a653242","datavalue":{"value":{"entity-type":"item","numeric-id":736464,"id":"Q736464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$115BC33D-9DF6-4058-A52E-EC026E5AA773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e44ecc6445a35b69440dcfbc7d20c50dda9e60","datavalue":{"value":{"entity-type":"item","numeric-id":1156675,"id":"Q1156675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$2F1E1CDE-645D-42EC-853F-BD0107E08272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$AAEAC02D-F4C3-4CC1-B76A-120252C1B8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f030dead697569038cbcf88960b24e27f170f","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$CC91115A-E0F3-4803-A55E-C813941E7AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c5243747f5616cacd19e90b9b942be8e2cb5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2738289,"id":"Q2738289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$ACC11D26-0088-496C-8508-A17FB610003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$56EB98A6-1046-498F-98A3-06632F695592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$696CA995-5D73-4B71-A52B-F5308FD0EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4e737372dacc2497f09cc1a2b57f5dc7ac38af","datavalue":{"value":{"entity-type":"item","numeric-id":5464211,"id":"Q5464211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$ECE3D99A-67C4-4AFD-AE9B-690F88651E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682286$D223FC2E-7ACB-4E9A-8292-4345AD30D622","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dda238e0f450b8ae37259eea06b8df01f6f1cdba","datavalue":{"value":"10.1007/S00165-016-0407-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682286$BC354FE8-8594-4023-949C-275C2227EAAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b26ffe7931237ca320d6118752c86eb51a024","datavalue":{"value":{"entity-type":"item","numeric-id":1006897,"id":"Q1006897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4682105c8ebdc56437278140f33990d0920c0a09","datavalue":{"value":{"amount":"+0.7472557425498962","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":"Q1682286$86D56B42-ABDB-4456-9A39-C4965441D582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5db4e8683251b4697bb50e36bb64f3701351f76","datavalue":{"value":{"entity-type":"item","numeric-id":5348848,"id":"Q5348848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad66b37467d62660b27551897b43e2fa041d892","datavalue":{"value":{"amount":"+0.7349167466163635","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":"Q1682286$BDDE0AD1-D6BE-4EE6-BC56-484F52C39DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f88280515a67a42d7d907eb7b87694c14ad7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5138379,"id":"Q5138379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5190f7414ab1f747689477929cdcec5da7feecbf","datavalue":{"value":{"amount":"+0.7302711606025696","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":"Q1682286$97B6E2FC-7630-4067-A727-8531648BAA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07278f8262fa6ac0f547d23cd0df38390356791","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225950ffc61e1c64a82d372e97a2bdd02319aa00","datavalue":{"value":{"amount":"+0.729012131690979","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":"Q1682286$D6497D92-63B6-40BC-8744-6ACD5EA83A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f55d2d98a4fdeec7002f613b816d70b583aad65","datavalue":{"value":{"entity-type":"item","numeric-id":5137004,"id":"Q5137004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a82b37af6aba0b478023ebe840b1df15277ce6e","datavalue":{"value":{"amount":"+0.7282096743583679","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":"Q1682286$5F5F562F-6312-4D28-9F3D-FDA043463303","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":"Q1682286$EF4BDC97-39EC-47E8-8D49-1B1DCA9BD849","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tournaments for mutual exclusion: verification and concurrent complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tournaments_for_mutual_exclusion:_verification_and_concurrent_complexity"}}}}}