{"entities":{"Q3525075":{"pageid":5554979,"ns":120,"title":"Item:Q3525075","lastrevid":49027114,"modified":"2026-01-06T12:07:49Z","type":"item","id":"Q3525075","labels":{"en":{"language":"en","value":"Automatic Refinement of Split Binary Semaphore"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344401"}},"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":"Q3525075$0BD09692-387C-426C-AE73-FC873BF8CDE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d6c124f7189f6e030bf4ae25f32351cc62369a6","datavalue":{"value":{"text":"Automatic Refinement of Split Binary Semaphore","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525075$B89714EB-4490-48BB-94D0-C9DB50CB860D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e79ac87f23c554d58bae9f08961634228ef14d8","datavalue":{"value":"1147.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$C92F6689-E6D7-49CD-A656-20BD1C5B9066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98c108fd14b1d3fbced9a8f3c8706e23bbcf95fe","datavalue":{"value":"10.1007/978-3-540-75292-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$1D45E3B0-6838-4643-BF79-86B040438985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"102461f156e333b60282aafe665fb2c7a36a1479","datavalue":{"value":{"entity-type":"item","numeric-id":2642979,"id":"Q2642979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525075$4F10939B-0BE2-43E0-A432-7F6DC2DCE397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b287bb783730ff04cea0b7d4c02c341f3b7ac004","datavalue":{"value":{"entity-type":"item","numeric-id":180258,"id":"Q180258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525075$A9887C7E-AB0A-47EF-89C1-46292022CF5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5455e2a6e277df376db235f9f0e564aaed31de9c","datavalue":{"value":{"entity-type":"item","numeric-id":3525071,"id":"Q3525071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525075$946EBAF6-D657-4FAC-BDB7-C8A37B3F9D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c6c778a05329d7667480e28a68302bbad05fa7","datavalue":{"value":{"time":"+2008-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525075$2199F594-55A0-440B-9660-2F5720720745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$5E54E3CB-A33D-43DD-AF55-9E056371E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$2480108C-02CA-4E5C-912E-8D47CBF22C24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c20a7cb67f0a23bac8dfe6379b564db683c3247c","datavalue":{"value":"5344401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$D091C39E-ECB0-4C62-8947-E757A3BDA8DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525075$89BEFC9A-E5EA-468B-81F2-A62272C839CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525075$8C6FE5D3-8EA3-40A4-986C-598EF70DCE83","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":"Q3525075$F4D08924-7647-4207-9501-970FD300F4F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ac8a1b1d6b1f18f9b90c5a72ad6db1ea6697421","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75292-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525075$C31361A7-B02C-4E03-83DC-9EE0B93AAC31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84a893f85b92f68c20a1968ce0a7bd302ebf3117","datavalue":{"value":"W17389151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525075$ECC254CB-B245-4251-BF8C-E5C3D2EA05FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3bdddf8a7f4e311a86da8254483cd0b8cc3f6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3686018,"id":"Q3686018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e704f3e07eace8716035d86bfd93bb53419e34","datavalue":{"value":{"amount":"+0.8506998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$A103DE48-9802-46B4-B35E-D3FD61AC6370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c581e951f58f3bce6a6014276c8ace14793f96c","datavalue":{"value":{"entity-type":"item","numeric-id":3617713,"id":"Q3617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83ae6bfdd6534429c513a5487842f2fe5c70f2e","datavalue":{"value":{"amount":"+0.80882883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$DE81B7D8-788F-4909-AAB2-3342238A4A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f4f7a4d3c464bcb4731ff2c7d5decb63154108","datavalue":{"value":{"entity-type":"item","numeric-id":3507386,"id":"Q3507386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13723b13b36f5dd0ba9117f876fa8abd44920d9","datavalue":{"value":{"amount":"+0.79520875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$C69D037D-944A-4DBF-8213-33FBD4A67920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f759bd247c7c8f06c78be55e78441211b231c9","datavalue":{"value":{"entity-type":"item","numeric-id":4964718,"id":"Q4964718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89d10043958e952fca9341a87df71c170cbae0b","datavalue":{"value":{"amount":"+0.79413795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$FAF912D0-364A-419F-8309-5D919BE11791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8248f807c2f209d738c3c6593d5081c4bc4ee6c7","datavalue":{"value":{"entity-type":"item","numeric-id":2833542,"id":"Q2833542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afaed3a4d9a6eced5972bdf9c0ad9a22b0505a0","datavalue":{"value":{"amount":"+0.7926204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$B865D751-F94B-4723-B417-DC3129296E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3491b5eb9d7ff60cca5fff7c8a3fe1ca0a033e3b","datavalue":{"value":{"entity-type":"item","numeric-id":3095340,"id":"Q3095340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7342caad04251c4c1698afe5a80be4ba62111880","datavalue":{"value":{"amount":"+0.79011554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525075$62B0A87C-7E3F-44CF-B5D9-781194D1F422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525075"}}}}}