{"entities":{"Q3523182":{"pageid":5553086,"ns":120,"title":"Item:Q3523182","lastrevid":50441531,"modified":"2026-01-14T01:43:46Z","type":"item","id":"Q3523182","labels":{"en":{"language":"en","value":"Operational Reasoning for Concurrent Caml Programs and Weak Memory Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318950"}},"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":"Q3523182$D9666953-C807-49C8-A73B-F4ACDCEC2233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18ef7297ab1bd29f613e3f9a39bd1f909287191d","datavalue":{"value":{"text":"Operational Reasoning for Concurrent Caml Programs and Weak Memory Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523182$F8ADAA2F-9C49-46F7-B048-E9BF08EDE21D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e392a90f020755780952450cc0f463d4aab1b6a","datavalue":{"value":"1144.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$EFFE09C5-923F-43C6-B195-2AF12B044A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f160c80793844e4ba4d26df45720c03cf261e8f2","datavalue":{"value":"10.1007/978-3-540-74591-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$E33A35C1-8125-4EDB-9D9C-5CB921608DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278b7ec84df2589054024f4211d1b51f69484752","datavalue":{"value":{"entity-type":"item","numeric-id":2819675,"id":"Q2819675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$2140CBAF-3C39-474B-9AF4-86E4B1E8D0B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$B82AE64E-B7E7-4CFE-8F82-FA9BCC514EE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523182$B9A0CB62-B13F-4FFA-96DA-3F36154CE3DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$627B9D84-D8AF-4B0E-89AE-773B7FCD5E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$71C5D9DC-0414-49CC-ABCC-FC016A966860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$6997BF6B-497C-42C8-9271-B2EEE70699D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e2effe3f0b34029a28ab78d51263906e008a77","datavalue":{"value":"5318950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$3E45B414-5BE6-44B0-AC96-47DBEC86F586","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$12261197-F7A4-41F6-B7D1-83FBE53D049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$7547C560-CABE-4260-93EA-063F5E3886C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$5FC0B97C-0AB4-4151-B017-B021B3B153D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523182$23B5321B-FDB6-4E3A-B184-D0D546B7353E","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":"Q3523182$14BCC66B-3828-4202-AC7A-CA5A54DC0D27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9822689b9de6d2d9789acf5beb9cb0056c6a02df","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523182$9035BDD2-C6BE-4041-8486-5548E70B4BA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa9dc3dc2b25dfb8b869b69011daba9454179dd8","datavalue":{"value":"W1520556632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523182$F5CD5E4D-67C0-4EF7-B376-F490CED1237E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86543dfbd6eb56eeeff8656fe019745855450f5","datavalue":{"value":{"amount":"+0.763170063495636","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":"Q3523182$A54E8460-A12D-438F-8FD0-B4C2DFFBB712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d35681e391fdf56041687e513bd455b5a835f5","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559ad3f802a8b4d5f632e553a570389d1fd103cd","datavalue":{"value":{"amount":"+0.7254987955093384","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":"Q3523182$7DC7AAFA-29F1-4962-831C-1461CB88850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad022efa1d722e2c55c06d65f8653af371f9168c","datavalue":{"value":{"entity-type":"item","numeric-id":2441720,"id":"Q2441720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0b37f194edd9a12d6cfebe6934941157b20898","datavalue":{"value":{"amount":"+0.7201786637306213","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":"Q3523182$21B7D9E7-6906-4A39-A3E0-D98087CDD380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca091b71368f84598d64a3e28ec89303393aebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdac2d43cadfd9e0990d84e5a072a030e547e8b","datavalue":{"value":{"amount":"+0.7166242599487305","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":"Q3523182$109331AE-68A0-4C17-B216-C84CFD2579FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cb56b657fa7787d7d8fdacadc29cbd53fcf826","datavalue":{"value":{"amount":"+0.7109628319740295","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":"Q3523182$BEA018FC-2328-4FFC-AFEE-F3AD9A57E77B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523182"}}}}}