{"entities":{"Q3584944":{"pageid":5614848,"ns":120,"title":"Item:Q3584944","lastrevid":51066083,"modified":"2026-01-16T11:43:40Z","type":"item","id":"Q3584944","labels":{"en":{"language":"en","value":"Reasoning about optimistic concurrency using a program logic for history"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776475"}},"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":"Q3584944$3B4D3C0D-4C00-4616-A059-CD616C0EA839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b585886b630aecd9df44e8b88ee2b190b1c6883","datavalue":{"value":{"text":"Reasoning about Optimistic Concurrency Using a Program Logic for History","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584944$B727B9A2-F1B5-47AD-A510-CEC486370A6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2adcc76ff46f3852a2d86b6481ba6f2598a8026","datavalue":{"value":"1287.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$1E931792-D4B7-4380-917B-5E5B9CC56A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86ef4778bf8b4c7caee7082caabda5bc91e5bffb","datavalue":{"value":"10.1007/978-3-642-15375-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$9168CF9B-DE27-4DB9-B6F3-C89925E61678","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31353b1d02b70cbd2b437dd612528ad7108b0239","datavalue":{"value":{"entity-type":"item","numeric-id":351977,"id":"Q351977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$295FBA9E-09C0-44C9-9CF8-413982D13311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"137794768d5b70302fdaa58bb2fd0831a19fcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":351979,"id":"Q351979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$D5314214-41DC-464D-91AD-D067924D1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$96A1522D-0D7C-42E8-989E-A081954E7E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$20358BE8-0256-4C55-B23E-F771F3AE81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2308b37ac219e1ca1b213d17b783dd3af2b3080d","datavalue":{"value":{"entity-type":"item","numeric-id":351978,"id":"Q351978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$4486C252-A6B5-47FA-97E6-C2528659AEA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584944$07BB8C81-9F1E-43C9-B8B2-EBF2DAD441B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584944$DA398EFD-D003-47D0-8622-616829D4514B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$2791FFD4-7324-48F5-AEF5-9AA140F3F0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$8EC38B01-6944-4703-8B52-ABEF5FA1C75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$3F3DE2E2-0008-49DC-9017-61F9990FA868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$97FA9EA6-68A0-4FDC-89DD-D37522FAF323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56c3d8b59f469612b31bcae047acf8009622eefc","datavalue":{"value":"5776475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$C623FCFB-8EAF-4473-B4CA-37B2CF4AC218","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":"Q3584944$A9C25022-0849-43C8-A731-0EF274271289","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdc3fcfc702c82a6fbab3aae3c595433ff80dae5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584944$6A2949B3-4CCA-4B6A-B5F4-486FE153B86F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9248a99a385b6d79b1d09272c7c036ac66585860","datavalue":{"value":"W1824790454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584944$6BD3D36C-F595-46F9-BE79-94B8013AAC9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f822e90506a74059c914a62430f556ed83ecb3","datavalue":{"value":{"entity-type":"item","numeric-id":2802440,"id":"Q2802440"},"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":"Q3584944$79FF277E-1C1A-4CD4-B69D-FEB446945EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9925b9ce8850365f70df317dd73f599104b760ae","datavalue":{"value":{"amount":"+0.7028420567512512","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":"Q3584944$FE949A0E-A8E9-4E63-9BA4-AC7E99C6E969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c0f08bf9be26028118667f25beb9765cdb0c9c","datavalue":{"value":{"amount":"+0.7004660367965698","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":"Q3584944$72A361B6-08F7-42F4-AFAE-D53DEB715A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac3eaecf157c7c64eb4c4b451c9400df7dd96bc","datavalue":{"value":{"amount":"+0.6993860602378845","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":"Q3584944$EB26C933-0CEB-4170-863E-DA5B126741AA","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":"70f98988766165e6a8c2635c3ece26a8243c9579","datavalue":{"value":{"amount":"+0.6976429224014282","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":"Q3584944$BE9E4D7E-C6CA-4AC5-99F0-4FD8B99EEB2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584944"}}}}}