{"entities":{"Q3512486":{"pageid":5542390,"ns":120,"title":"Item:Q3512486","lastrevid":50405633,"modified":"2026-01-13T23:51:00Z","type":"item","id":"Q3512486","labels":{"en":{"language":"en","value":"Implied Set Closure and Its Application to Memory Consistency Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301101"}},"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":"Q3512486$27F4CADB-BBAC-4603-98EF-047BD7736FF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a01b0056cb41bd743337e77b41ce612840027f1","datavalue":{"value":{"text":"Implied Set Closure and Its Application to Memory Consistency Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512486$C56DCBC8-BCA5-482B-B242-5442E423D83F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb5dc2313f6f32afa1bdc8e7a8f30d23a81263e6","datavalue":{"value":"1155.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$D7EF9953-0C82-4418-812C-F30EAC2D1030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5567d34bff58bf91b9efba8f2deaf0b851a8507e","datavalue":{"value":"10.1007/978-3-540-70545-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$A072BECD-8CCA-4016-A863-B18C913A544D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613801e34e3a60f4d110f7cc5838aeaa5c99898c","datavalue":{"value":{"entity-type":"item","numeric-id":666656,"id":"Q666656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512486$E13B0A3D-0DED-44A4-96AE-20EBD58E1DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d866c6a8043d8485aed96623fb6e0a591ed14c","datavalue":{"value":{"entity-type":"item","numeric-id":328704,"id":"Q328704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512486$690F1450-B3D6-455A-A39B-F8A9D24D9B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c709866a552825e9e9f7a1be1cd38afb1432253","datavalue":{"value":{"entity-type":"item","numeric-id":3512485,"id":"Q3512485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512486$98D5FC96-79D1-4E9E-A2B8-399D71747B84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512486$D94EAB32-768B-42FB-B9D0-6C442A63B446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512486$DF2B9F20-BDAC-4B3C-B63F-01A161EFF311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$9CD48DE0-1628-450B-8BFC-C19DC9AAE344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$33B405B3-D7EA-41C0-8F15-A13B2AB0A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$6F39FA8A-5DF7-4C81-B41C-7E9529B6B5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$BC4DB734-954E-43BC-B91A-4549ED178529","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e7eac05020f406cb5fb2baf75aa225e8e5ee99d","datavalue":{"value":"5301101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$D4ACA198-2E4C-4145-9A6A-579C14E7B304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f299e49514f16a06440643a29de2a672898a06","datavalue":{"value":"memory consistency model verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512486$1AC6599B-14E4-455A-AF39-AFC2538DE921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765d6cbb692e6076903b03aa3c725edec81b4175","datavalue":{"value":"incremental transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512486$BB8D82FF-4793-4B8C-97B1-FC96A63360BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6bb3d8712da0b997713190bf45918b4d4ad4ba","datavalue":{"value":"total store order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512486$7D9B87A9-E9E4-476E-880D-27B024A4F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb2ee67ff3a9daa91d09e492d5ae217314d78d28","datavalue":{"value":"shared memory multi-processor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3512486$0ABE0F1C-A503-4F12-9C30-E9038127C99A","rank":"normal"}],"P1463":[{"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":"Q3512486$8C1B23B9-F345-4662-A26F-46412F939873","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":"Q3512486$A68B3079-5891-427A-B1CF-F2ADE8CC5DEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c476bfdd631f098d6ac4b8b285a0d4c4c621bb1e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512486$4B14B21F-5BF9-4001-9AA5-D9D742EF8B69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f7f20c3acdb77d7424c7c1133978f402f719eee","datavalue":{"value":"W1540040039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512486$25D08C93-276C-482C-9D8F-D47C6DC73085","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f44150bf5f8b9a18037b1fe7ce1cf57190c903a","datavalue":{"value":{"entity-type":"item","numeric-id":1099629,"id":"Q1099629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512486$56FFF758-D0F2-4801-878F-5FD7D5643104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1701034db9bf04e653c9e5a61aee422975dddf4a","datavalue":{"value":{"entity-type":"item","numeric-id":5714203,"id":"Q5714203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c31efab748d8cce2d0bb5c29de21bc9f44cdd3","datavalue":{"value":{"amount":"+0.733180046081543","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":"Q3512486$580B7985-8670-486C-97C9-D4E78EBD68DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aed15c3e8868494c143e530f984db1935924349","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c497e02b75b0c1c497a783532f1c349d2da041a","datavalue":{"value":{"amount":"+0.7207622528076172","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":"Q3512486$6E82C179-49DE-41D5-BB7B-4269899B4613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f836fe8e9635f4d25eb3f3f9476766eeae6b46de","datavalue":{"value":{"entity-type":"item","numeric-id":6485890,"id":"Q6485890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a8e46c679ea080699e05dca9ba1dfd5ccdac87","datavalue":{"value":{"amount":"+0.7102636694908142","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":"Q3512486$F438F328-C09D-4CDE-A001-E14910694CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a079e0f76c69911977b390b1f83ab53c39a467fb","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3492781ac56397ee51df639a112de3ef7320bd4","datavalue":{"value":{"amount":"+0.7066187262535095","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":"Q3512486$D4278E7A-C67C-40EE-94F8-5CE3072BC2C6","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":"a3492781ac56397ee51df639a112de3ef7320bd4","datavalue":{"value":{"amount":"+0.7066187262535095","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":"Q3512486$547A75F8-1F7C-4461-BDDB-D75AFBA214DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512486"}}}}}