{"entities":{"Q3639041":{"pageid":5668947,"ns":120,"title":"Item:Q3639041","lastrevid":50800118,"modified":"2026-01-15T05:38:03Z","type":"item","id":"Q3639041","labels":{"en":{"language":"en","value":"Reasoning about nonblocking concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5622640"}},"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":"Q3639041$98243E23-7671-4736-880C-682ED9BEA410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"945ef3b16bb243bdc4e60d61d652d1a3e78ec02e","datavalue":{"value":"1216.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639041$ED4AA641-5062-43EE-96EF-FA75F34E12E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3639041$E939EECA-A78C-4E12-BE19-D77C8F41E638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"979675af8434f65c971325fe4cac7cabed000b0e","datavalue":{"value":{"time":"+2009-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3639041$E0422139-E57C-4780-B4A5-31E45EFA4C39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbe8909603b165efabc4b390afb3f3b7e98c049","datavalue":{"value":"http://www.jucs.org/jucs_15_1/reasoning_about_nonblocking_concurrency","type":"string"},"datatype":"url"},"type":"statement","id":"Q3639041$B7E28C00-DAFD-4D34-91BF-0247C1845E48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639041$AB8CBB92-9BCF-4098-901B-E4AF7A71C3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639041$1B652B02-E5EC-4C40-95B1-0D5C432252CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe7cee89eb56e30bdeaa8d8f510787ab8c9d5e03","datavalue":{"value":"5622640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639041$CE6E5B4E-C5E3-456F-B339-EFC731398922","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$9E17178B-21F8-4D9D-8944-4A106FAC774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$A9954507-8585-44DF-BFBD-295890E19D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403736ea8913d6358481e5eca178a5f58979f013","datavalue":{"value":"linearisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$566B45B8-319A-4191-B116-D741DB445E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4961852a0231c58795067b2b5beeda631000f7","datavalue":{"value":"lock-free algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$E4EA16FA-6484-4E08-A2D0-E1E8CC7A18CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc662e6fd2cda8ebb173efebb042c84d8b289ed0","datavalue":{"value":"nonblocking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$9DAA4348-67B3-449D-98C8-8DD506BD87C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$66CCE87D-1734-4DF5-A08B-0C0B51BDD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0beb0dd62e616b9d74dedf917295173f10e62d8","datavalue":{"value":"shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$878D3FC0-D817-4D87-A9DD-862CC63A3EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$D479A116-941C-4CFD-BE2D-D9E036457067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639041$416A01DB-AEFE-47B8-B6BF-774456290250","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":"Q3639041$82E1C0F8-41BF-4EF8-B3EC-9301E7F996CE","rank":"normal"}],"P1643":[{"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":"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":"Q3639041$6C8B062C-C698-4C03-AE16-F30B03B37BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb947f728ad2297ebee9fc81b47eebae5756a18","datavalue":{"value":{"entity-type":"item","numeric-id":3646231,"id":"Q3646231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4ca4bf1ae52e401324a49551dd68f0f38fecd6","datavalue":{"value":{"amount":"+0.7780781388282776","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":"Q3639041$65F19258-1DC6-4172-8626-6282E5771E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062192654decac9c9356935c51030de414a3d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346bedd10646f8706b2172e31a3773e3dc663d0b","datavalue":{"value":{"amount":"+0.7548559308052063","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":"Q3639041$6BC182A6-F221-4D0B-A98C-9180E1F6CFC3","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":"54573028f208acd28c1c7a06764aaa2570667d84","datavalue":{"value":{"amount":"+0.7514684796333313","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":"Q3639041$E1703775-5F5D-4913-B6C0-BEE3D4897BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510daf3b37e3128a58d2c11d92805ae8a9e2c038","datavalue":{"value":{"entity-type":"item","numeric-id":469352,"id":"Q469352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9320f1443401a2f3cce3d0d4d4e0669c8cfb09","datavalue":{"value":{"amount":"+0.7477931976318359","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":"Q3639041$AB8C9E7A-0940-46BE-A71A-A998F2090172","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3639041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3639041"}}}}}