{"entities":{"Q3189809":{"pageid":3200517,"ns":120,"title":"Item:Q3189809","lastrevid":52089149,"modified":"2026-01-20T22:15:46Z","type":"item","id":"Q3189809","labels":{"en":{"language":"en","value":"Modular verification of a non-blocking stack"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344203"}},"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":"Q3189809$FE26A013-5143-4EB4-BBC9-A6F22383ADE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71204d5764465c63ac9ff208f6b5ec4e6f1dde99","datavalue":{"value":{"text":"Modular verification of a non-blocking stack","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189809$E605DAEB-99A4-401B-A224-63158A2C563A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66d8a6b8231bd0fbd5d252be0eb2f6d5d67337f4","datavalue":{"value":"1295.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$0B327764-188A-4C72-88E5-04223285B795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e02845552cc1ffb6514d93ac8653ab3e7a8fc75","datavalue":{"value":"10.1145/1190216.1190261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$248DB8F5-10F5-462D-87F0-2AEBB7248771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189809$F92689FB-9496-4434-ADDD-ABDE20B6E085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189809$E5A60E98-005E-4381-96FD-B0A57F54C0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189809$D78AABE8-E50A-43E2-A9B3-C8DDE0E24DE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189809$56C0436A-5786-46F0-AC3B-BEADDF0E0FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189809$6AE1C52B-BC21-4804-B119-240C4409217D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$6629D20E-BCAC-4658-B243-CCC9B1F7C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$4E634C28-3126-4D00-9542-AA1FE8C27B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$0B01679D-70D7-4E1F-86B3-D21C0C3D51DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$AF4D26B1-7B5C-4B75-91C3-EBA184C7E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$EF6AF9B7-A1BC-43D7-97B6-62B0589B2F4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6402b07a5c02262dd7d3c12841f3053bb9be76e9","datavalue":{"value":"6344203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$D513542D-BEA8-4448-AE82-DA3F6FFB9D2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189809$73242F28-B357-48B7-ABF8-D18BE54AD387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99dc82958d2684736582940cc5344b9eac333b0","datavalue":{"value":"non-blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189809$18BF6B73-3DED-4E9A-9D93-7B4F9B066F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189809$0809C921-4BD1-4C7C-8E0F-5073BF42E59D","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":"Q3189809$EE7B92DA-2DC1-4138-B60C-7B4DE33A0C58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e1a07ffbf1746aded8b47763a430fd8510b2bc5","datavalue":{"value":"https://doi.org/10.1145/1190216.1190261","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189809$F3BABF84-D5B9-4F07-AFF6-D5BC249807A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c02e4a990456c6c4cfdca597cb85e54bb0a0325","datavalue":{"value":"W4253344502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189809$D91885ED-4324-4A52-BAF7-1243059CA7B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e8bc9191571f7c8441aaa4067a81508908ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":2802477,"id":"Q2802477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f68e1ac24798b89684566abdaae3cdbdb6b47f","datavalue":{"value":{"amount":"+0.7986717820167542","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":"Q3189809$30F74D14-AA39-4376-862D-EC4275E6EEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f92d183f327abe62e958ffb183667da44ab3850","datavalue":{"value":{"entity-type":"item","numeric-id":3639041,"id":"Q3639041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678206fd56770212d71a53b173432c38c29c4b46","datavalue":{"value":{"amount":"+0.7811785936355591","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":"Q3189809$DEE28E16-23B2-48A7-979A-4E3A39793935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc9b0d04ab3450cb241ffa1da532485b511cc58","datavalue":{"value":{"entity-type":"item","numeric-id":5326285,"id":"Q5326285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2bb3bf4d3b0768ac9ed57f1b60f20810001a39","datavalue":{"value":{"amount":"+0.771188497543335","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":"Q3189809$F822F4AF-544D-46C9-9EAE-F0189635BBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4868a138ab032558a23ed421c1b06645a3d9f2aa","datavalue":{"value":{"amount":"+0.7665532827377319","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":"Q3189809$DF0624ED-5ED8-450D-8E9A-4428EA76AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa054e9ad41c4818518da65df3e6623ec73f40c","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0a5ca5273c8d10a9a00da34e5fae36e47db27b","datavalue":{"value":{"amount":"+0.7635219693183899","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":"Q3189809$53278E38-0886-413D-949B-7D8A450BCB7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189809"}}}}}