{"entities":{"Q5136996":{"pageid":7166567,"ns":120,"title":"Item:Q5136996","lastrevid":91398695,"modified":"2026-06-04T23:04:12Z","type":"item","id":"Q5136996","labels":{"en":{"language":"en","value":"Closed schedulers: a novel technique for analyzing asynchronous protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7279498"}},"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":"Q5136996$B4C21B47-C0C2-48B6-9C42-CA4FC91BAD64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6af14d0dd7a84cd7063812361b1ef63051a1f807","datavalue":{"value":{"text":"Closed schedulers: a novel technique for analyzing asynchronous protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136996$1AA7B6D8-C064-4FF5-972C-038CA2D2C9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a00c75df87a65784d9f02130921fd82e08f5da1f","datavalue":{"value":"1448.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136996$2E3DC0E1-9765-4424-84D4-39563FB7E2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"598fd685dab5887a72f4551d067c40b6956031a0","datavalue":{"value":"10.1007/BF02242738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136996$1213A2E5-6924-4C15-B27C-8308C3A50F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9cb0a0ca3f26d37cfc677355ed388c0e9cc6379","datavalue":{"value":{"entity-type":"item","numeric-id":5136995,"id":"Q5136995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$FFF6EFCF-8CEE-4816-8592-C60F8BEC1104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4342967813d6c73138a0b6a4a791b0a8c6593","datavalue":{"value":{"entity-type":"item","numeric-id":287984,"id":"Q287984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$18F64140-2D92-4082-B12F-6EA633116DC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$72B9A3EF-AE18-4383-8ED7-90DDBD66C63E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7232e8c520a019a5e6fb689786b64e5bfb51e5b5","datavalue":{"value":{"time":"+2020-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136996$46A2D1AF-F520-4EF8-BF62-59311482F329","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136996$D6DD88D2-ABF6-4F8C-B1CF-C22B055A93A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1100140204668da81d12176132f4dc85da663ddf","datavalue":{"value":"7279498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136996$EB015227-6A05-469B-AC49-A32C33971DC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea6e43cee2acc42847366e23d50fd6577a25b9d","datavalue":{"value":"closed schedulers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136996$1258B7C1-BE1D-4BAB-91B1-673C6515B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcada1cf99a05a32c3ae393694ee34dc5f1fb22","datavalue":{"value":"asynchronous protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136996$0F4FAC9E-E7D5-4380-BFB5-ED2CF61BCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e61710ea957771c326aa9a0b8c567431e71ef96","datavalue":{"value":"admissible runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136996$95244EE7-860F-45C0-A99E-EAED4A79B18A","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":"Q5136996$18F25DDE-0A0A-428E-A37B-B248F9D98D80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc130e60aed51c89205a9df57c6cb8c74befd93","datavalue":{"value":{"entity-type":"item","numeric-id":3477940,"id":"Q3477940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$906B5CE8-3EB8-413D-BF30-2014B0DA1983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0e19004fe07fcf548b0332f9289c3d2071615","datavalue":{"value":{"entity-type":"item","numeric-id":3485850,"id":"Q3485850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$67420257-3FBE-4BDB-973D-E98A11ADFD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58edd1713e6965e2bfd01aa9bd126ab67244e192","datavalue":{"value":{"entity-type":"item","numeric-id":5248475,"id":"Q5248475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$4D9068E8-09BA-4443-9D6B-BEB86F832661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd2f4433635ce71f2f367065b460330ed3002ea","datavalue":{"value":{"entity-type":"item","numeric-id":1260652,"id":"Q1260652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$F138E554-06BF-45A8-AF71-825DCC576C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$B9DC6056-0262-4EE1-8696-EAA7E7067432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f18ec5d521b1d5b15e314eadd46dba078fffd3","datavalue":{"value":{"entity-type":"item","numeric-id":5248477,"id":"Q5248477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$19CFEED1-DC16-4ECA-A331-E4E64A7F1F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fc3deaa77fddc859de02906e50659fff7f4acc","datavalue":{"value":{"entity-type":"item","numeric-id":5762903,"id":"Q5762903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$D8949643-32BE-41B7-BDFD-21C94F73E3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a4c0e61f86a9d81e48f15ffd0050e87cc3580c","datavalue":{"value":{"entity-type":"item","numeric-id":5248476,"id":"Q5248476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136996$75596BFD-BD09-4D62-A81A-A01C3C7EE8E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001bb3471954516debe70d89066d26817366016b","datavalue":{"value":"https://doi.org/10.1007/bf02242738","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136996$76189287-4007-4A00-BFA7-01A25B9BE4BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3d4f3a73b86e87c370d6459a77022ee733112d","datavalue":{"value":"W2084155082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136996$BAA9E036-EA87-423C-A7BE-BE987F004311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06033c0540495d2abfc65a7b1827fc2420c34930","datavalue":{"value":{"entity-type":"item","numeric-id":756398,"id":"Q756398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd400e107da8f9e80c6c8161b9180e80f4c5322","datavalue":{"value":{"amount":"+0.7563225030899048","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":"Q5136996$A534469F-69A7-4DA3-9C30-70ABAF19C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bb2d82c327ddac8eb9475b575b77d8390e4904","datavalue":{"value":{"entity-type":"item","numeric-id":5138489,"id":"Q5138489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4616284bca46d5f8c9611bdfc2e05f7ee294a445","datavalue":{"value":{"amount":"+0.7562538981437683","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":"Q5136996$BB56A65C-EB29-4B66-A555-1E3808BD7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1976feada61f94d4585f47ce1d7983d94c388a2","datavalue":{"value":{"entity-type":"item","numeric-id":2784490,"id":"Q2784490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe5115c6241154ac637ec07a06e6d82c73f1f21","datavalue":{"value":{"amount":"+0.7432456016540527","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":"Q5136996$AB98119C-3AE4-4D72-A2AA-889018F604BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9838ab8170652eb5e316fe3f06826f8c0be94800","datavalue":{"value":{"entity-type":"item","numeric-id":4943878,"id":"Q4943878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b2acb647a9c504a29cbc45419d14d7c96ee2b5","datavalue":{"value":{"amount":"+0.7393869161605835","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":"Q5136996$8CB0AEBB-B82C-49AB-8C25-784193FEEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0d6f3a49330d5d4b68adf20e17770459336b78","datavalue":{"value":{"entity-type":"item","numeric-id":1089784,"id":"Q1089784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b2acb647a9c504a29cbc45419d14d7c96ee2b5","datavalue":{"value":{"amount":"+0.7393869161605835","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":"Q5136996$1205783C-F740-4E17-B37F-9212087485AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed schedulers: a novel technique for analyzing asynchronous protocols","badges":[]}}}}}