{"entities":{"Q2024349":{"pageid":2035091,"ns":120,"title":"Item:Q2024349","lastrevid":57658269,"modified":"2026-03-31T19:51:44Z","type":"item","id":"Q2024349","labels":{"en":{"language":"en","value":"A wide-spectrum language for verification of programs on weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7343214"}},"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":"Q2024349$1D0AD314-FACC-4867-8699-0EBDF9D004DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa404dfde136297125f111b29000dbfd9ad25db","datavalue":{"value":{"text":"A wide-spectrum language for verification of programs on weak memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2024349$6985CD45-F548-4B8E-ACE7-ECA1546308E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3e6b02796cd4581e9ce690b88de43b7ec8fbb6","datavalue":{"value":"1460.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$FC4D6428-A9C4-4388-AB8A-3EDAD8EB8AD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e94eb00f0b0eb3dd12a4e251e6a6e2f55576b8b","datavalue":{"value":"10.1007/978-3-319-95582-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$39F6DBD2-DDB7-46B9-8CAE-CA2BEA853EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$3A7E22AC-366A-4FFE-89B5-46B688F1E344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$F6525DDE-D505-4AD4-B371-F572DAFFFBD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b4f774fe31084737b70f784f8ab95c7884e6162","datavalue":{"value":{"time":"+2021-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":"Q2024349$82130269-E0A1-40FA-B46A-4CF62A853DCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4c147277634c443366a98e5cdc442211f90507e","datavalue":{"value":"https://arxiv.org/abs/1802.04406","type":"string"},"datatype":"url"},"type":"statement","id":"Q2024349$2355A9B1-4D12-4864-BF6A-79887BA4528A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$F1715A82-20F0-4793-870F-3B50C04D5BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$388CFD55-3E5A-47E4-B298-7DFC4A36836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$6E52AB74-9695-4041-9AAF-D94FD7EACC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$C7384818-8FDC-4153-933D-68E0AE9A865E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a6a3da777c8519fda49691c342fddb2a817bf0","datavalue":{"value":"7343214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$2F1937F9-6B11-471D-A652-B23C2E087451","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":"Q2024349$03EB1512-2505-4FCD-8671-B489F09983DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c73efaf497f36fd7b95be071a59611c6a06c12f6","datavalue":{"value":"W3124453239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2024349$B37E68B2-E136-4D96-A503-8573222317C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$BFB15E32-000E-491D-B511-7F3537721B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$28D45D70-B9AD-473E-830B-42077E5B60C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$24E9C8E4-7064-46A4-840C-B9C2B27111BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce14e8aa8657a4cf7f46e66406fbeac79ecd24d","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$EF99133E-499E-47DD-B312-D44F21362331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$C3AEDC98-F685-4029-B229-80BC9D6ABFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$68337C1C-E000-4FCA-8C45-08AC6E4CB6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$DC38D026-8C39-4B77-B274-E847B9C49F80","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":"Q2024349$12DF00A3-636D-4D61-B9C9-FFD401355002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$F9FA8FD5-D755-43DC-977D-15BE733009BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8b9acf5c0941429f9d82771001b6bfd7ff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$9DECB1B4-D390-4E44-BAA3-9ED949B3E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7eea9779481cab76a91c583cbcea71a07981a","datavalue":{"value":{"entity-type":"item","numeric-id":1682288,"id":"Q1682288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$DD98068B-15B1-418A-ADF5-8BFC71FB2896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2024349$984427BC-9CC4-41FE-9713-0B07F4D0F406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c0b6a3b4b10ef2a261fe962bf1b26cf928db03","datavalue":{"value":{"amount":"+0.8311878442764282","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":"Q2024349$5FA765DF-F7DC-4FD1-8A54-E74DECF406D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc108df0d141e8b4c89285c6eadfd5b96220afce","datavalue":{"value":{"amount":"+0.7887954711914062","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":"Q2024349$C10D70B4-89AF-487B-9157-F9A0363F59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955e861e1fd297cd8cc3234d45c6ea1f53c2ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":5326305,"id":"Q5326305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f52d4ee4122ee3d76f98c6cc647386ef5f1f2d","datavalue":{"value":{"amount":"+0.7711672186851501","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":"Q2024349$83610146-E7B6-4CE6-A9C7-588A0E52A472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d35681e391fdf56041687e513bd455b5a835f5","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f42a7668a89abf1ef91bde64c23e26b28302a46","datavalue":{"value":{"amount":"+0.7707980871200562","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":"Q2024349$EEBD9A8D-8CC5-4D67-9403-A8438B44CAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ba515f3ce65aa79973d6874274320d201a0b02","datavalue":{"value":{"entity-type":"item","numeric-id":6045051,"id":"Q6045051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184b062719bccb6d981333c17688e26fb80fd48c","datavalue":{"value":{"amount":"+0.7705629467964172","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":"Q2024349$54B64893-559B-4A53-991E-A6868B5C719A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2024349","badges":[]}}}}}