{"entities":{"Q997231":{"pageid":999079,"ns":120,"title":"Item:Q997231","lastrevid":65803617,"modified":"2026-04-12T05:28:55Z","type":"item","id":"Q997231","labels":{"en":{"language":"en","value":"An update calculus for expressing type-safe program updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173644"}},"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":"Q997231$BA11E54B-8AD1-4BCC-B3D7-F9D75770D9BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b273118b157f097606b01fe60aa8f8bf575749c1","datavalue":{"value":{"text":"An update calculus for expressing type-safe program updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997231$8EFADA96-F75F-474E-8B0C-D32B8718C1B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75200fad56d5035ab8a0eba124ad919025c350a1","datavalue":{"value":"1122.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997231$68A47815-054D-4210-A358-DEB1C170BFAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c5b991087c1fbed079fe8d65b7dc7f71226beb","datavalue":{"value":{"entity-type":"item","numeric-id":997229,"id":"Q997229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$B56A20D2-589E-4A2E-9462-7BA2FF71FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39925852d9c5744c482fdce5a619f213906a6223","datavalue":{"value":{"entity-type":"item","numeric-id":997230,"id":"Q997230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$C58E2206-B010-4605-BD62-D1C59D6C1AE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$FA89DFF9-96DA-4570-93AD-3ACFF20026BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a47a1c00b58c63188511ed6855b30318b707131","datavalue":{"value":{"time":"+2007-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997231$5FBE3940-2FF6-4969-BFBA-CE946BC7D5BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997231$F895680B-5471-4A37-8294-C9F97DC49724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5eb6e0ce7172d896fec94717a2239e3c74ddd6c","datavalue":{"value":"5173644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997231$DA0EBDD1-22AE-4ABA-A141-5A3FEF45336F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q997231$FD1788D4-A507-4F72-A964-C94ADB83CCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0d3bb376271d5bd313585743fb9dc13e8c45ac","datavalue":{"value":"meta programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q997231$4FA6A93E-4193-437B-A8EF-C16807AC54DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q997231$E003E836-6ECA-4F0B-8BE7-660973CECBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3310ea7c9f8a08471d6357afe6e13aa7f5aa31e","datavalue":{"value":"refactoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q997231$E486E832-7A61-404E-A4B4-EC88AF882DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40728d7fd11538bd02d243b899b6bcb2fddc3a9b","datavalue":{"value":"software evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q997231$9F1EACB0-09F8-412D-A48E-B65FFEBB02C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$2FAA8E7E-F080-4DEB-A9FB-161E553F98CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$53E156EA-22A5-41FA-9951-EB9B60C1D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997231$0385C42B-3011-451B-9459-44976FE9644A","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":"Q997231$ECC93DDC-F60D-406C-90E4-61C0D3F79DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1d084d1254309ad79684e1b08216e5af4e48e52","datavalue":{"value":"https://doi.org/10.1016/j.scico.2007.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q997231$4B8F5AF2-B6A9-44F9-B787-E6C55DD960A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f41512bae490a8f22dcc4450008657756a56e9b","datavalue":{"value":"W2112862673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997231$72CE76D5-F87E-4DF9-9EAD-57A6979A1C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d143274af9e4869f8d88f969bceb64f6b2d341b","datavalue":{"value":"10.1016/J.SCICO.2007.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997231$1447FE44-0EAA-4368-B1EA-0FBDF3EF303E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f336987cdf4b10427b2ff232c280e50d1c0f146c","datavalue":{"value":{"entity-type":"item","numeric-id":4417899,"id":"Q4417899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125ab6ffa9157e8e6b33a08d4947ad88c3922690","datavalue":{"value":{"amount":"+0.9472938179969788","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":"Q997231$F02632E8-BAF3-47CD-91DA-419710D56B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcc60e30ed01475cbb96a113ceb1d9d1dec5532","datavalue":{"value":{"entity-type":"item","numeric-id":3046757,"id":"Q3046757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125ab6ffa9157e8e6b33a08d4947ad88c3922690","datavalue":{"value":{"amount":"+0.9472938179969788","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":"Q997231$061DF3FD-4A2E-4B17-AEA0-7720BFEBB2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182af01b0177ebb19d371c4fb0585f8b2246d78","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f54da42cb13b180a8fd04837ef2aa9255cbdba","datavalue":{"value":{"amount":"+0.7711132764816284","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":"Q997231$91534E63-9E7E-4953-A858-34DA79987F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe3be60bb1a1b2c6a48772285d893d4ec0a6310","datavalue":{"value":{"entity-type":"item","numeric-id":5176926,"id":"Q5176926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c87f708bc2df195efe0ec62613c4614962b2f0","datavalue":{"value":{"amount":"+0.7422705292701721","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":"Q997231$3C6FBD42-DBAF-4A91-AB67-F4D8AB21CE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6e00a64e6fe3eb25de7584292e8f9ad53b4681","datavalue":{"value":{"entity-type":"item","numeric-id":1581063,"id":"Q1581063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ce87644a76129999b0b4945d3d7a1282dc11ab","datavalue":{"value":{"amount":"+0.714515209197998","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":"Q997231$18EC2B43-A98E-438A-8A0B-1E99498B01CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An update calculus for expressing type-safe program updates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_update_calculus_for_expressing_type-safe_program_updates"}}}}}