{"entities":{"Q2802440":{"pageid":2813178,"ns":120,"title":"Item:Q2802440","lastrevid":83444828,"modified":"2026-05-07T07:59:01Z","type":"item","id":"Q2802440","labels":{"en":{"language":"en","value":"Specifying and verifying concurrent algorithms with histories and subjectivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573708"}},"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":"Q2802440$561B4CAC-51DF-4CCE-AC8B-65A8BF79A4DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35131e54e5509231ad9af33e49dbf30b0c13ebda","datavalue":{"value":{"text":"Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802440$13AA9443-21F4-4134-A624-12DC9468B211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"991265aede48f09e5f699a5b00b8289dd4d53b72","datavalue":{"value":"1335.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802440$7542811A-FB82-499D-8072-121E44F0A93E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a330395e11073aa61bf6930db130d7dcbe6c934b","datavalue":{"value":"10.1007/978-3-662-46669-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802440$1BE9A56C-9CFD-4B5D-A666-D4A5D14EE262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802440$7F66729C-9773-4D32-9753-194676D32100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802440$11E1F593-F8A9-4246-BB8B-1471EF0429B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802440$9BB66F1D-4476-4D77-A3BD-79CEB08DE1A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802440$5A8C61F7-EA28-4677-95EF-3CE86295537D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802440$AF240E1B-3D5E-41B4-8500-22C3200621D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f344425e3c5c9e57f756c3371ebd1ce3dcbe348","datavalue":{"value":"https://arxiv.org/abs/1410.0306","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802440$DBDC893D-FB3E-4C7B-ACA2-1B26DE03A352","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802440$7B1517C7-4405-42A5-9730-4D0612F5D473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1bd3a1ba0fae42096c33aaa481f7415fbdc32c3","datavalue":{"value":"6573708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802440$712DFAE7-E88B-47EF-A202-294A589797AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802440$386E3224-9783-46B8-8E8D-B9DF0448A3C7","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":"Q2802440$DEB47294-B702-418B-9033-6DA15C322A34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33b19eaff7ce9faa1b8cb8864d29da596043fe48","datavalue":{"value":"W1533529458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802440$49E9578C-FD1C-4131-93F2-4593CD91C6F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882179dcd5deae32cf94050811dfebe092bb0cad","datavalue":{"value":{"entity-type":"item","numeric-id":5408549,"id":"Q5408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23f7f8972ff7b06cfc24b4712a031b436b8ada0","datavalue":{"value":{"amount":"+0.7487626075744629","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":"Q2802440$E28A615C-C5C9-4A2C-A7D9-9D48F2B9D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b318af3ea6b88c4463da2b1b3b4f04598a78e785","datavalue":{"value":{"entity-type":"item","numeric-id":2931839,"id":"Q2931839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353bfb8438c34966abfa82fbff836c09a5dc62f4","datavalue":{"value":{"amount":"+0.7333858609199524","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":"Q2802440$46B0A22A-287F-4C41-9FBC-D962E2EF5046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393fe8b461bfa770b86a0076b032bc84be339753","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e3f0d1a1fc04647fd867315cbe3ede61fe6a76","datavalue":{"value":{"amount":"+0.7255737781524658","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":"Q2802440$D84D93B1-8B9E-49ED-ADF4-BC5B800C98C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edad70ada991cd7a44bf891bb1a631aaf27773f","datavalue":{"value":{"entity-type":"item","numeric-id":3584944,"id":"Q3584944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dea880cd97e88a93bbc5b3fa99fd386941ba226","datavalue":{"value":{"amount":"+0.7251954674720764","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":"Q2802440$A85BE645-D907-4875-9FFD-75F3B3F9DA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e623ac615f166f1bc449685bc781e639d7ac44","datavalue":{"value":{"amount":"+0.7246735692024231","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":"Q2802440$B9CC67B0-F7F8-4365-9251-408E80BEFAC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying and verifying concurrent algorithms with histories and subjectivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_and_verifying_concurrent_algorithms_with_histories_and_subjectivity"}}}}}