{"entities":{"Q3521993":{"pageid":5551897,"ns":120,"title":"Item:Q3521993","lastrevid":50438687,"modified":"2026-01-14T01:36:05Z","type":"item","id":"Q3521993","labels":{"en":{"language":"en","value":"Safe Modification of Pointer Programs in Refinement Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317307"}},"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":"Q3521993$E9D464C9-C8D8-4065-8636-F6A0CBFEEBCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c1e64008b14b566671c91757242d3aa2563f4f8","datavalue":{"value":{"text":"Safe Modification of Pointer Programs in Refinement Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521993$F659346F-DCF8-44E7-B9D1-A80FF297C63E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a50ff2e1126935ec4954cf5e4260ac171be855c","datavalue":{"value":"1156.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521993$FFDB603A-7540-4F94-ABAD-9DED36BC2619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9451b5740c2cbfac7e4a9886554f6f87cba3cdd","datavalue":{"value":"10.1007/978-3-540-70594-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521993$B16EBA6C-ABD3-4BEF-B452-00F0B6D64A72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f271e07fe507ff96d0acfd7db8c7e0699bf55333","datavalue":{"value":{"entity-type":"item","numeric-id":703584,"id":"Q703584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$CD7D4A1C-B40C-4C6A-8DBB-1A475762B60B","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":"Q3521993$53B11B01-1E68-471A-B530-CB5D6A12AF43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521993$65643075-6464-46CC-82E7-906747543568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521993$CDAC1970-04A6-4B9B-A09F-F94022F50554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"681b3cc918b6ded543ad6d4482a3eb745cb588c4","datavalue":{"value":"5317307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521993$F0AAF252-8EF3-45DC-98D5-83A5296D0023","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$65609768-2A78-4FC0-9735-59952951AF73","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":"Q3521993$0714E10B-AA8F-449D-A667-8A9008FB3EDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e7e04c57c4b693aa485f2d6db8be11dbf360ee4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521993$E36654CC-CCB6-43DB-BCF5-69BE41695BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c4224509b7348b1d7462c8f441a8f7c993d4acf","datavalue":{"value":"W2137790177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521993$985A3DA5-4779-43D9-B519-7A690B34837E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99c5a0e13ee889036714bc5394088e5f34dd18","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$B1B19D12-C63C-4CDF-AEED-802177992CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c283b72630fa748ec17f1ef3791310c374f00d01","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$149FB245-7D82-499D-87A7-7D2BBFD24B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$6C05957F-5305-4A18-8179-A9DB7EA5C4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$4D8C96D5-ED76-4311-8C6E-6DFC96B8A7F7","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":"Q3521993$6FF05EF3-6FB1-4998-A057-F5D66F77B1B3","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":"Q3521993$0B4D3175-3917-467D-A949-B850B80BA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521993$FDDDA5CA-D4FA-4DC9-933F-7DC9B192A991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5e621c484ffea5b0eb69aa5153657dc1580873","datavalue":{"value":{"amount":"+0.761846661567688","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":"Q3521993$AC055F87-236F-4806-B88B-58E10A8FB706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad015861b1e906a053cc41408f7bddfa0497979","datavalue":{"value":{"amount":"+0.7571347951889038","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":"Q3521993$DA8CAB48-D936-4ADC-B60A-D7955E28489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2c401f61d44dd1f3c9cbd34d2d3ea7efb73430","datavalue":{"value":{"entity-type":"item","numeric-id":5493372,"id":"Q5493372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817077fe29784003d523256744fcc740bede0362","datavalue":{"value":{"amount":"+0.7532862424850464","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":"Q3521993$6A467C8F-30B6-4DBD-AB92-9ED9B3F54F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0b9c32ef14dffa0a3544b1fd302ae3602cb353","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1fbcbb8ca8b3b6b995aa6c632f2a736a857a0b","datavalue":{"value":{"amount":"+0.7480701208114624","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":"Q3521993$9180F999-7D46-4010-9ED8-D972EF300C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dde2e2fb41aa5e4499bc3889ab64db327fd2b2d","datavalue":{"value":{"entity-type":"item","numeric-id":732009,"id":"Q732009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8f29beada0c682560c0e0f22b8120e9b11de9d","datavalue":{"value":{"amount":"+0.7417778372764587","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":"Q3521993$748EEC9E-02D9-40A3-B0E2-A5DCDAB00565","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3521993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3521993"}}}}}