{"entities":{"Q1702905":{"pageid":1713646,"ns":120,"title":"Item:Q1702905","lastrevid":72116970,"modified":"2026-04-14T02:45:18Z","type":"item","id":"Q1702905","labels":{"en":{"language":"en","value":"An axiomatic specification for sequential memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845645"}},"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":"Q1702905$234B9F89-36E3-4AF0-90B4-38F2B0204A66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b11ca7c98fa867c80ff01a7efb0d089b6a1ef62f","datavalue":{"value":{"text":"An axiomatic specification for sequential memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702905$88C183B9-AFDE-42B5-8AA0-D19855FEA844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2d4f88362d094b20674625cdfa8c9697b9896e0","datavalue":{"value":"1381.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$316FDAB3-02B1-44A4-A748-90A433212062","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"186eab44b7423705f32a21aebd4426d3c0ed9447","datavalue":{"value":"10.1007/978-3-319-21668-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$9D780B58-9CEC-4B5E-AA89-73D3DCAEB53E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc9321e1ecf733a02499b42252d991dbda6a54","datavalue":{"value":{"entity-type":"item","numeric-id":1702903,"id":"Q1702903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702905$EB1649B0-0219-4F89-85A2-8952C8D09103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"324c5bcdb86b9ab775b4e729b182631c70fd8269","datavalue":{"value":{"entity-type":"item","numeric-id":1702904,"id":"Q1702904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702905$31AC4380-D23B-4783-B2E7-EFB49E7755F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702905$2DABC1B2-E904-4AD5-8C9C-B2EE80AEA918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702905$E02BB3DA-2205-4A99-B6B2-6C5B753A3D9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$6B6F2291-A531-41EE-A7DD-9AD0B02D52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$588C6518-A919-4751-B944-D8E96B7622F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fcddb1e48ed846f70846f1d89f0022e83ac9fa5","datavalue":{"value":"6845645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$FDECE768-ED1A-42FA-BF23-3A61F444E897","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a68c98cef5c6e19b7919633d94f20b3cba6f8d5","datavalue":{"value":"memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702905$33EC9F3A-8EEC-413C-A52D-0E336A0F52FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e3e31ec8fadc435e57f9d44e807ba3f749005d","datavalue":{"value":"optimizing compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702905$18685B1B-B8EF-4521-9583-CFAAFF9FBA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"717df6b1b8715c3f5540dc1ce1245c1056af6948","datavalue":{"value":"deep specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1702905$B8D85ABD-D3FD-420B-89A8-F0876387CC8D","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":"Q1702905$0B02C036-12D5-46D4-B91E-1A6C9D9C9BB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa3473a892d3d55ad239317ec177b0490f633e39","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21668-3_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702905$82D088D3-2104-479B-AED5-DBA692300693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b29d0c9ab6370e464597001f2e0b069730b3e1f","datavalue":{"value":"W1926439667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702905$23C5E77F-C5B8-47D5-94B3-9A6A74A18BD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763fdac44ab4eb2d0b0f8d66e7259e5fabf667f","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a98e66a293a739bf530b8a0d30ed6c746dce04d","datavalue":{"value":{"amount":"+0.772209107875824","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":"Q1702905$E15B3C57-1499-4F0F-A4AD-03F3F19BF262","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":"c304291370c8501ba8d5f0a22a20ee04a838d23c","datavalue":{"value":{"amount":"+0.7635880708694458","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":"Q1702905$2BE53198-9EA5-4AB8-BD8F-115FDA768824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c597bcefe5c1dc20e0c600c65e3c1e4426edb263","datavalue":{"value":{"amount":"+0.7603824138641357","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":"Q1702905$41191AC8-38DF-4BF3-B6FB-60F962F0C256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8338724daa029caccb2c3016b9f8787797e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2830038,"id":"Q2830038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e45246c537397115613d5ddd3c1dec2ed1a2e14","datavalue":{"value":{"amount":"+0.7551944851875305","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":"Q1702905$8373A0DC-EDAC-4549-924F-F70E16263EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736bc0cd34ec03fa1ec6c42ccf16984e1d85ffe6","datavalue":{"value":{"amount":"+0.753429651260376","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":"Q1702905$18118985-F733-4F13-9398-C965976BBE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatic specification for sequential memory models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatic_specification_for_sequential_memory_models"}}}}}