{"entities":{"Q1758657":{"pageid":1769399,"ns":120,"title":"Item:Q1758657","lastrevid":70839783,"modified":"2026-04-13T17:36:55Z","type":"item","id":"Q1758657","labels":{"en":{"language":"en","value":"Weak updates and separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107848"}},"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":"Q1758657$C6BF855C-5100-47EC-A755-D4E7D82AD56E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"047e75b3f77a8534bfd93e55448c8845a63f4381","datavalue":{"value":{"text":"Weak updates and separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758657$0A9F09D5-236A-4313-B3E2-7514A7101AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc41fdfb0ee0c7fc62f564e1ec7fd340ae29ef9c","datavalue":{"value":"1251.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$B32F532F-99FE-4A4B-9559-EB2CC7AE1F8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb20c7baa36957bc97f7ec468f1909c45529eca","datavalue":{"value":{"entity-type":"item","numeric-id":1703006,"id":"Q1703006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$92DD0614-C6CC-4970-8FCE-567C69385F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$1FC348ED-B9B6-4665-8F78-8D352AB81418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$A6AB3E13-1480-4A9A-AC32-3E493ED1FB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe90295e402d8e550857e3a0bbb915eb31b69fd","datavalue":{"value":{"entity-type":"item","numeric-id":1758656,"id":"Q1758656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$0DC1963F-57D0-4714-8A63-ADD269F977F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$C2B1EB7E-BF3D-4E81-B265-60BE3C00E0E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758657$8FC27B24-91EB-40BD-BED6-9F3EE29D0693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$BBBA3EA5-5101-41DD-9D64-274CBA3CE51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$0BA3EFE1-6AED-4DC3-BAC2-A34736D98F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f9db4ad2ef0a5a445f3c071a61d8e63f8baceb2","datavalue":{"value":"6107848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$AB8C1A5C-C77C-4D5B-9A82-6763AE77061F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2433a7788fd3c9bba5e417ba35c5db5aa8bfe5d1","datavalue":{"value":"weak updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758657$6557CD8F-8BD5-4664-98BF-5C4BFE36A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758657$34C00917-C3C9-477E-BF18-E091C5AC76D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758657$B2B10B7A-9EB2-4963-BB53-59366C4E2141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bfb36a15935438d25d603d5dfc33556f184f1b","datavalue":{"value":"mutable references","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758657$C4C0486D-8816-4029-8514-1150E3EABE71","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":"Q1758657$525DC57A-8B08-4EA2-9527-D147B9574C9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48d4154a5b0a5e1e28eaf8da5d585514b520d2f8","datavalue":{"value":"https://doi.org/10.1007/s00354-010-0097-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758657$E34ACFA1-313A-403B-B402-E41B6CC442CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4ceeb15ff489fbde5eb8bf567bc5fafec6c4bee","datavalue":{"value":"W1981234751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$B8D5BB5C-E16A-4A13-BBB6-C733212FAB8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$EE62A0B8-A24E-4243-9845-F08BAB55D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6251e2141ccc31a7588f3fd89d0a24bd1ce5e11a","datavalue":{"value":{"entity-type":"item","numeric-id":3617747,"id":"Q3617747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$FD5E38CA-480A-4A13-AE91-94B36C20599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$7C144463-C5D0-4605-A35B-9CC903C850CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fe39517c5a8477f9b94d738f400740c39643b7","datavalue":{"value":{"entity-type":"item","numeric-id":1350743,"id":"Q1350743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$3A1A9F8E-DF99-438C-B62B-C0043AA47724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$DD3EF259-BA06-4418-8F56-B4C4EAAB32B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6162a2234cfa6691725745a365b75d4d43df7e","datavalue":{"value":{"entity-type":"item","numeric-id":3189775,"id":"Q3189775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$3785C0FF-D93B-4129-BF96-A762DD2CFA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$EE858F6A-851B-4CF5-851D-4AB16794FC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$A480E02F-579D-46E8-AE90-87E91EEDF10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bfdabefe5ab2c449f4319c98c79ecbc9910a9","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$E6CFDB37-493D-4EED-B3B1-A13010611FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6e49c67879ca5578957dd57034bde7260290cf","datavalue":{"value":{"entity-type":"item","numeric-id":1758657,"id":"Q1758657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$D7284AB4-9575-42C9-90D5-3429C8EBD244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$F42D0CF9-F849-4415-9B90-BA59F7FA1901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$9874094D-C503-49AD-B4A7-DC6EE7179076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$2FCC73BA-2F20-406F-BF6D-8C39B69181BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$C640ED58-BE20-4A28-BDB4-3D3DD16A2C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c97e2ab7e039a7b5ba0756f36a5c23715a8ac","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758657$4594A311-2DF0-48C7-A19F-097225E260F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"074caa4627e502e2400e4701f128a651d332f280","datavalue":{"value":"10.1007/S00354-010-0097-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758657$A4FD1831-90FA-4004-B44F-D43A8B99861B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd37bdf05eda647d9c4f53a72bbf247e7767950","datavalue":{"value":{"entity-type":"item","numeric-id":5262482,"id":"Q5262482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d7d8c9171baad411d3309a83ba3a847ba56d4a","datavalue":{"value":{"amount":"+0.8783467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$1B1EA264-C4CC-4495-822B-0376B33D916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a314ea97f35d0e12e68aad4db2bae0f9c7d30ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5224809,"id":"Q5224809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aec1b24e47890bc9ae8ee4a6b12648d5068871","datavalue":{"value":{"amount":"+0.867192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$CC9E01BB-8AF8-42C9-B00A-B1A9ED29E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ac794e7992071c126d08eec85a3e5c91841045","datavalue":{"value":{"entity-type":"item","numeric-id":3323928,"id":"Q3323928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c7aca812c8481c56ecadf8af56d15de389d0c7","datavalue":{"value":{"amount":"+0.8606101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$B8588199-CEB8-4142-B99B-5A94F9BFDD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512baf39d76bb54dd92b3ea6d3582c04907a555f","datavalue":{"value":{"entity-type":"item","numeric-id":2233486,"id":"Q2233486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1d1aa7c134fd227286b501cab3f70a2eb9652a","datavalue":{"value":{"amount":"+0.8580824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$F2A931C0-DC73-4CFB-888C-0239CE23CFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ced358d039d75b46a2a9a6dad7eb8a6be861b4","datavalue":{"value":{"entity-type":"item","numeric-id":5394123,"id":"Q5394123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ab322211dd018240b1ab769922fdad042e715c","datavalue":{"value":{"amount":"+0.85631907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$87F70A71-28E2-47BD-8BBF-91054B8521FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e711222149079b053dca529b1a1070d5d14634c","datavalue":{"value":{"entity-type":"item","numeric-id":4475200,"id":"Q4475200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075f14ab7303e908e919b5f47988398f7a8273d4","datavalue":{"value":{"amount":"+0.8557719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$5A199719-2491-4AD4-8CA5-8813A1130F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9a4b7c60f501353a506e083a3ab09417025bb0","datavalue":{"value":{"amount":"+0.8530263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1758657$D580971A-A900-45D2-8EAC-B7624A347E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak updates and separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_updates_and_separation_logic"}}}}}