{"entities":{"Q3512487":{"pageid":5542391,"ns":120,"title":"Item:Q3512487","lastrevid":50405636,"modified":"2026-01-13T23:51:00Z","type":"item","id":"Q3512487","labels":{"en":{"language":"en","value":"Effective Program Verification for Relaxed Memory Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301102"}},"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":"Q3512487$89CE23A3-61AC-4A07-8499-3FD7F7C69393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2ef0d2ff079150d8d5d8b55490453b183c8f58","datavalue":{"value":{"text":"Effective Program Verification for Relaxed Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512487$E83F8B8D-10EE-48DF-BAB8-A6B733D99F34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8622967201935bf67c1ad03ad06dcc7afd88231e","datavalue":{"value":"1155.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$2A52317A-025A-48E5-BC9E-01022583D6C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29daeedafc9a4ae5dd794e2e5b92822f70fe35f0","datavalue":{"value":"10.1007/978-3-540-70545-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$B333CFB5-A0EB-40A7-A41B-6ED722457B5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff257111a2bfcf97b763a683d394a6545834b730","datavalue":{"value":{"entity-type":"item","numeric-id":2220885,"id":"Q2220885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512487$E437B50E-771B-4475-93B6-460249F1CF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9b105d6dc2235f6ec9240b7660c588e0fa1c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2845495,"id":"Q2845495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512487$4AB81638-32BC-4B14-976D-F70BB330C149","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":"Q3512487$2F50E2B8-1AC8-4127-9BE4-8D819F2BA059","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":"Q3512487$97597121-021D-47A2-B561-68ADA934A5C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$BA9D3D4E-6A3A-4E8B-876B-7D9E60D208FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$2381DDF3-1A8C-4405-84B7-CE31560AC3AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386ef4210ccc4fca0df62bb559abf9885805bd2c","datavalue":{"value":"5301102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$656DD526-6C85-493E-AD96-D8F713AF28EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512487$6A704645-C00B-4873-B38A-29EF744AF733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512487$31912736-BA2D-476A-AF6B-566D9BDEC0CD","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":"Q3512487$C4C1E5DC-D559-44F5-A7F3-5D226485959B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0625dfd8bffcec966e8ef6d2ef1136a6b2abf74","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512487$E38DBD4A-1014-480E-A5FC-84D800346F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0eba8d6d289ba9a16ce9d886f268f907a8e1cdc","datavalue":{"value":"W2105980774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512487$68D33F9B-4DB9-4DBA-B939-FE0A95F3D23C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920846cee47ebcd0c156e2badd883856874915ab","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81d1d60394e960c95a14f2f22f2ed97c25ee75e","datavalue":{"value":{"amount":"+0.8571339249610901","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":"Q3512487$A674FC4D-843C-4F02-B662-2ED9DF782068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5beef82811c1ed410a89dd64b21f082cf77902e7","datavalue":{"value":{"entity-type":"item","numeric-id":5172657,"id":"Q5172657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45ab631678d453c6c34b039d2e67b330f0bdc7c","datavalue":{"value":{"amount":"+0.852491021156311","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":"Q3512487$2980E490-3250-4B76-899C-29CDC5258FF1","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":"65fde75115606fc52b6eecd55468df7043c38900","datavalue":{"value":{"amount":"+0.8074196577072144","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":"Q3512487$4B9F22F0-DA4B-4749-9D4F-F5C5D1F7B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c41c9f24015454801aff548edc7ece2f5474e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2945130,"id":"Q2945130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af80f6f8d1314ac0ff1ad068bc5f2c69c09351d4","datavalue":{"value":{"amount":"+0.794121503829956","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":"Q3512487$1A99049B-E7BB-4849-9088-993639C7FCD9","rank":"normal"},{"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":"fcba2378bb483778bb988a9a3a1942a35210890c","datavalue":{"value":{"amount":"+0.7815288305282593","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":"Q3512487$856E1F06-09FF-4DA2-B0C9-457237DC67E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512487"}}}}}