{"entities":{"Q3105753":{"pageid":3116469,"ns":120,"title":"Item:Q3105753","lastrevid":86227421,"modified":"2026-06-03T16:45:01Z","type":"item","id":"Q3105753","labels":{"en":{"language":"en","value":"Formal verification of a lock-free stack with hazard pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5995606"}},"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":"Q3105753$AEDD7943-E904-4231-AE39-F865E0CDB1F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ae56493d9d6c4e870e515591561164e3e846bad","datavalue":{"value":{"text":"Formal Verification of a Lock-Free Stack with Hazard Pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3105753$D5EBC37E-46E7-4569-B095-C748B145158E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faed79b26d43dd2f7f754c6d3050569ca18f6619","datavalue":{"value":"1350.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$5902D291-EF7F-42DC-999E-098020A040D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26a2306d4a75442a6e9d5c2289127bc99b311132","datavalue":{"value":"10.1007/978-3-642-23283-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$0B56CD6F-A717-4A7E-B589-572D95257E10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c2f13c8e7380a3c5fe8cbbdce81d17c5ae81b73","datavalue":{"value":{"entity-type":"item","numeric-id":539221,"id":"Q539221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$33573CF9-30B2-4361-BAFC-E299683CC5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$4E18F9D5-3DC3-483A-BA5E-80A13E4CA38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$660254B6-AF23-43B2-8B9F-26A104B21709","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f0e8d5168ec2ea9484b13e796ea882792b21c59","datavalue":{"value":{"entity-type":"item","numeric-id":3105741,"id":"Q3105741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$B45E2D75-F5DA-4AB6-A1DA-243B94113466","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221666eb8b8cd2c48ae4052cff47ce6091f4ee40","datavalue":{"value":{"time":"+2012-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3105753$F24B9075-99D7-4DA2-A688-7547CC14EB76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$7C410620-6A2D-4CEA-987B-030711BB446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$8ACD109D-AE3F-4976-AA28-FEA8ECFE51D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$73E9B743-8C1D-4369-B3EB-7349A52C905E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad285bc69b725d55f3a0bd824385166fe74d64d","datavalue":{"value":"5995606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$1EF775EC-2755-4DFA-96F8-120A64807406","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$FF07E3C5-3195-4DE9-9878-5803F0051339","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":"Q3105753$F271EF6D-38B0-432F-8574-AAC0E42C78D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2498243f5b4483975c4045a2228483f3ec4fcaba","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23283-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3105753$9ABA182F-DD3A-491B-82D4-5A0AF3C11FFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41e00eb067b7951474cd755e97ccb438ac0445a9","datavalue":{"value":"W2108915642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3105753$9EF4D617-91D9-4A09-A029-878AFD778FA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7b71d152d10b52f5614e1cbfe1243b395a5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$D381229F-47D1-4FEC-B6B2-A2B7EE64D538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$64767528-5E85-4EA2-BEAA-A57BB188E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0afbedaaf315283cfbdd5f1afa2a9f30700f079","datavalue":{"value":{"entity-type":"item","numeric-id":3105753,"id":"Q3105753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$FE15D980-71ED-4318-A258-959D3C0057D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$EA5F0FE7-1F54-499A-A01F-2B9905F3516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$2A7E6689-B127-4A31-B491-7DBDE77A7AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$BE938E95-79C1-46CD-A9F4-5323D6442CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4993f2cc92fcb0f907aeb8f70837c90cca0018cc","datavalue":{"value":{"entity-type":"item","numeric-id":3568235,"id":"Q3568235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$32449163-E2E8-4132-8F49-CF994BF0BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c4a9a0b40ccdbc569c63efad0009c6ac23692a","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$323412D5-CE33-43AA-A6ED-37C0FB096CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b3cd5053ca6a7eb66724e3fa8c4d2f81b80233","datavalue":{"value":{"entity-type":"item","numeric-id":3575281,"id":"Q3575281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$DF2E4A1E-FD9A-41EE-BD16-336F696B53BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac24bcde47140102763502797ae911629cf24254","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$0DE0DAC0-EF91-405C-82F0-430B895A0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af6ae3b2167fc11bf7bef322bf34785822f686","datavalue":{"value":{"entity-type":"item","numeric-id":3584944,"id":"Q3584944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3105753$F999769B-8EDD-42AE-A3B4-18DE1D63CEB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1582c313259a37109f64444db11c98adb54094","datavalue":{"value":{"entity-type":"item","numeric-id":3525079,"id":"Q3525079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c69e57e3809f3dac8d93005da1b4d7a8332f29","datavalue":{"value":{"amount":"+0.779172956943512","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":"Q3105753$CE1B1CD6-B0BA-45A8-A822-AE115D9FDC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8908d51930582745582e4220ad11bbb77575ffba","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fb4bc7e9764ae7a4467e88850e206038653e0b","datavalue":{"value":{"amount":"+0.7739260196685791","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":"Q3105753$806FFB7B-697E-44F1-ABA8-CEFB7E12FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e370649233585ef62ddc25c062981bb4eb44c14","datavalue":{"value":{"entity-type":"item","numeric-id":5271049,"id":"Q5271049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b177c51589e179a1bae883d5f274d101776f7fa8","datavalue":{"value":{"amount":"+0.7733835577964783","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":"Q3105753$5D181D67-2695-49CB-B3D7-12BC9FD7CF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27023d2fab0d4ae5132242cbed5fa27572dc2271","datavalue":{"value":{"amount":"+0.7731479406356812","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":"Q3105753$6A203ABC-C61F-4571-8370-2F6E22113D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928ffddde892e1817bc819ab21baaf4913e314f","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa52e298c01f2178e9001ee7fc91832d6550ad0d","datavalue":{"value":{"amount":"+0.7616456151008606","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":"Q3105753$AEDDF196-A6AF-4F8E-B94A-3FD3D6EDF219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of a lock-free stack with hazard pointers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_a_lock-free_stack_with_hazard_pointers"}}}}}