{"entities":{"Q5240132":{"pageid":7269700,"ns":120,"title":"Item:Q5240132","lastrevid":53576054,"modified":"2026-01-25T08:59:23Z","type":"item","id":"Q5240132","labels":{"en":{"language":"en","value":"Verifying optimizations for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121846"}},"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":"Q5240132$891A16D9-824A-45BE-AD19-2EF385A84E84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79b6711be8a0b4a1bd4c3196a26bb36e7252ae91","datavalue":{"value":"1428.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$D3D5F780-F1DD-40D2-A457-B5232B244CD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc9321e1ecf733a02499b42252d991dbda6a54","datavalue":{"value":{"entity-type":"item","numeric-id":1702903,"id":"Q1702903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$444745BD-6E4E-4027-A779-6C5052117D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$81F6622D-81B3-4B44-A1A4-550528DDD546","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240132$E34D06C5-996C-4207-9CA6-2BFB8CCD604C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$0088DED3-E701-4677-8678-CDF3ADC28AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$6E256E84-1D2A-42BF-80A3-7C200D506166","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"850f45ec38a4a3fd8ee74182d57d3bb3ff880fd6","datavalue":{"value":"7121846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$833749A0-A412-43E1-AAEC-C0AF51D47588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e3e31ec8fadc435e57f9d44e807ba3f749005d","datavalue":{"value":"optimizing compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240132$519C35AD-12BA-468F-8D64-AE890EEEF60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240132$B74587D3-9C6F-4A4D-BFFE-CCD71157250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240132$F8406543-CB9E-4EB7-8B2F-4959037F081B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240132$FA170408-9292-409B-82A8-316E1BE78799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240132$398EB2A8-1CEC-418F-93A2-53A184ED4A42","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":"Q5240132$0D4C1297-C20F-4E7F-BFE1-FDB7C122CC85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$216BCC88-DF28-4BA9-8EE8-C78DDE266E58","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":"Q5240132$45BA8016-4EDD-4B49-9BEA-F48E152F5FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$B432BAA2-2573-4517-905B-85A135AE2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cc2e5d04fda1757aaac285be5ea8feb9004592","datavalue":{"value":{"entity-type":"item","numeric-id":2942895,"id":"Q2942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$E3ECF5FF-3CD9-4C5E-8443-A5A833DEE87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a66a1b2b2734ea241aafc5f5b198d6cba678c6a","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$A43569C5-4B98-4A90-81AD-7B7D7E92C7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe71f78d89a17244e4f166585a1e6962cd3afbda","datavalue":{"value":{"entity-type":"item","numeric-id":5408530,"id":"Q5408530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240132$75CCD0C8-011F-45C7-AF69-911538211EE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b1ff96917cf5f72ad8cd6023a4e6c17216813dc","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2014/4586/pdf/p015-03-mansky.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240132$AFCEE962-396E-4FFA-A2FA-9D06EED47095","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42b9ad0a912f6170c6ad20370cef2f5117efe99c","datavalue":{"value":"W2132396668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$C077A749-8911-43D6-A8B4-281C486E34F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f8ae12e139ada5af0bb7ef0dfe79f32ea95964","datavalue":{"value":{"text":"Verifying Optimizations for Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240132$A1F38B08-ECE8-4788-84B5-8DFFF2DB97A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9b96475a0b53f72081f6cecc9bc0a38adb5838f","datavalue":{"value":"10.4230/OASICS.WPTE.2014.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240132$42D4D3C6-D4D8-4815-8575-ABA4BC433DF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dea2c90623e7cca72c957e18c568f9a00fbfb6","datavalue":{"value":{"amount":"+0.8365936875343323","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":"Q5240132$B8E93241-B912-44DF-9082-D70F74D5B910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1257b9990c0526a98e00fcb87e71c7eb8412bf0f","datavalue":{"value":{"amount":"+0.811874508857727","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":"Q5240132$1707E15B-5354-4289-8BE8-18C11D68E139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c0fbdfb2a611d037b6bfd81bb0ab008f2b75b7","datavalue":{"value":{"entity-type":"item","numeric-id":2324020,"id":"Q2324020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a129d7ef96ce7580b0e9195c45da18cd26b087","datavalue":{"value":{"amount":"+0.7940704226493835","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":"Q5240132$7FB5338E-E21C-4A77-BFD9-ABF591B6E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ee203782451895e518275611070c40a1715b7","datavalue":{"value":{"entity-type":"item","numeric-id":5408530,"id":"Q5408530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968f8c4182d29f615d7f298393e251f1b3011024","datavalue":{"value":{"amount":"+0.7933973670005798","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":"Q5240132$6920AEB9-9EEE-4A09-BFEA-C3AF42C1B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2ab24876d56aa97c07c1539437e0b429707101","datavalue":{"value":{"entity-type":"item","numeric-id":5410696,"id":"Q5410696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8822b3ec80564d73ac11b823f40a35f08ef0ac0","datavalue":{"value":{"amount":"+0.7724695801734924","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":"Q5240132$5EBF76CC-24BB-49A8-A6B4-EFE480902BAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240132"}}}}}