{"entities":{"Q784156":{"pageid":786005,"ns":120,"title":"Item:Q784156","lastrevid":55377436,"modified":"2026-02-17T15:01:04Z","type":"item","id":"Q784156","labels":{"en":{"language":"en","value":"Practical abstractions for automated verification of shared-memory concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228517"}},"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":"Q784156$4DCFD5D2-D62D-4EFA-ADDC-0294B42E5296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e97aa0a4e4466fcf35e1c723a4f44bc6ea97885c","datavalue":{"value":{"text":"Practical abstractions for automated verification of shared-memory concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784156$9E9634C1-6AA5-4534-9BB4-96D27E427CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e606fa918b9090c02e5271ded53da66fbf0ceb63","datavalue":{"value":"10.1007/978-3-030-39322-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784156$DC1589C7-5278-4B59-8842-55EAF892A59A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4631d4f248b70730a26a0db898eeb9b1fd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":784155,"id":"Q784155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$C94EB77B-256D-48EB-97E5-9A674730D637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$9C7B18A4-D67A-4AD4-A2AA-25E47A0E313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$1C1E2F55-1DA6-41A0-A472-D0ABD39709EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784156$52071293-9572-45C0-B031-0D45817CBB71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21ba10a2cc0abc493f4cab0222f255125155d357","datavalue":{"value":"http://hdl.handle.net/20.500.11850/465582","type":"string"},"datatype":"url"},"type":"statement","id":"Q784156$1F9029E4-48AB-47C6-9BC5-C3013489B8D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784156$6FDF00DA-5D8F-49BF-AE29-2F34177FDBD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04de9751bd10df5033e28d6c395a9b2b04589692","datavalue":{"value":"7228517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784156$59A4F707-163F-4354-8803-E3942BB02380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3915ee590f5c98c9124d51cca6f3b2163b5bf72e","datavalue":{"value":{"entity-type":"item","numeric-id":19721,"id":"Q19721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$56AB93E5-8DA6-4E40-A4BB-B4257D2BCCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$DC5AB5F6-B895-410C-A6BF-B65AB1AC9B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa3e15f325ed150088c4e410d88474936a717bb7","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$88149A89-45FC-4E0A-9FA8-11F40CDB2249","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":"Q784156$F44D9574-A4A8-4854-969D-7E5851E310AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02bca3c4de213130626a67a356bc1a20cc47cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":46054,"id":"Q46054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784156$638780E1-A285-40E7-8181-F0B74F4AF785","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":"Q784156$ED12248A-1E3C-4160-8D24-EF6970E374DB","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":"Q784156$2803F8AA-B99A-40FC-BC9E-70808E79839C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba1f7aa1b5b65ea81e17b8c9250abf22c79f699b","datavalue":{"value":"W2999161693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784156$6DD2BDD3-DE91-4B93-9073-D927E0771B3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f624ef920d6ebff240d494161408d48e49731159","datavalue":{"value":{"entity-type":"item","numeric-id":1630044,"id":"Q1630044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2afcab67150320f85bbf0525c55cdc3fc39050","datavalue":{"value":{"amount":"+0.8614678978919983","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":"Q784156$77DB9609-E992-4339-A291-47BD7703F533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8d4dec0c3ecdfd8a4849539f801962ad61f754","datavalue":{"value":{"entity-type":"item","numeric-id":6536355,"id":"Q6536355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e14c315fffac5b1bdbaa7bdc12189f71053f0cb","datavalue":{"value":{"amount":"+0.8512177467346191","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":"Q784156$D799F53B-766A-4B69-BBE0-216AA80B154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963ec8fd20b3f1d13c6ae599f93e8721e5b6c8cb","datavalue":{"value":{"amount":"+0.7901430726051331","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":"Q784156$08DA46B9-6520-4C46-94FF-35853D21A197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e7f2fa86319898784ab1c1ddf715aaf9c6d04f","datavalue":{"value":{"entity-type":"item","numeric-id":2024370,"id":"Q2024370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546a645820f533daa9e46fa13873e442878d4945","datavalue":{"value":{"amount":"+0.7835081815719604","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":"Q784156$A8ABC452-F224-49A3-A87C-F7A90713672C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd31d70bf60ce307f83e4cda17bab71b61e24387","datavalue":{"value":{"entity-type":"item","numeric-id":3591397,"id":"Q3591397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da04aeb64a3bdb406b53024e4d247a64d28801d","datavalue":{"value":{"amount":"+0.7725260257720947","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":"Q784156$05B78C9D-C6A3-4FE3-90E0-B3813844FFE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:784156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:784156"}}}}}