{"entities":{"Q854171":{"pageid":856019,"ns":120,"title":"Item:Q854171","lastrevid":64846146,"modified":"2026-04-11T22:37:21Z","type":"item","id":"Q854171","labels":{"en":{"language":"en","value":"Towards imperative modules: reasoning about invariants and sharing of mutable state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5079008"}},"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":"Q854171$D32A30C8-A593-4E31-8E67-145AF1320208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0850681dd9a083c0fbc94ef0fe5b098b9621b45","datavalue":{"value":{"text":"Towards imperative modules: reasoning about invariants and sharing of mutable state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q854171$5866932C-CF8A-42F7-8AFA-D5BE8A6E47C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ca41ff691cb301f65f7fe7268633b2678dbf509","datavalue":{"value":"1118.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854171$ACF1D657-37D2-4FD8-B71C-446F027F617C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$FC120433-0471-4B4F-B49F-F696692B430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a09e49acb1afa2b0195ca98d81a71fbe0a1ab39","datavalue":{"value":{"entity-type":"item","numeric-id":854170,"id":"Q854170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$32AA3F2D-D8AD-4022-92B1-A9D633D19F71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$EE002C04-F4BF-4B1A-9B18-332E74C236AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69fd7e33e5959021461630cbc83478a74a6768f","datavalue":{"value":{"time":"+2006-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q854171$ED7F6222-A47E-4DCE-9876-FD399002ED78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854171$0B55BAAF-1A40-40F7-A368-87FA1DA6DAC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc1d9846f858a8058f30e14d822a0ffe0ecc3fea","datavalue":{"value":"5079008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854171$9CAD07DE-BB99-4051-9FFF-9FF6013C6F6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q854171$F8F24094-2427-415D-936E-0E9087251F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q854171$F2F1F237-574A-4305-9118-BD6875DD267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbcc42772e0c1b432c907bffa3833d0223f30f70","datavalue":{"value":"alias control","type":"string"},"datatype":"string"},"type":"statement","id":"Q854171$038A62A0-58E2-4559-907A-824D736F4797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c1ddaf453e19c577458084658e341e00c36eb5","datavalue":{"value":"object invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q854171$9F8C5DA2-5A72-4222-A6F3-EFCF6CBF736B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$1D0B72C4-5C0D-4BE4-9D93-CAF3DCC4D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$F3F177E3-8A56-446B-9249-0E0C04D1A913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$4B97E9E1-E7EB-4CD0-902E-AAD5914D54D8","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":"Q854171$C866E94F-BA37-44F0-A499-044518E92DED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cec07a003cf02d93a6f64248ce40e8901a75b069","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q854171$20F16C14-0E88-4141-8290-FC77D65D2FA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d53b9cb863a21f6e18394d0b9bd117cdcb559212","datavalue":{"value":"W2043207621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854171$4A87B5EB-8A33-49C8-B7C8-A5D1ABD4B637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33a97eaed430490b1baf5412c0903d90b4fa4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$9D82829A-1F70-424D-8D74-57DE8EDC37B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee028121b78c3d2d9d67a3ae555ddfd75bfa964","datavalue":{"value":{"entity-type":"item","numeric-id":5178904,"id":"Q5178904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$79B325E1-ECA4-4B75-B47D-F25D3D8195CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003e220a607650083ae34d9089140d42d02d540","datavalue":{"value":{"entity-type":"item","numeric-id":3546287,"id":"Q3546287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$1CFC5E0F-509A-4D84-AE1B-4B956F43C925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2098d1c6d59362bcc59c67d035bce3d9e31f86","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$C52291DA-DBAD-4BF6-9EE7-C2764ED20A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2277e839c342e3820c32c5da3191688c45d3d662","datavalue":{"value":{"entity-type":"item","numeric-id":5313101,"id":"Q5313101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$2ADD3624-7F0A-4389-AE11-673BFF7C2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ee6ee01b4b1694eb9e94a00a8a009dce26654e","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$FD40E4EF-D12B-49CE-9F86-BF69199266D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$838B6F72-DC71-4C39-AF37-120B8EA0F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$50908F4C-E79F-4BE3-81C8-CA14A02E93F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c1398dbdb29f668eea2aba00a0d3ac1d740b87","datavalue":{"value":{"entity-type":"item","numeric-id":2942927,"id":"Q2942927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$B0D871AB-DD91-486B-B4E7-64FFE81215AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cd1fcf800edd74232de1645550fcd6a7edf03b","datavalue":{"value":{"entity-type":"item","numeric-id":2779232,"id":"Q2779232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$9FA78E91-0EA7-482D-AEE3-423A68DFB9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28a9c2216d73411093667c058a31047dec97ffa","datavalue":{"value":{"entity-type":"item","numeric-id":4790351,"id":"Q4790351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$5B875B85-6404-4BFC-B3B6-E9B65145EA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2d787aea149decdd1b03f659b625af1699bfeb","datavalue":{"value":{"entity-type":"item","numeric-id":1776585,"id":"Q1776585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$36BC1D2F-89DC-4AD8-8F9B-28268C7384E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5746912aaeddd743883752807cc60e94e0090b","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$A7E7ED79-38C6-46FB-AD8A-E98087BA8F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8135d2b21803eba4e4837602065847af8c31a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$E8BE595C-8670-428A-B364-28C3D2E48A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$4D5909A9-F8F5-4508-A605-6DCB128D74AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$02BF3531-3647-4502-896E-33494EB80711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7933aadf7420669837e72141167b610cf617ce26","datavalue":{"value":{"entity-type":"item","numeric-id":1605184,"id":"Q1605184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$546EA395-FBF3-4156-80CB-4AF72E1BD907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08275ce71290f87626e20f74b563a214eb29810e","datavalue":{"value":{"entity-type":"item","numeric-id":5897453,"id":"Q5897453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$03CBF8F7-A2D8-451B-B28A-5EAB3C1DD21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07cb1b22581740a034e23803dc4aacc43830a76a","datavalue":{"value":{"entity-type":"item","numeric-id":5477657,"id":"Q5477657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$4CF62190-18A3-4CBE-9173-36A95EFEE168","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":"Q854171$F2902EE1-EBD6-4424-A8D4-8EC8A715DD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7990664f126171c104f68110555c735440bc8d7","datavalue":{"value":{"entity-type":"item","numeric-id":5716914,"id":"Q5716914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$52ACC9A1-F247-4C0D-8EF6-F89445B93994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32bffbad242579615a270378cbba850fe8dcb19","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$8CB0AED5-BB9C-43B9-87C2-73948E81F08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27a54476c95c21bccf060ad41edfc2fcbb1686b","datavalue":{"value":{"entity-type":"item","numeric-id":5292658,"id":"Q5292658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854171$6C74F153-F5C2-4B0F-998D-841EB2A06C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"997c3bcc99766b137a179d49a0d1f4d4d254177d","datavalue":{"value":"10.1016/J.TCS.2006.07.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854171$2545B0EA-9F1C-4EE4-AB9F-FA4D6E2050A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb16abe8ab9cdebd5a8c3336897a147140dc3ed","datavalue":{"value":{"entity-type":"item","numeric-id":2945650,"id":"Q2945650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84fc25694dd9d89bde7af590c18013ba464f253","datavalue":{"value":{"amount":"+0.854288","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":"Q854171$1B049AE0-4F8C-4C35-8D1C-C6EFA63BBE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83df204fba48b96d25944b421a5b581e31a5c93","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff9ad5e4d73ce80a9fc1bbafb07a41e43592c4d","datavalue":{"value":{"amount":"+0.8442435","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":"Q854171$D7CCFE16-23DC-4D38-B5DD-503B54629620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d2f1aa4f0ba85e46392e394e949338ac9282fd","datavalue":{"value":{"entity-type":"item","numeric-id":4375629,"id":"Q4375629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f41cbc2de43a38bc9932dabf9356f117a57692","datavalue":{"value":{"amount":"+0.842769","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":"Q854171$17203F4A-6684-40AC-BD94-24164EC0E6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca4206e9c9ca3008f5fb1e4491405501a947a60","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021a0f519674a5055325efa3a33d8ed19e47d980","datavalue":{"value":{"amount":"+0.8323521","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":"Q854171$109ACD1C-FD09-4A97-B514-887824A4D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5004d31e30982496f502b5d79221821d0a921ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4576204,"id":"Q4576204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ae32468634c9b86340fd0d6955240efcfb2c8a","datavalue":{"value":{"amount":"+0.8284664","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":"Q854171$88F9FDC6-845B-4CED-8440-46676EFBBC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37400d4100f52469e107d416939db13b17584959","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcc200e1bcf9fcba4caf5f65d0c9b7c5ec32ccd","datavalue":{"value":{"amount":"+0.82794803","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":"Q854171$DE7FE434-C06E-48EB-988A-5AD54562E5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3397a127c507976e0bec975424d3ee94ea4faba","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea440c31e2cde0481913abefea65236811f5206","datavalue":{"value":{"amount":"+0.82740223","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":"Q854171$C4723608-F336-414A-A494-BA36E317DFA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards imperative modules: reasoning about invariants and sharing of mutable state","badges":[]}}}}}