{"entities":{"Q5255057":{"pageid":7284625,"ns":120,"title":"Item:Q5255057","lastrevid":52279388,"modified":"2026-01-21T08:28:27Z","type":"item","id":"Q5255057","labels":{"en":{"language":"en","value":"On the verification problem for weak memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445080"}},"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":"Q5255057$0DD9911E-6017-40E2-A0FC-1D69A7B1638C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4023893643d541f6f71e4b1e7b728b5f88cc040","datavalue":{"value":{"text":"On the verification problem for weak memory models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255057$C58165D3-665E-4CF0-AF3B-22D194F6C858","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d335616ac5a64520734139ab6fef8b30ca1951e9","datavalue":{"value":"1312.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$46B726FC-F433-46F2-862E-76E729B8FE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc4943c32050b9d728442831e69a954c7ca2698","datavalue":{"value":"10.1145/1706299.1706303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$099DAAC9-C48A-4110-962F-36EE1F79C84B","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":"Q5255057$927A469E-5A3F-4272-8030-2BB17629A1F2","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":"Q5255057$1AEE50F4-05D7-4276-8617-B75CC7F84696","rank":"normal"},{"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":"Q5255057$44936B65-34EB-4F82-B849-4A1D6DFEAA59","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":"Q5255057$E10BFD9E-5D52-45C0-8C38-BFA48203C540","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255057$E907A368-C1E7-4228-BFA1-23BE36AE6223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255057$49828395-4B37-454D-9767-F2555D333625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$A901D402-7046-4920-8FAC-A22582F00D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$C6AC6A45-A9D8-4AB0-B681-4C70045AD11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$096780AB-D03C-482A-AB3A-EF7908B9D2D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f85119476f646e09e0cbe5978499cad291b0d0a","datavalue":{"value":"6445080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$9DD81121-C294-4DB9-9185-BDD1F4CBD7C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca41c6bd39bc481c6e6cae3f26fd519783289a","datavalue":{"value":"infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255057$53BDAE74-E433-4E5B-A90C-255BAB96A9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f0478f33ab4d395bc21e53f2de2ad666e2e0b6","datavalue":{"value":"lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255057$F52293A4-D46B-4879-8370-A2FE638EC2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255057$C096B225-745E-43F9-91C6-8B0E9D8CA95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c5d74db814ce63482dee23e586c9469a6bc76","datavalue":{"value":"relaxed memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255057$EF8DB730-107D-44CE-9397-293F83AEE521","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":"Q5255057$CA51ADB5-4A44-4414-8802-FF8EB48F3E82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f5e01d07b5a92632460cc7b32fca259ad7da05b","datavalue":{"value":"https://doi.org/10.1145/1706299.1706303","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255057$A0C8EBC0-8B9C-47AE-9364-265E68227373","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71827746e27a7b896ad8e50a229fd6a495aa1281","datavalue":{"value":"W1971332773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255057$587807B3-7358-4F72-9BEB-99F4168843B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d04d612ea916c69dadb40c389ee1da5c03627","datavalue":{"value":{"entity-type":"item","numeric-id":2892719,"id":"Q2892719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3520821d0444417881ee8b9b42c8396e71b0204","datavalue":{"value":{"amount":"+0.8863250017166138","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":"Q5255057$C09D926D-E588-4EC8-87DF-83F95AA682EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd43b0a0e3aacd5201539fe63fc5a5d4cdb5363","datavalue":{"value":{"amount":"+0.8265469074249268","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":"Q5255057$23961A12-76D7-483B-8775-068045262292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8338724daa029caccb2c3016b9f8787797e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2830038,"id":"Q2830038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f42c1b478af0590f509bc52e03fe696b42ddb68","datavalue":{"value":{"amount":"+0.8169618844985962","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":"Q5255057$14F8E60E-79BA-4C61-8AE0-1966E0C382D6","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":"600e68a4a75dfe21c008e7109355108f0d473d3b","datavalue":{"value":{"amount":"+0.807076632976532","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":"Q5255057$9C41312B-060F-4394-BFE4-FAB502D23B4E","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":"ba5678d28af4684a118ef1defcd8a7e27edf9f02","datavalue":{"value":{"amount":"+0.8052169680595398","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":"Q5255057$CEE18D9C-65BD-4545-BC81-F9FE245CF384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5255057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5255057"}}}}}