{"entities":{"Q5326292":{"pageid":7355866,"ns":120,"title":"Item:Q5326292","lastrevid":92200406,"modified":"2026-06-05T01:07:25Z","type":"item","id":"Q5326292","labels":{"en":{"language":"en","value":"Verifying concurrent programs against sequential specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194800"}},"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":"Q5326292$9002495A-420C-4667-A0C7-8F31429AC809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74cefd7619763411fe0a39635a3e7e2ad07e2a5","datavalue":{"value":{"text":"Verifying Concurrent Programs against Sequential Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326292$12B60722-EC9B-44AE-8F2F-1E72542FFE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa6ef1fbafb416c124e7985a7d34c75eecb1567","datavalue":{"value":"1381.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$DF1F7BDF-3EFB-452E-8C04-140D179AE3A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69690b852ff08251e3522cd996171bcf9c6e82fc","datavalue":{"value":"10.1007/978-3-642-37036-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$2C999E3A-5860-43F8-BD5B-951FB0E8429D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326292$8A7991E1-285A-4D9A-A7A3-627B87FB8C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b66229959229db7b6e0853a5e80675d257765900","datavalue":{"value":{"entity-type":"item","numeric-id":1641010,"id":"Q1641010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326292$084F1F06-89F2-4708-98D8-C327B949E07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326292$72DA24CC-5AA2-4A52-9EE9-FE93EB1F09A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7c9c750cf725fdec33f571a54ffbd7de1850aa","datavalue":{"value":{"entity-type":"item","numeric-id":1641011,"id":"Q1641011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326292$A0D32A79-BDFC-41A3-9700-876F5DCA4767","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326292$B29A0ACB-DDA2-45FC-922F-106F0C02F427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-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":"Q5326292$1D2918E6-DD72-47FA-A5A3-8928A8D3E525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$2578F40A-8DD6-4CBB-9B3B-BBDE8AA34389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$D0AA89B2-DE70-4AC0-8207-8117DC561BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$48597B31-5C3E-46E8-97F7-AA3FC9277E49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"856cb6e344e65f022256fde9b8c3bbca3328a257","datavalue":{"value":"6194800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$25EF41F4-437B-4A0B-AF6C-AE2275B817D5","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":"Q5326292$D1B7C510-02D3-4E39-A571-41226AFA7E47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a6f375a6197f643524d7b24595967a69a11e153","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326292$1094AC86-6F07-49DC-8EDF-304FB339BD78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2cdd717302fcbaa990719931223fbeb46c85f4b","datavalue":{"value":"W2145919405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326292$0D2918D2-F18C-432B-9293-76DED67B61A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae512edea1d74dd8fddc467f1192438aa57c488","datavalue":{"value":{"amount":"+0.8221211433410645","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":"Q5326292$AC31FD7F-A344-4B99-B54F-D86883AD2D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7183d13e0e8c08a1dc5b130b37a855242e3ec775","datavalue":{"value":{"entity-type":"item","numeric-id":5111629,"id":"Q5111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f8ec14c1d6c6f079e0d804c5831af1cdf0825d","datavalue":{"value":{"amount":"+0.8093817830085754","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":"Q5326292$6001F404-2411-4A89-8BDB-1D83017167C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7715c5f79dd4739952420f4137b260fe0dd59844","datavalue":{"value":{"entity-type":"item","numeric-id":2218465,"id":"Q2218465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fecb1e9a3529244d6486de48816f923d6f4e8ec","datavalue":{"value":{"amount":"+0.7996792793273926","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":"Q5326292$5437049F-6100-4747-A207-AABDEEF45CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying concurrent programs against sequential specifications","badges":[]}}}}}