{"entities":{"Q2324213":{"pageid":2334956,"ns":120,"title":"Item:Q2324213","lastrevid":57843993,"modified":"2026-04-02T18:47:47Z","type":"item","id":"Q2324213","labels":{"en":{"language":"en","value":"Automating deductive verification for weak-memory programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105319"}},"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":"Q2324213$30D4DEA7-4373-48D5-9FE2-AA444D109CC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c118ad30a43afc56fc4897658ec38cc8bc75e2c","datavalue":{"value":{"text":"Automating deductive verification for weak-memory programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324213$58B9BC9B-404C-4D64-AEAA-2110052A7D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e6fd8fda5bc5f41196b7b7f5eaea7c006605f9d","datavalue":{"value":"1423.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$34211AB3-C3B6-4D9D-B6FF-9EB6A00061B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"360a6fd325c67bf83bc0c5b1ad0a0fddf3790c74","datavalue":{"value":"10.1007/978-3-319-89960-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$3A3A17E8-2C35-4D4D-8DC3-0D2B56D9AFC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$5ECA670C-0308-4766-B949-687AB7FDE53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$7FC06FC4-3622-4776-9D87-E9E075357D08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324213$EBB03F16-E041-4A52-BA02-02BA71115666","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0401e13b2941bc7b56e7d796b594605d63f274c8","datavalue":{"value":"https://arxiv.org/abs/1703.06368","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324213$562BF795-AF75-48FC-BA16-8B5ED87D7CE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$C5F8083E-C771-4483-B333-F69C703A8E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$AAEC6107-DBA8-402A-8530-072AB273E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$80F06DD2-82D2-4718-8622-5D2111674325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1195f145500f65d873f8bd2d96e75a83628cd999","datavalue":{"value":"7105319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$ED9B6B97-6A9E-45FB-9CF3-2F0C32C7D273","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$F746432A-60E6-42E9-B634-AD8DFC68B952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$86172892-393E-4D00-8089-60AE9DAEEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$14F26DB0-E5CD-4DE8-99D2-2DF501AE53BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$452E5926-CCE1-4AF9-B74A-DA1A87FA7CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$040F1FB3-B8DD-4679-B1C3-45426F5BE160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$F5529638-9632-436A-97B3-E69CCB1D070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9afd1e8fc349d198c89a22f85926ff81edbd463","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324213$D8682B3F-C309-40EE-A263-E77358C7C5AD","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":"Q2324213$90F97FF2-2366-4EF2-BBF3-87F933A1612F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55407ee8bf339c8b9f02cf1de57a07ad3e02b7f2","datavalue":{"value":"W2605169925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324213$2535264D-7418-4C6C-A316-9720D3D4E442","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1e7b0b9845feae037b0677e662a6f656b455cd","datavalue":{"value":{"amount":"+0.8137019872665405","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":"Q2324213$EBF3DFF7-C3AE-4800-9BF2-7F150EC4E14A","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":"731e67331724b06510b89157a52595a8b08af32c","datavalue":{"value":{"amount":"+0.7798018455505371","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":"Q2324213$1EFE8250-3A27-46A4-ACCA-CAEE22FA4F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a7c87337f5d689c72bc11bf4d85198393b928a","datavalue":{"value":{"entity-type":"item","numeric-id":2796064,"id":"Q2796064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e795f41cadc66782da56c86b15dbe881eece3523","datavalue":{"value":{"amount":"+0.7658954858779907","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":"Q2324213$0B095070-1C2D-4B6A-A8C8-10AA72F6350C","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":"1a55c81729f884eab77023aee32320405dce90ff","datavalue":{"value":{"amount":"+0.7619600892066956","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":"Q2324213$940418CD-1E12-4D6C-82EE-F3FD729B9CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c72dfbb0f53bac788a333750c214ffae2dee7c","datavalue":{"value":{"amount":"+0.7576165199279785","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":"Q2324213$7352133D-A81A-4486-B688-847195C44DE9","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":"Q2324213$A48C293D-9E74-47A4-8E5C-233477F9345D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324213"}}}}}