{"entities":{"Q3130550":{"pageid":3141266,"ns":120,"title":"Item:Q3130550","lastrevid":85882004,"modified":"2026-06-03T12:20:06Z","type":"item","id":"Q3130550","labels":{"en":{"language":"en","value":"A load-buffer semantics for total store ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6828652"}},"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":"Q3130550$83DD44F5-C842-4AB1-A517-8EDD641EBE4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f219a530a976b0e635668b7d1cc74df968de2b2","datavalue":{"value":"1459.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$CE52FB50-E420-46DD-A187-2DC33E68D6D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7798c7a9419e2a63d4e2cae1131706f353f7a3f","datavalue":{"value":"10.23638/LMCS-14(1:9)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$C47E5BA1-8243-4F94-ACBF-101676F81320","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$9FC568DA-B5CD-4915-B031-AE933DD0B2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$B35F1318-DB5E-4D2C-99C0-51C2B8C691E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe140a14a5f8056d7a95ae3838ef948394d69f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3130549,"id":"Q3130549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$4AF60425-EFC6-4FC3-A5F5-8803CC22990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$A478BA5F-912B-4717-B830-D142A087C22C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3658740f2785e2549aa58e655bafba00d2f1e37","datavalue":{"value":{"time":"+2018-01-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":"Q3130550$A4798790-27EA-410A-9508-91F0B20F80BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd387fda011ac6b2395165d86510be557c95970b","datavalue":{"value":"https://arxiv.org/abs/1701.08682","type":"string"},"datatype":"url"},"type":"statement","id":"Q3130550$B9BAD97B-D3F9-4377-9837-F26E098CBB3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$FEDFCE73-8831-4CBC-B344-F11EE54484E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$E646065E-0F39-4D07-8309-2BA633600ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$DEDC2487-FA00-444E-8EBC-B97A9D8511D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$34335335-59D0-4B89-A6E7-407BB947DEAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2884be05791dec6f089c2b86fdccaf8f400c5f92","datavalue":{"value":"6828652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130550$70D7E0A5-5202-4A60-9191-468015CD5D9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6bb3d8712da0b997713190bf45918b4d4ad4ba","datavalue":{"value":"total store order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130550$519D57C1-1CEF-42DF-B9B3-3D0ADF746CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130550$7162D53C-9FF0-4FD6-96DB-C8118C2BD1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130550$EB1DBD9D-A6C4-44C0-9DFB-8BFC2E7A856D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130550$61290CF3-7597-4CE1-9906-7A942193F592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70a49b024af7536419aa811a038f4e661cfbf6f","datavalue":{"value":"well-quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3130550$A95C5EA2-6328-460A-ACEB-D269A9BCA7EB","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":"Q3130550$3BBE0335-288A-45D6-BEA4-A8871896FDD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcdc3f39b30ddbcf72bddf86d2beca129b3fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$233B7E51-FC99-4981-AC20-2E6BC0620186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ec0b617285c8b6d360ace8b833129f47a4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4608655,"id":"Q4608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$25306D73-E0D0-4B6B-9B53-8C93669AA08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dcfed7fb48a3ec727abe02058a43d7a70fbfa6","datavalue":{"value":{"entity-type":"item","numeric-id":2894272,"id":"Q2894272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$4AB2666B-C5D0-4C7D-BED0-D41F33DC5C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$E683ECC7-2FF6-4441-969C-F6FE6EF0DE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40a367d3fb7f8649c3d4a39284fd203816744ed","datavalue":{"value":{"entity-type":"item","numeric-id":2892719,"id":"Q2892719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$7570F10E-F0D3-4655-9870-8714598321F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c979116aac73952522405608e0e7d1878c55855","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$29323D38-F03F-440B-A15D-8BDE363D5BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278f450e92c60aefd3ce7b062893c4212f063b7","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$85D7BD22-E711-4040-B85A-507A9B0A7DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0c421b4819066f0b514e57c7c0e8aac4d5cb25","datavalue":{"value":{"entity-type":"item","numeric-id":5326306,"id":"Q5326306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$9388EFEC-C0A2-48F8-A7C6-829BD9820BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d7b9e297fcd76c14248efc49c105939c29438e","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$A6548946-3938-449E-B367-EF476CAF761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202f293794623d0abfe491dbb2d747d826b45232","datavalue":{"value":{"entity-type":"item","numeric-id":5167835,"id":"Q5167835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$B14E3A07-458B-4E10-92E7-F853FAC385C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de928295b18ffce2a5aa2ac27ac1d6497faa848b","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$D6E893D6-190F-42FE-BD47-46E909C0A3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$D3A21A75-D4DA-4C3C-8346-5BBF65411E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$F3E4CB91-BB93-4F5D-BDAF-D686164D1766","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":"Q3130550$6A709A01-4ACF-427A-85CE-D42BF679288D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cc5a574b49803eb1701499baba77e3e9ea7f","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$F13066A3-1726-4669-999E-F46575155BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ce7ecf80e53f4555089bcb6155245b5541e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2281648,"id":"Q2281648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$30427F93-B90C-4629-919F-E2759F6F0FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c86d29532dad4322b2417369b536216d59a130","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130550$29345AF5-9527-4CBB-9B74-D884F6E2A55F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa4b466e4d7c96c5036778fc429837f777dd19c","datavalue":{"value":{"entity-type":"item","numeric-id":4608655,"id":"Q4608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3219143f22114ec363440635eff7596a9579f5","datavalue":{"value":{"amount":"+0.9086913466453552","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":"Q3130550$23D0B2B3-F097-4FB1-8331-C56BFF22F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061dd9cc02f7def0e4835eafee7b938d701cd8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747665,"id":"Q5747665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a736a85497cfa29b011904fd2eb95b7ed1b76c3e","datavalue":{"value":{"amount":"+0.8009335994720459","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":"Q3130550$0BF70C78-EABD-48B9-B9D7-4FE1ED4598FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69c5b68bc1ccd8435b4c332daf5d8fc92c2ccf0","datavalue":{"value":{"entity-type":"item","numeric-id":3012938,"id":"Q3012938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0f7e4922b1ab51effe24314de1b856b12d5fda","datavalue":{"value":{"amount":"+0.7853517532348633","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":"Q3130550$188863DE-DB6D-4371-AB6B-F2DE00D1F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507aaf2c3d8de23f7536e0db9df10ab6c662f0df","datavalue":{"value":{"entity-type":"item","numeric-id":2938158,"id":"Q2938158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8684e19d33a4911ae601be493e8a21f8227a392","datavalue":{"value":{"amount":"+0.7842938899993896","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":"Q3130550$48F48376-F9D9-4BB4-9B8F-EED0B09C5B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa983010dba31a0ff25218beb364b3749601df54","datavalue":{"value":{"entity-type":"item","numeric-id":5326306,"id":"Q5326306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d49f3c57f3ded7d616d1f2fe7e826d1b60d0b8","datavalue":{"value":{"amount":"+0.7782986760139465","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":"Q3130550$B2FC0C27-DD4B-4D74-82B0-69ADC7465436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A load-buffer semantics for total store ordering","badges":[]}}}}}