{"entities":{"Q4608655":{"pageid":6638238,"ns":120,"title":"Item:Q4608655","lastrevid":53047451,"modified":"2026-01-24T03:02:04Z","type":"item","id":"Q4608655","labels":{"en":{"language":"en","value":"The benefits of duality in verifying concurrent programs under TSO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851927"}},"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":"Q4608655$85953C6A-D303-4F2C-A4D3-2143E2BD58B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57a14e955d8577f6047fc3883c23fd8a32a480c0","datavalue":{"value":"1392.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$DE74C4CC-D244-4B89-BD59-048C0D86CFFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608655$FF62C2D4-AD2A-4C71-B915-4C6D9F987988","rank":"normal"},{"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":"Q4608655$4EA5A3EC-2DA7-4E28-AB5E-4B0DAE90CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe140a14a5f8056d7a95ae3838ef948394d69f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3130549,"id":"Q3130549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608655$90D64C1E-74FC-4D2E-B9E9-F3E586DAF7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608655$39E6945F-8EDD-4174-87A3-3E3D38ACE875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608655$FFB7A3F9-8D57-404C-AC4C-7927D46A7DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$92A0E9B4-77D3-44A2-9D18-6C7B58F5A06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$D9F2F585-B8B4-48C0-B59A-97531BE86BFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5c0eda6c7aeaea930900d3d836cfb5cc2f111b","datavalue":{"value":"6851927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$0A1E630A-1363-4C69-9DAC-A930BBA52A46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608655$CC86370F-C36C-4157-AAAA-ED68D6C83F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608655$270E6D66-5DC0-41AC-BB3D-8DECD2355762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608655$85076050-A01D-4460-B313-F7AB0EEADE91","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":"Q4608655$216C6004-DEA1-489A-8ED7-85A3DA6D512F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11eb04e22a95b14aa68a73f36d891b2cacb52ae5","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2016.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608655$0D641F5C-0972-4731-A5D4-76C65DF7BA36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5199c47abcc55a33af068c552ac0980850e28b30","datavalue":{"value":"W2546693429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$CC7D47F8-00E2-4075-97A0-FBD18F2F23C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26ca65cc8965a0daea0d14e1827ab08121a893b6","datavalue":{"value":{"text":"The Benefits of Duality in Verifying Concurrent Programs under TSO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608655$1F218871-1955-4803-BB46-EDD58F8562F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"370aa22e33edeff372917a6f94ca14389b6ca647","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608655$6711EC43-2346-4B38-8D20-A9150009B0EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a8765abea0aad4b57ce8ba9d0556c6bfc5877e","datavalue":{"value":{"entity-type":"item","numeric-id":3130550,"id":"Q3130550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3219143f22114ec363440635eff7596a9579f5","datavalue":{"value":{"amount":"+0.9086913466453552","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":"Q4608655$0B281679-7A53-405C-8B81-72753D4D18DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c4e431df1cf062dba92e5680550f1d1f1f818e","datavalue":{"value":{"entity-type":"item","numeric-id":2208293,"id":"Q2208293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eee24ed9b01fbfa9afc6f9168d4c751fc82203","datavalue":{"value":{"amount":"+0.7887414693832397","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":"Q4608655$FB2EA303-4E5E-475E-A909-1EC8136D46F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061dd9cc02f7def0e4835eafee7b938d701cd8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747665,"id":"Q5747665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49e67218aadeaca38f24d106fd812acf0b697a2","datavalue":{"value":{"amount":"+0.7612362504005432","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":"Q4608655$209E93E7-7226-45C4-80B3-806C2239CF26","rank":"normal"},{"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":"522f4d4548ec1d3f4bc7de603f5c72ecb9cbcbe0","datavalue":{"value":{"amount":"+0.7556602954864502","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":"Q4608655$37186224-3C15-4DD0-967D-082D0AE2CA28","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":"c6c24086fc88d67431d6ffa7136f9a38692ca76b","datavalue":{"value":{"amount":"+0.7522965669631958","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":"Q4608655$76D259E6-7CEA-442D-AFB1-40B5A9E20636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608655"}}}}}