{"entities":{"Q3177890":{"pageid":3188600,"ns":120,"title":"Item:Q3177890","lastrevid":80088965,"modified":"2026-05-06T15:24:59Z","type":"item","id":"Q3177890","labels":{"en":{"language":"en","value":"Characterizing Transactional Memory Consistency Conditions Using Observational Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912794"}},"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":"Q3177890$0A0DDB3F-B1FE-4C07-BC6E-7B299102AE20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9721aba3b5feedfa9612e2f6b1d200bad2ea8d2","datavalue":{"value":{"text":"Characterizing Transactional Memory Consistency Conditions Using Observational Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177890$2D732EEA-E7A9-47BF-BAD9-134CFD2B0F15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51f05cdad4ab4f375d44da44d8fabf8dca8de3d1","datavalue":{"value":"1426.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177890$D3595A18-4C84-4534-9E5D-222BB8C3CA14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb5eb9d135030fb252618f52b599d78e46fdadb","datavalue":{"value":"10.1145/3131360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177890$276A7EF3-C3AE-41AC-AD85-F201A0ED7E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06beb65bb7324a348c680287d2a6a50a4218f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":216138,"id":"Q216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177890$551E288B-6BCF-47B9-A85E-EBCD53832C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177890$69102756-6355-46E3-94C3-920D8607516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d82fec07333142edee1dd01e2e3c96a2a1d15de9","datavalue":{"value":{"entity-type":"item","numeric-id":3177889,"id":"Q3177889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177890$E173A629-A777-455A-B0AB-D2A0E1239128","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":"Q3177890$DB1008C8-06CD-469F-A955-62B5029206CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177890$23F7CAD9-125F-4D71-BACA-D9ED637A3152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177890$5FC75D48-F960-4198-8FE7-F5484EB683D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177890$DC8D0305-6392-4B1D-8FCA-9570280F5B98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c022a17036e5e643aabe6add63489806b87c6ee","datavalue":{"value":"6912794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177890$52ED17B4-B51C-4E1C-B620-A8FBD702DACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52c421f88854c0e30a96bb2a3688ac31f9449ee","datavalue":{"value":"STMS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$9F744043-95B3-4A11-9B9A-D5F32DC1C624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e241d1b9baaeff58185608670287da70248e35e","datavalue":{"value":"strong transactional memory specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$95C3BCCF-69F9-4449-9F5E-E9F7F7947660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d60d7ce7d61b677ac5ee75306079bf749abcce","datavalue":{"value":"TMS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$E2ED1E61-A0DB-4F87-966A-E436D7F8E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5d3613b9627b515274d6a369d8e916636c2b52","datavalue":{"value":"transactional memory specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$26872B9B-2833-438E-9198-75F47E366EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879d4fcc502e9c9491c09385dee5cb4215bfef54","datavalue":{"value":"transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$F6DCA4A5-D5E4-4FB5-91C3-7F4A51632DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$CBACAF62-5FA2-4275-8960-B758D0B77AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d334b5c6b7dbe88f076c8f46ea565e546aa9d7","datavalue":{"value":"correctness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$812D2050-C21F-464B-B027-B692085E2642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177890$ECF02300-D067-4037-8CA3-3F19BFE32132","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":"Q3177890$729157D6-6A7E-4DEA-A2F0-A4A99085750D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a6b9433d7ce5cb10a69e14a571e94f34d705efa","datavalue":{"value":"https://doi.org/10.1145/3131360","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177890$08722C43-9D00-463A-AE5A-64A4CC1ED648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15323ca646ca31fa037fd8b41634736454fcba2b","datavalue":{"value":"W2777716674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177890$9E9B2B40-82C0-42BC-9A4C-331B14541DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a2f3f83dc3230d974c09556a868d1bdb2631e5","datavalue":{"value":{"entity-type":"item","numeric-id":4967167,"id":"Q4967167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9c80b68113f4f7b915f83040cbde4476dd3061","datavalue":{"value":{"amount":"+0.88964045","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":"Q3177890$D5A60946-2C25-4EB9-89C7-7EF2EEB02AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4829c2c7c042f9df7d58e5aa9a33c4e4fefaff3","datavalue":{"value":{"entity-type":"item","numeric-id":5176110,"id":"Q5176110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851abacaec54444df50bff89018ec34715a01ee0","datavalue":{"value":{"amount":"+0.88393974","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":"Q3177890$87B4B4EF-BC83-4433-B330-0126192880B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdce15d24dfc440c60dd974a785c85c3aa87285e","datavalue":{"value":{"entity-type":"item","numeric-id":3184661,"id":"Q3184661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06544f4940393b633cb6c42d6f58a13dd69f7fe","datavalue":{"value":{"amount":"+0.8818421","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":"Q3177890$D7C527F5-6B7E-43F8-9626-65672A104D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32f357e887bfaeea67afa0628687d1b1e43b486","datavalue":{"value":{"entity-type":"item","numeric-id":2039909,"id":"Q2039909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dab290f2cf13cc34c71aad34d4920662db4e719","datavalue":{"value":{"amount":"+0.8798772","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":"Q3177890$2D20CD00-F8FA-44EC-BB5A-A0F1B33A0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16be9ccb2b3a42f0b24c3dc396ab74f2892e6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2933772,"id":"Q2933772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759db3804e6cc00d24963338c42687e15ad9a241","datavalue":{"value":{"amount":"+0.87879294","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":"Q3177890$7CA6463A-1E32-4C4F-94D4-BC743CFA967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573201f06fe9b16eb9dc3d33f5d647a5d78f5831","datavalue":{"value":{"entity-type":"item","numeric-id":470040,"id":"Q470040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4f0591b907c8d2415cff780ac4b5ad598314b1","datavalue":{"value":{"amount":"+0.87429464","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":"Q3177890$78BE4740-9DFE-494E-9D91-139FC8998728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing Transactional Memory Consistency Conditions Using Observational Refinement","badges":[]}}}}}