{"entities":{"Q3558229":{"pageid":5588133,"ns":120,"title":"Item:Q3558229","lastrevid":50972351,"modified":"2026-01-16T00:56:05Z","type":"item","id":"Q3558229","labels":{"en":{"language":"en","value":"Generative operational semantics for relaxed memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703411"}},"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":"Q3558229$BDF80522-3465-4553-88AD-946777D851DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3236c7b98e3f1690ecb87eee83073c31796a1105","datavalue":{"value":{"text":"Generative Operational Semantics for Relaxed Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558229$8AAB5F08-5693-4ADF-82B2-3B35397A385E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"634d48bf6200d873c466300f848ecc3890ef1188","datavalue":{"value":"1260.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$DC57F115-B0B0-4E81-A36D-B1F7ACD68E9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef4d493d9dc400238c23d44533cd21011422029","datavalue":{"value":"10.1007/978-3-642-11957-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$22C2D4F9-126C-4824-958D-C1D1FCF32260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$1BE34275-6EDE-41B0-AC25-B109AAAA7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd042ad138bf8d7014aacd608dfa44161d3d348","datavalue":{"value":{"entity-type":"item","numeric-id":2936241,"id":"Q2936241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$36985205-4292-4BC4-8C9C-B6FFFBB218FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f19472be0d635d36d2e1085e324fff1c2ab103","datavalue":{"value":{"entity-type":"item","numeric-id":856918,"id":"Q856918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$F81609FE-6192-4F1D-BC43-08B2CC6AD9D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$468F8773-729A-45AD-B42F-3AF93F9C4375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558229$821BC109-F98F-48F4-9A61-DAB56C8D65C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$110D58A4-8438-4DA3-9DAB-0933DAFA0B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$6BF0BCBB-F115-404C-BC05-567F2B1F8FB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a8df5974441076b470ba7107fccee9cf8891584","datavalue":{"value":"5703411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$17C5A450-D019-4AA0-9713-1BFB8FB96FBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$42CB7A25-6944-4475-A410-A0FD3589E420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"170ccf721178258c21fb4fe9c26f36046af0ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":22099,"id":"Q22099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558229$C82C9648-F1CD-4232-92FC-F2C29EC6F0D4","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":"Q3558229$064822A3-24FC-4D9D-926D-5BEC92233EEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9ad442c021b5878e9d3689a9a76695b5bc0cc5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558229$620B495B-3C2B-4141-B416-B9688F0BAB6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42c11a16c41e1eb7319b4f70afd4ef010e2048a9","datavalue":{"value":"W1595974273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558229$8EFA7330-04C3-49B0-96D5-BB7ECDEB3EB7","rank":"normal"}],"P1643":[{"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":"15ebe61c6590e151ac30a512f5e7779c5646c324","datavalue":{"value":{"amount":"+0.835463285446167","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":"Q3558229$6A38ACB3-488C-4E4B-936C-2CD8D6D77072","rank":"normal"},{"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":"e294e6bf6198e6074b521fd1bd5616aed05b8cc8","datavalue":{"value":{"amount":"+0.8330397605895996","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":"Q3558229$12B4668B-6E84-422B-A796-F45E52FC2814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13e8db5d56a1378a9b3c703839f7ea4aedda6e1","datavalue":{"value":{"entity-type":"item","numeric-id":1712426,"id":"Q1712426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96ac8b2b68446cef31995401e9092a6c18f5a50","datavalue":{"value":{"amount":"+0.823658287525177","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":"Q3558229$E42FEF7C-51B1-4CD1-B13A-798FBD403C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c25ca5e49a67ba513c8a109b68de4de70a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c65887b8e8acf07918ebe28a02964de00c7b63","datavalue":{"value":{"amount":"+0.8231275677680969","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":"Q3558229$66A2EBB5-E854-4395-98ED-C5FFB5EDDD9E","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":"d00722a2678ef63a0744cd1da9b2cbc711d5099e","datavalue":{"value":{"amount":"+0.8051910400390625","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":"Q3558229$6F8A84B0-B17C-4923-B89C-290C8F9046EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558229"}}}}}