{"entities":{"Q6535538":{"pageid":14146681,"ns":120,"title":"Item:Q6535538","lastrevid":57343755,"modified":"2026-03-30T14:04:49Z","type":"item","id":"Q6535538","labels":{"en":{"language":"en","value":"Model checking race-freedom when ``sequential consistency for data-race-free programs'' is guaranteed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787557"}},"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":"Q6535538$67971740-D291-4B4D-AF5C-3A6CF70310B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece2c5c448c397ec28756a133d0118f68eb84817","datavalue":{"value":{"text":"Model checking race-freedom when ``sequential consistency for data-race-free programs'' is guaranteed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535538$AB286F88-EA49-4C4F-BD36-D502C3AB1019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad5c56736a52788957502ba8c26eef15499a7386","datavalue":{"value":"1545.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535538$362B2535-1C44-4E0A-965D-8B9F1FFA9DF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f00bf7569ebacd0c1b74fc551e46c4eaf6148932","datavalue":{"value":"10.1007/978-3-031-37703-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535538$CEA81A5D-4B26-4278-92D0-0D4489B1BD2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830e4b660aca603fa4326eeac2125113484f8f46","datavalue":{"value":{"entity-type":"item","numeric-id":2100640,"id":"Q2100640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$B1A92F00-3136-47B8-8C20-1542E1CD4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"103b3f0a0d9c662d6f6c7ea860c64388d3e53fad","datavalue":{"value":{"entity-type":"item","numeric-id":2023668,"id":"Q2023668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$DD4C7F4C-7134-4BF3-ADB4-90A8DA547CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cccf4e00ababd000d0a65ded2422dcadee979ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1029808,"id":"Q1029808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$84FACD18-ADEB-4AC4-809C-142A19D1E7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe38c117911d5e0f57c7beb708eb7bc1d4de07f0","datavalue":{"value":{"entity-type":"item","numeric-id":6041172,"id":"Q6041172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$FCC46A07-4DD9-45C7-805A-FB9E2C22B62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b278df194368acdcf33f8ca3335a7df817f9688e","datavalue":{"value":{"entity-type":"item","numeric-id":453517,"id":"Q453517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$B36EF896-F0A8-4DEB-B8F8-A0DDAC095A0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535538$1CB35854-3D52-4A32-9631-78D74CF8B2FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535538$71C9DE17-C64B-4BED-8A0B-49DC8A1DAC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535538$DB21B2A1-1108-49D6-8CC6-55F68B94D66C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0bb95ca57797128550b30d98302ad4a04b825a4","datavalue":{"value":"7787557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535538$0FE78B18-F52D-453B-8E8C-1530C9DC7DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37774f02e0401090dcf09b76b40f99fa96f9e6fd","datavalue":{"value":"data race","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535538$16A9EE44-790B-4407-B6A4-379539D42B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535538$4EBCF1E8-9AE5-4CD9-A1C4-1295457DF681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df96b31c79a3b55580b757a08b0d424d31bd654","datavalue":{"value":"OpenMP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535538$9FB1768D-0A1B-449E-B7AF-8179FEB738D4","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":"Q6535538$A4379694-7199-4D3E-A121-9BEBCEC9B70F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed32ba0a75d1d18813e0c6c3da17bbd22487cb","datavalue":{"value":{"entity-type":"item","numeric-id":5524887,"id":"Q5524887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$9E97BC38-8CC9-4A4D-8D1E-0FAE480B3E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$611806F3-89C8-4D4C-A17A-5CE9650EAD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$649D2BC3-1F78-4E0D-B719-A379C006D0B2","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":"Q6535538$040CEE3A-06AD-4318-AEB1-618AD5A3175A","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":"Q6535538$3AD4170C-9228-471D-8FCA-8CAF6CDFDFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe5bea17d231dfb2b4442a2e23c8512a0ac736","datavalue":{"value":{"entity-type":"item","numeric-id":2225118,"id":"Q2225118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$50E7B871-C572-4631-A0B9-601CCEB5C794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c165bde94abd1c3fd680f0a1cfe01be560585af","datavalue":{"value":{"entity-type":"item","numeric-id":2894274,"id":"Q2894274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7ec3638de0c2211fbd4fca8a255df6982f745c","datavalue":{"value":{"amount":"+0.7918974757194519","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":"Q6535538$DC0E009E-A46C-42E2-94CE-518A98BD0733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1136a9051866a8a1b5493699d2cb90d58c0cd5ad","datavalue":{"value":{"entity-type":"item","numeric-id":1399005,"id":"Q1399005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8626be0063b6eca3524f05e919247235b0eb2675","datavalue":{"value":{"amount":"+0.783942461013794","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":"Q6535538$306D3C21-ADD7-4C9B-9C0A-8D0A03EE4DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f38db799bd2f61471fbf15b183e30805a684b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5883581,"id":"Q5883581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75538154be1cdd8c0efaa01c397830952e4d7c17","datavalue":{"value":{"amount":"+0.7754532098770142","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":"Q6535538$DF502704-FBF4-4034-9382-0BE401B5B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfad0e5bdbed064427d65ba474a3e4bcfe551","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2511b1c43ca29686810291a3549b8a2a705db21","datavalue":{"value":{"amount":"+0.7700265645980835","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":"Q6535538$A9FDF631-574D-4333-9371-997136B15987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f78eaf2dd507d45a1c4b5687f580c33006b4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3000633,"id":"Q3000633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d267b5a41aa894fcb2818fa284176a8a2fdb5aa","datavalue":{"value":{"amount":"+0.7415890097618103","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":"Q6535538$503D2B71-97E7-4134-91FA-6D5DDD13E406","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535538$4A8AD1FF-D0D2-4110-A662-58CB700BBA79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535538"}}}}}