{"entities":{"Q3000633":{"pageid":3011357,"ns":120,"title":"Item:Q3000633","lastrevid":51249305,"modified":"2026-01-17T10:56:09Z","type":"item","id":"Q3000633","labels":{"en":{"language":"en","value":"Sound and complete monitoring of sequential consistency for relaxed memory models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897392"}},"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":"Q3000633$DA78525F-CE6D-4CC2-AD8B-0DCF7C578E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74c6e7ea4613320867b3ef73f15e0c2e69740d47","datavalue":{"value":{"text":"Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000633$B83DF561-BA1F-4E97-9210-EB15DDCD2240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"963e857085c01694a1c928586999edc22c57179b","datavalue":{"value":"1315.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$8368562A-2B9E-4B7A-8764-DB6D39F81ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afc5d68e9c2764a393fa467ec6d892e8b79b1edf","datavalue":{"value":"10.1007/978-3-642-19835-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$F64229FA-00A7-40DC-ACE5-ECD13A9F89AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"208cd3ac1274e8f9da8bdca51c27b9c2cd595b38","datavalue":{"value":{"entity-type":"item","numeric-id":3000632,"id":"Q3000632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$CDCEE71C-908A-47F9-95DB-79E52D1199A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$5376F532-6583-43DA-AD6E-041CEA426701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8edea242d6935e2e16ff0e0c19169cfeaa05b45e","datavalue":{"value":{"entity-type":"item","numeric-id":2772618,"id":"Q2772618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$868B1D10-CAC4-43CA-87F1-C9968D21D161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$5B631FBD-DE9D-442F-84CA-75FF7ED735AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000633$7A83C2D4-BE66-46F1-A8FA-E1001B13F163","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$EC273A6B-CDCB-4228-B108-75A1D6D02545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$6371AACB-1F20-4E6F-A7F3-0E4BC557259C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2296d133c30a2d32f47a426a30edd0d88fb5c98e","datavalue":{"value":"5897392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$5B5A9283-AA3E-4F8C-A386-DAA5284A0A20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$4CC52F76-5377-404D-90D5-C2E678606C91","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":"Q3000633$EFD6057E-27B5-49AB-AB07-32BC8FB46B5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"079ee335baf9273aa2f504272375207b6e5e32c1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000633$B415D24F-C4F8-482D-BAA3-7A07B9778E54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eea0f9c4a3af68d0d012b230e7d0112ad6af4c2","datavalue":{"value":"W1594825470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000633$4B3D8CCC-9928-4485-8FE5-878A9C30B4CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$4872D0E7-1A01-48FD-8712-A383B5C32CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d7b9e297fcd76c14248efc49c105939c29438e","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$FA12770E-B610-44F0-BF61-917154D02669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490dd434ac6d41002d78d84a60ceffad84cfa146","datavalue":{"value":{"entity-type":"item","numeric-id":3000633,"id":"Q3000633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$E9103571-5C65-48C3-9548-0BF5325F542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$C26B147D-B6DE-4F52-8670-53DFEF93E81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d3451bfa7a01037037f2a99b640d0d21e9ce88","datavalue":{"value":{"entity-type":"item","numeric-id":5312917,"id":"Q5312917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$9B4B653A-436C-4499-999D-170CEE9567C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc931ddb4c7c03111ab2dd058eefa9306bbdb14c","datavalue":{"value":{"entity-type":"item","numeric-id":2461564,"id":"Q2461564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$F5277A64-D5BC-4DBB-AF31-72F42199EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000633$17CC5EDA-494A-4E85-8683-8476F5347EE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53389ff29cd92def7f542c1a68c503dc45db02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3512487,"id":"Q3512487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fde75115606fc52b6eecd55468df7043c38900","datavalue":{"value":{"amount":"+0.8074196577072144","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":"Q3000633$3DF3BA0E-2E92-4EEA-8EAC-C6A3BE4FA222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47941ed4fbd472d8127d397460ec9ecc36c65255","datavalue":{"value":{"entity-type":"item","numeric-id":5194956,"id":"Q5194956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efefe12988ebd2e79eb7e8a357901835bd23c94c","datavalue":{"value":{"amount":"+0.7966538071632385","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":"Q3000633$BECFA3B9-B04E-4391-8F91-F4751BDE9210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19a00c9c306c52f4cdfdc87943b774c081bc374","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53e20f9d30ff3028b072a8163dd362dfd2a1877","datavalue":{"value":{"amount":"+0.7930302023887634","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":"Q3000633$B67A4532-F86C-41FA-A2BF-B0A2E506046F","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":"353957b6daca6c1699ccb5a186c5d9ec5a6f6a97","datavalue":{"value":{"amount":"+0.7906783819198608","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":"Q3000633$AB81F7D0-E19E-4441-96D4-6BC862B60144","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":"59f3065a8a2e1e3d8c5bbd00db5a326b82658b21","datavalue":{"value":{"amount":"+0.7864534258842468","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":"Q3000633$6CD10019-49B7-42AE-AC92-692CEBB28AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000633"}}}}}