{"entities":{"Q3189825":{"pageid":3200533,"ns":120,"title":"Item:Q3189825","lastrevid":45636313,"modified":"2025-12-11T17:25:36Z","type":"item","id":"Q3189825","labels":{"en":{"language":"en","value":"High-level small-step operational semantics for transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344215"}},"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":"Q3189825$A728C368-37D7-43F0-AE0D-C3047135A6B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c31adefd6b529e1efe742c96f9249bc04ec8209","datavalue":{"value":{"text":"High-level small-step operational semantics for transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189825$601C82AC-5A56-4037-A6A6-03DCA41B2632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eafd3f5f7b33a9cb3dfb5e38a194518dc4a09573","datavalue":{"value":"1295.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$6732B5E2-F0B0-45A4-82EB-09C034BD570E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f970909fc8265a38b50da8315301a0ec5331f036","datavalue":{"value":"10.1145/1328438.1328448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$39A5BB4F-5A5C-44A0-B90A-C78047772122","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d68fb6b2ee58deb1f5b14ec34618df78bd8bd62","datavalue":{"value":{"entity-type":"item","numeric-id":2817721,"id":"Q2817721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189825$916574F6-10D1-4E18-9968-1F611145A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c685724f5ede5728fa99631f7d8359d546e50646","datavalue":{"value":{"entity-type":"item","numeric-id":1959476,"id":"Q1959476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189825$491DDE7D-8283-4BC1-953D-DE7051DCBD74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189825$76ECAF6A-F0E2-4F9C-BB2C-6F3354A86316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189825$EB47A152-859E-48F9-8551-00FB8D2CAA0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41d611a3f1cb7e42a4b996e5fcc1e6e7b5fdd1ae","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8823","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189825$B5E50969-2160-4489-AFC0-7DF094A360AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$201B07C7-CC63-405D-A5EE-30638E1D289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$8AEEE534-39FD-4585-9BB4-E4F709267293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$2494E93E-DE4B-4DC6-A4D7-7A3F7C6EBD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$0C8D3BD3-AE21-4283-8065-B4A8605D69A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59df13e2a99f93faee5294a6eb76f13b2121320e","datavalue":{"value":"6344215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$BE733CF1-7D36-4CF1-B25B-12E95D8706A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189825$A33F7CB5-867A-40AF-8156-3736BB585565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189825$C4172673-EB31-4CD6-BEF1-1D9DA5D2B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd72197e6386a7717173e8a5b8a9e8ddbcb331a4","datavalue":{"value":"strong atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189825$1A7D321C-B053-42CB-ACB5-8CA1CE433A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca78afcadf5c91de023515b1dd628c917653615","datavalue":{"value":"transactional memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189825$F6AD7861-D9DA-49CA-8139-B9E4A77974D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1862b2f634fbe28795f19c2c821b62cedf3a1d05","datavalue":{"value":"weak atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189825$80655134-CD21-4636-9509-34657BAFCC33","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":"Q3189825$F2EB834E-7215-4DC4-81D0-FCEBB2AAE2EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3caddf9b0fa1643e8030e40ecfe131a936b6789","datavalue":{"value":"W2152988224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189825$DA8B94E0-5D5C-4313-B72E-423E72600268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5b6075ec3c3e52042d15b4ed4897de03b0193","datavalue":{"value":{"entity-type":"item","numeric-id":5717744,"id":"Q5717744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6247222dd2fa1402ce8de33725cdcb746aedc4b6","datavalue":{"value":{"amount":"+0.8454659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$AC63A029-B45A-4765-B931-E85DD5BEF828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6672f5cdf3da96a9328956cb12cd7ca9102163","datavalue":{"value":{"entity-type":"item","numeric-id":5709384,"id":"Q5709384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d02f688c0e068b292dcc7043ae4394ad5c9cba3","datavalue":{"value":{"amount":"+0.8430064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$AA52D7F1-F700-43FC-AE63-A1C8B164721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f5e10c70869d7ec51f8fe47cba2d28154139ab","datavalue":{"value":{"entity-type":"item","numeric-id":1389453,"id":"Q1389453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8673ae1314ec13d7edc3612fb9a116eeb80487fc","datavalue":{"value":{"amount":"+0.84268737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$913F0BE4-FD23-46CB-9C30-B69BDF78BD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17adaf3e913b5d6b238d857d5f724de513317532","datavalue":{"value":{"entity-type":"item","numeric-id":3525093,"id":"Q3525093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173bbdf3cc9fdfd7d9a66d3cbe49f585b354f2ee","datavalue":{"value":{"amount":"+0.84033656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$6DE45EA3-B8DF-409A-BC50-DC5898D753A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fbc5681f8b9bf451a7b1184f187211fdcb2c5f","datavalue":{"value":{"entity-type":"item","numeric-id":2485278,"id":"Q2485278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bb9b6c98c83ad300875f76501beac8f5549cbe","datavalue":{"value":{"amount":"+0.83779794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$DBB14F17-CC1F-42E3-9FDD-88898743CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea50bb168cdf85523ccf6e3f6dc69a22fffa2cb","datavalue":{"value":{"entity-type":"item","numeric-id":5410681,"id":"Q5410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616abe7ce2d50f405b4a9dbb5d5f5615ba64f02d","datavalue":{"value":{"amount":"+0.8365396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$28422960-6AFB-45D0-B9C3-93F333BCD753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4485ec479b548a19661c690014b998d09b4a9","datavalue":{"value":{"entity-type":"item","numeric-id":3000281,"id":"Q3000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d358c87148199002b976f4ba244281eb830014","datavalue":{"value":{"amount":"+0.834335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189825$E94FD064-E25A-4DB6-BA45-E21B1522335C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189825"}}}}}