{"entities":{"Q5915975":{"pageid":8032277,"ns":120,"title":"Item:Q5915975","lastrevid":93510521,"modified":"2026-06-05T04:31:17Z","type":"item","id":"Q5915975","labels":{"en":{"language":"en","value":"Operational semantics of a weak memory model with channel synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7043261"}},"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":"Q5915975$6274E0EF-8EC3-455C-BFBE-C139BCF5483F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755fdd4759fc24027645976d8914d7f35aba3919","datavalue":{"value":{"text":"Operational semantics of a weak memory model with channel synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915975$A3213632-B38F-482C-A855-1AF9DE02ADFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48846a28e96b1e93ccda893a6c6477af08474633","datavalue":{"value":"1417.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$4EA27A89-D9C4-44E4-A1BF-D5C46EA4135E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$F21E88BF-93D7-4A78-A09F-BBE24B39DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b123cb8ed588008e378239d988da5831697738d","datavalue":{"value":{"entity-type":"item","numeric-id":338623,"id":"Q338623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$5D9F679A-213F-44C1-84EF-63AC2035B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbc096766d8419d7507c3b3b5b27acc7041e6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2024350,"id":"Q2024350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$986D512B-80C0-49B6-91E1-0E9B8EBF877D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$AB2B3276-69E4-4FC6-B42E-6B5FA4F0D539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d06bbe883443d922d03e742956c1e568349f86c8","datavalue":{"value":{"time":"+2019-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915975$551BE0C7-0777-4021-BE4F-28A0A268462B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48de35f14e90f4e3f2a974b4a5b0102c7ff2a05d","datavalue":{"value":"http://hdl.handle.net/10852/61977","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915975$AA039302-6587-4AC9-A77A-9518DF2E03D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$D56FC7F0-AD5A-4EF5-8322-0033934B9997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2dbec5187d459a676dac968e0842241c3b63471","datavalue":{"value":"7043261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$533A84BE-7B8D-4301-9C1F-A9B3175E2090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915975$BEF42133-9859-43B1-8993-192377A6AB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3f0f30b182e40766212b93e7136ab4a7492e57","datavalue":{"value":"weak memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915975$62EC9796-16D7-4FAC-A9A5-F60EEA9DC89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eeff1be548ddbee97690f0065ad7a18c39626f5","datavalue":{"value":"data-race freedom guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915975$9D991D35-9128-416B-9EEE-2347541292B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941e92b30fe4caaffbec8febfda357c721d1a07b","datavalue":{"value":"channel communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5915975$99030A6D-CDF8-461E-8D3D-97C1B46A7A93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$85DFB22A-3B8F-4444-8985-FAFD2E6000B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$97434A1E-E8AD-4FE5-BB10-39D3E2B4A2DA","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":"Q5915975$B458C8F6-833C-48E8-8390-46A7D47CAD78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc409c2edec37e575f11c09bcb5d35378da608f8","datavalue":{"value":"W4236799000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$7C1FEAE3-44DD-4939-8F0F-A60D2EC063D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97cc18645d611c0ca2e40ecf0afe85f0862763de","datavalue":{"value":{"entity-type":"item","numeric-id":2945130,"id":"Q2945130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$DF3501CA-1F85-462A-931F-0EB60E14F88E","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":"Q5915975$8883A225-5191-4201-B6C1-2141418C1139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4571140468827117de9ef82d7ef08c246a067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$10D0C3BE-F57F-4FA9-B021-774EF00B8E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a585b1284ab5ad9cc38b7f1d4f9d943eead175d4","datavalue":{"value":{"entity-type":"item","numeric-id":4023279,"id":"Q4023279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$1A10E66C-7283-4CF6-A138-F5025D0E3357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854e173f49eb24123e6c5e5385e3fc3a1c6eb543","datavalue":{"value":{"entity-type":"item","numeric-id":2931808,"id":"Q2931808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$9F19CD6B-4457-4347-996C-A28CFF16645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139fcb1f4b1a046b32cb129c62dd102539e7c699","datavalue":{"value":{"entity-type":"item","numeric-id":3636871,"id":"Q3636871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$5C6855BC-8443-4E10-ADB4-DE5929241C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$B6ABC0B8-7ABD-4270-8585-DD42E822149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33df7e1467573e0d2e192372a7ba728350e2ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3558229,"id":"Q3558229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$02810F9F-318F-412C-BD63-16F5755C7157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f591237a7b965744d09aba483f5977a72592ee","datavalue":{"value":{"entity-type":"item","numeric-id":3994745,"id":"Q3994745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$2A31BA08-4035-489D-98DF-5570F5499AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e24dfcf208ad7ddc97aa163494313cd9959a87","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$E963DA5E-BC54-4237-88DA-DB6D00BE3528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$EE8897A3-91FF-4B75-ADF1-B595891F6542","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":"Q5915975$2A147AB1-3EBA-4884-820A-A95F279C9FF6","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":"Q5915975$A981C257-57B3-40FB-9FA7-2D49D73DA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c444dd303be4aa99d182a23f270fb96936e285","datavalue":{"value":{"entity-type":"item","numeric-id":5370909,"id":"Q5370909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$1091E938-E5DD-4DF0-920C-52C11743D6EF","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":"Q5915975$A593723C-1AD7-4755-BA51-7814392B2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$920B5DBC-35F8-45AB-83FA-BC14C60B3363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5360f20cbcc4690d807f9a1580a29b37f26ac6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2892772,"id":"Q2892772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$DA0C93D8-700E-49D8-917E-D1FB1EF27EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e7e067fb82ad366cc3b87efccd4bfc1ed592ee","datavalue":{"value":{"entity-type":"item","numeric-id":2828301,"id":"Q2828301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$1AE358B3-2277-4F41-9F56-E1CC2BCD3050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$1C148682-E3B9-4484-A053-4F81FCD732F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882478e1061dde921933e1e7c0221c265b2e67fc","datavalue":{"value":{"entity-type":"item","numeric-id":2026809,"id":"Q2026809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$424CD2BB-4EE8-4FC8-8742-4DA02F9477B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7baf8c318ca804a5135b699c380fda22f3b6d3","datavalue":{"value":{"entity-type":"item","numeric-id":1712426,"id":"Q1712426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915975$B5911C2B-99F1-4B11-BA9D-3C06EC14AEBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1f8fa4c8af6f2a154bb596b4f8d11390287e691","datavalue":{"value":"Q128913274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$8D1AFD58-6730-4B67-83FA-AFBB09F71602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf28f540a8c8b33d696a4bc30ca01b7a0b3e1731","datavalue":{"value":"10.1016/J.JLAMP.2018.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915975$6A975934-6BA5-4ED0-B0A6-3F19B491E1BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1983d59eaf2a1d808e748212ae5812d64e4048a8","datavalue":{"value":{"entity-type":"item","numeric-id":5918263,"id":"Q5918263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11deacd184860414f2191a35cb2d41caa3f9f8c","datavalue":{"value":{"amount":"+0.9966520667076112","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":"Q5915975$9F0B31E4-D65A-4D8A-BB5A-7F0D93F0265D","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":"51dd8e6ef2326e68925c17e21cd0c88e1f1918f2","datavalue":{"value":{"amount":"+0.7840877771377563","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":"Q5915975$9F2F11E0-5A34-48A7-A832-911103A37952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042d341fed79e669004c539e0551cbea2745f4e8","datavalue":{"value":{"entity-type":"item","numeric-id":4986257,"id":"Q4986257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd12129ed89a6448268cbc376c779f71f77aea6","datavalue":{"value":{"amount":"+0.7460923194885254","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":"Q5915975$D7287C65-16A4-427A-9662-983F250C6D69","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":"1c14a634c0990aa60e194e68d7732f20068a9aaa","datavalue":{"value":{"amount":"+0.7410392165184021","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":"Q5915975$DDDF910E-969E-443E-A780-76D30C6E92B2","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":"8e178d36fe0f4a3303636acc4b6d4bd27643a328","datavalue":{"value":{"amount":"+0.7332851886749268","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":"Q5915975$CAEB3A7D-2AE1-4492-BDB1-8D30ACDF2F71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operational semantics of a weak memory model with channel synchronization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operational_semantics_of_a_weak_memory_model_with_channel_synchronization"}}}}}