{"entities":{"Q2256965":{"pageid":2267708,"ns":120,"title":"Item:Q2256965","lastrevid":57806919,"modified":"2026-04-02T15:01:48Z","type":"item","id":"Q2256965","labels":{"en":{"language":"en","value":"Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6407071"}},"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":"Q2256965$97A1B1EF-ACD6-4EBC-A5F8-A11133C4A610","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd1d7602d5fa397657c3cba63fc9d41a276b41ff","datavalue":{"value":{"text":"Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2256965$7A248D3D-0147-4758-B48E-AF0B58313682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f85f4614d26a0e4131a8b98b07847f7db56e13a","datavalue":{"value":"1320.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256965$DC217500-ED73-4A35-BDCF-794CCC638F89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59150bfb40a19b6d0ad58fab4baa10d3742f1c03","datavalue":{"value":{"entity-type":"item","numeric-id":2256964,"id":"Q2256964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$B21C17F4-5778-4659-92B7-71149C9F5764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c0feb4770bc986a9be131508e92b5ad61f3ba6","datavalue":{"value":{"entity-type":"item","numeric-id":294670,"id":"Q294670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$A838B54A-D046-4466-A966-18A3D28DAA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aa8e44347fbcafb4f59603aa14b78404008e29","datavalue":{"value":{"entity-type":"item","numeric-id":436745,"id":"Q436745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$E7DD19BD-B7E1-4953-A9A8-AD63FEA5081F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$7D41213D-F7FD-4BD3-BD39-8676B8310A96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327ec1e4b48ef8cb2eab85e47071bab036811132","datavalue":{"value":{"time":"+2015-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2256965$B20E67B7-D18E-48E9-A131-319B8A86D66F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c1c6b03f8f2be2bd069e6d7ff10d2997ca11581","datavalue":{"value":"https://arxiv.org/abs/1306.0077","type":"string"},"datatype":"url"},"type":"statement","id":"Q2256965$B6BB7BB4-FE27-41BA-92A2-3DC69EAEF6DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256965$5F573974-1C1B-45A6-9A1F-7C67CA7C86E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da32f68b0d9311aa73e46cf293c0cd5d315a0b0","datavalue":{"value":"6407071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256965$01499E05-8FC5-4258-B605-138342FFD059","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a32f495399f302ff1f8ce807e8d573f897d75f","datavalue":{"value":"weak memory consistency models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$02C89A32-2849-4165-8283-8F58756C3A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80795696e38d7020cdacac4a6ac68baafa22d80e","datavalue":{"value":"distributed-shared memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$B0C5209F-AA8F-42AD-907E-92A04DA8463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a0d9da79f806624071a34ce7fe3bc7d1f60ac1","datavalue":{"value":"sequential consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$723DE877-C9E5-4BEB-86D4-7D8D87E60B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7fddb6c22a021ebef76c3c943cb3d2b07a05e50","datavalue":{"value":"processor consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$9AD84026-B191-4160-899E-2CEA6F7357ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f37c064a194ccb480dd08f3d65a988af2b0ef23","datavalue":{"value":"correctness of distributed implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$04D71CE7-7296-4160-B928-19D3B6452C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72abbc797431b544e59833effcbb9c65bde6a3e1","datavalue":{"value":"partial-order broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q2256965$77E49E94-AB27-430D-9AE9-8832A7CE34B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$635F6592-AA48-48FE-B631-A9A375097904","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":"Q2256965$3114DDB6-C49A-401B-8AC3-97CFEDD5DF4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6a916835290cde468e2e234c2d7e7ccf6457c20","datavalue":{"value":"W2963560569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256965$A9CDB242-BABC-4E3A-BBF0-E7962C906B67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$286DC8BE-D2F9-4358-8ACF-1BB620F1E88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$F2EE4FF4-F0BF-45C0-9C84-58865C5DF337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a457c597040796c8cd7d073008378e688faa21","datavalue":{"value":{"entity-type":"item","numeric-id":3523163,"id":"Q3523163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$6FF54E12-A682-45A9-A807-FC11C2E29796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf3a80fdb21f79885f9c2d79abe3e0259e1947","datavalue":{"value":{"entity-type":"item","numeric-id":4398822,"id":"Q4398822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$91D6E2A3-E052-46D8-B03B-78CD90A72967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$FE317F56-AD14-41DC-BEAE-41B8B73E9004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c061d31b2ad1070c6417d39eb2aecfa3eccd84ae","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$44122026-0C4B-4CCF-9E11-2BADDADB1A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacbf51de93374262c0fa3e0c7807f350477bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4258224,"id":"Q4258224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$56206929-F43E-4E8A-A157-A30668072623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf328534a639bf2b547cbaecb6cae199c41da0b","datavalue":{"value":{"entity-type":"item","numeric-id":3524304,"id":"Q3524304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$E1125763-9269-4A8F-9671-4DF1FEA48540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bbe0f23bc74a6c7ac11d5512442bf626e3ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":436746,"id":"Q436746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$CA33F924-3E78-4EBC-B525-F55AA3127E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$CA6E5B07-067B-4111-93DD-4B78BE27CC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$D95EFACA-E5CC-4C38-A8DE-D4363F744FA1","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":"Q2256965$F319B568-D6FC-43DF-AAEC-BD43C426D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$36EB42CA-5E75-4AB7-819B-4854237DEC84","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":"Q2256965$3764B5F7-71FD-4BD0-BB2A-B09399C0C1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$B3EC7424-36F6-4488-9BF0-DDBD1A58D546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e71af6753e163f10ded9dfc4a4835932109d4d","datavalue":{"value":{"entity-type":"item","numeric-id":4247083,"id":"Q4247083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2256965$AF6DF434-8587-46BA-A166-D318ED73237B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"927d9e39633d514519e55353cdc42dd8866b5db5","datavalue":{"value":"10.1007/S00446-013-0205-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2256965$458CCF19-7907-4A06-93BF-9D3119F060A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53014022ee8df6e689b1ac8218626864505e910","datavalue":{"value":{"entity-type":"item","numeric-id":4427911,"id":"Q4427911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72743f2d770ea04391e6ee9af4aacb936620b633","datavalue":{"value":{"amount":"+0.755520761013031","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":"Q2256965$A9933B33-98B3-41B3-B50D-54D4FF17AA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e308caae7526407a55f802559e3b608593d178","datavalue":{"value":{"entity-type":"item","numeric-id":4804891,"id":"Q4804891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583d3b25032c72289c633ccc5cbb3a744b6f1c5b","datavalue":{"value":{"amount":"+0.7530429363250732","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":"Q2256965$057AA0BE-41F4-4D9F-82C6-561D4F26F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf84b96107a7a12fc731151b687a651153b43c1","datavalue":{"value":{"entity-type":"item","numeric-id":777298,"id":"Q777298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa431f98008f30766a58b4851737383992ad864c","datavalue":{"value":{"amount":"+0.7510865926742554","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":"Q2256965$F5A56F3B-C050-47B5-911C-3F126F98EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40eec8b89f3569a69dba8cc8c45079b15063ddd4","datavalue":{"value":{"entity-type":"item","numeric-id":4904148,"id":"Q4904148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784abf3df5fccf1663900c06f1ccfa1ab16e1675","datavalue":{"value":{"amount":"+0.7415890693664551","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":"Q2256965$74C59F70-03D1-400A-8F79-13317A244092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad022efa1d722e2c55c06d65f8653af371f9168c","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d4d89d36c3dbd5be9471a0a328257090b3b12b","datavalue":{"value":{"amount":"+0.7412001490592957","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":"Q2256965$2E3DE9A7-B836-405D-982D-0D527ADBCD57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2256965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2256965"}}}}}