{"entities":{"Q615951":{"pageid":617727,"ns":120,"title":"Item:Q615951","lastrevid":51158729,"modified":"2026-01-17T00:00:33Z","type":"item","id":"Q615951","labels":{"en":{"language":"en","value":"Abstraction for concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833517"}},"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":"Q615951$9F5FA81E-87F4-4C2F-8DEE-EE487628A919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b362152a12f40f149a484adc501cdf174c720afb","datavalue":{"value":{"text":"Abstraction for concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q615951$5DD4B3BC-56E3-488F-8032-A75A25A9A009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bfa861c87368e1e83be59df79314366ac232036","datavalue":{"value":"1209.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$D8A0C0E7-7274-49A0-963F-52C664520AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb3961e761ee7349dac059747bb800f67e1de65b","datavalue":{"value":{"entity-type":"item","numeric-id":607400,"id":"Q607400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$96E700D7-346A-49D5-A41A-BD16F5DF03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$DA50F74B-0DF5-4E62-A3C1-2302F17D169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$E1992CC8-39E5-4EA1-BCE7-E468CF354DB9","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":"Q615951$31956816-18FB-474A-952C-5A1C11AA8047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$5C8774DD-5332-4E21-9EA2-1519CE84E0E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q615951$3BC0F032-931F-41FD-BC7C-C28000154A17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$F1207DAC-05B3-4FC4-B5D2-00FD8A93859D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$ECAF1711-5E92-409C-8A01-4A11FCC5F7ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3baacba71852e6a87272ca4be99a12ca92f3b50","datavalue":{"value":"5833517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$E78B9986-FC48-448B-936F-03F3CB74DFA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q615951$50B87B2D-BA4D-46BE-ADBE-1C10E135858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a0d9da79f806624071a34ce7fe3bc7d1f60ac1","datavalue":{"value":"sequential consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q615951$84552F3C-AFDF-4854-8508-61882ACE192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q615951$5E05E28E-705E-47E0-BCDF-137E6DD49921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f3fe7f8d594bd22ce5c6cc69c6624ebd4877d21","datavalue":{"value":"observational refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q615951$8B82BFA6-66C3-42E5-8C73-2163A764BA1C","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":"Q615951$7C3261D0-7590-47E5-9920-A55E4395FCD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1aebd8894ee8c85524d5f12c25d01908cbdb028","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q615951$F41B527B-2F54-4E25-A6C5-D43BDBAC6C5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f63343db76c9a7794c7c1d88695f74fcdadd65d1","datavalue":{"value":"W2139533136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$BE685A9C-82D2-4551-A266-DFCE0AA5EF37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee028121b78c3d2d9d67a3ae555ddfd75bfa964","datavalue":{"value":{"entity-type":"item","numeric-id":5178904,"id":"Q5178904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$04A5E47F-936D-47DE-93DF-9830D96089F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e712402cd9dcea168c6487d4b5255a19d7db902d","datavalue":{"value":{"entity-type":"item","numeric-id":2852353,"id":"Q2852353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$29A76BF8-EBE2-4AE5-B00F-74C9323E926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$4D271974-5017-4551-A0CB-49004EBEB105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f3cf5cc8414064d2f13139103d36becc2b2b32","datavalue":{"value":{"entity-type":"item","numeric-id":3617704,"id":"Q3617704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$7E25C9D3-8F7C-46DF-A696-C837C6637C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8492e3901d087d16155d8292790c3fde768e2499","datavalue":{"value":{"entity-type":"item","numeric-id":5137879,"id":"Q5137879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$E82CCC93-C904-4796-8EDF-AFB0D1AEB7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$BF17F46D-1BFD-426F-88F0-84F6CAAE7570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$FF5056D0-BDDA-4734-9175-992FABFF7139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$5280808C-BF43-4EB8-91DA-9723A4EC5992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d191295c7db3831683f4225028784f92743a17","datavalue":{"value":{"entity-type":"item","numeric-id":557787,"id":"Q557787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$A0DDDDFD-9F0D-48FE-A950-14224DC987A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a40927c9c741966232549343412922c812ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":5137884,"id":"Q5137884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$C598FC44-EC25-41E5-B54A-83857B444DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$59C3F354-A004-429A-B509-ACB209462943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882aab3f5763a57154468372c56e809350f14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3698316,"id":"Q3698316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$D65DAAB9-AAAE-4975-B80E-BFCC0B182769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7ac70217829001bfdbe229aa58327de02581ad","datavalue":{"value":{"entity-type":"item","numeric-id":3853111,"id":"Q3853111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$2B38B935-21BB-4CC5-BA34-A813586EFE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$3D440496-52C7-4792-B6E9-074C751A8F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$F5E1FFB8-683B-4F53-88FA-97CA66E6013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84876ba11511103a32223173f2b1b32de4d1d0a5","datavalue":{"value":{"entity-type":"item","numeric-id":3718143,"id":"Q3718143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$FF21D8D4-A7FF-4896-95D7-E7EBC654FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17e8ae9c5653aa5723cc546879365e78cc6cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$14E08A4B-5CAF-4E39-B4BD-80AF5C44F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83456418c7b532bb09332756d94ea235aac36fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3069911,"id":"Q3069911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$6D6136A1-FE40-435C-8B93-1DBA472181D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615951$E17039CF-C14E-4152-B3BA-7CC1C2E92245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b47d02e55b8b0d6649d7197d85f4633be474fb98","datavalue":{"value":"10.1016/J.TCS.2010.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615951$BFB83D80-FFEE-47BF-BE0E-03824C9EA627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384da400bbd56081e76c499bef3b4a3deec550f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617704,"id":"Q3617704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db93a68c22ca3277b904ef9593ee73ef7d0f393","datavalue":{"value":{"amount":"+0.9996606707572936","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":"Q615951$FC155B1D-6BFE-4319-ADF9-48DE18BA6172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618b2e265d7d6b1f92aa4a4fb1ec31fbbe705da5","datavalue":{"value":{"entity-type":"item","numeric-id":5859670,"id":"Q5859670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0871e2eb55f2c6a1bf24f64eb054a10bb91365","datavalue":{"value":{"amount":"+0.8391300439834595","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":"Q615951$6E2AFB3E-44BC-4EC0-8484-BDDCDA0F1899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26aee2426db5be095f8ff36dd1deb12beb861f35","datavalue":{"value":{"entity-type":"item","numeric-id":3296328,"id":"Q3296328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa7bfa9ca07e8e278df24b771e77cd816760043","datavalue":{"value":{"amount":"+0.8005677461624146","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":"Q615951$EDB1EDF8-B414-42E5-BC45-D485AAEE1589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9d1eb37c29bf503dde9af2a1835e6485539976","datavalue":{"value":{"amount":"+0.7745825052261353","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":"Q615951$1B9BDD69-F5C4-4922-BAF6-3B31247674DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6164f88065b5a08a964a93a48aaeca48b6fd3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ca157c6f1827ebf9f809c40a0ef004a572869d","datavalue":{"value":{"amount":"+0.7741838097572327","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":"Q615951$66751735-2B65-4513-BBDD-77FD21962CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:615951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:615951"}}}}}