{"entities":{"Q2864149":{"pageid":2874869,"ns":120,"title":"Item:Q2864149","lastrevid":42326993,"modified":"2025-06-08T18:05:02Z","type":"item","id":"Q2864149","labels":{"en":{"language":"en","value":"Local reasoning about data update"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236105"}},"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":"Q2864149$937A570E-0E1E-43B5-968F-8BA4B2DB44E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"572af0b7841bb32f52a2db09f0b706f66b00cac6","datavalue":{"value":"1277.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$7DCA695E-DED0-4D9A-9B4E-EE3B4F1A555B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$95CC0A7F-AA82-47D7-8994-BACF97935CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$B9FEDF97-89A6-4710-89D0-B8811E786DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea672298c6592c0cec2ba66bc931617d6af361bd","datavalue":{"value":{"entity-type":"item","numeric-id":2851334,"id":"Q2851334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$1058BAC7-C1FC-42A4-A62E-517720EBC802","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$8A692B92-7C8B-4D32-931D-1B2877D3A0E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864149$CCF00191-1917-45A4-8811-34A0CE0B6400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$7CCC4869-8567-46C3-8680-BE7A3438CAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$69CB7461-D619-4627-AD11-F94FA087438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$B221D0F7-4F71-469B-BAC1-7E50D60BEDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34041f51ad2f675a3ca089f31f50ae3651b6b81a","datavalue":{"value":"6236105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$EC2D5DCA-B6D2-4DC6-B348-C72E78DEF4F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9861faf71d75e670ad59c78d80c345890d32978","datavalue":{"value":"context logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864149$9BC3FC85-225C-4FAA-AE63-5E0B20924832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b187dac270db45b7aa935d2b5dd350aa29f1537b","datavalue":{"value":"local Hoare reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864149$8747F9A4-15E9-4CCE-B1C1-932F3E4DB7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dedeba8dda192a37aaff747393591bf53a1e2c27","datavalue":{"value":"tree update","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864149$478B5FC4-D8DB-4D57-A148-232605D733C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ec4d5f08be024b50545c3adc3d8c06bcacd473","datavalue":{"value":"heap update","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864149$F9B82E48-D912-4B27-A0DF-6B2FA5C58536","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$9C5CFEC4-532B-4368-8A17-4B1F87710A85","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":"Q2864149$8CD635E7-7F44-42C9-A5DF-004AF6A478A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88144dec3f330aadf53f7e5538f3d6dfaab5acc7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864149$F1D623B0-C8F2-48D0-8B60-2D19430EDB4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9477d46f7451a92bb32e67eacd4ea7d8a454443","datavalue":{"value":"W2074457838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$0C0F0037-E189-4C08-95DB-52BDF5F265F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$863A21EF-D8BD-40A4-9E65-4AD26C4CF586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$1737B0DF-E1D8-4FF0-AC86-C02CEF858234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e345b28b6b4a436b683f7783d3d5886397a900a6","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$2F383EC7-7390-4F4A-BF02-CEE9C56B4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c013e136cb03e4c5ab8c3a7e8c7df1e0a2f62e41","datavalue":{"value":{"entity-type":"item","numeric-id":3189791,"id":"Q3189791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$D47DBB35-067B-4E0D-8F33-7B47A26DF950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$F06525DA-3A3B-44F7-9813-AC2667AB8562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$FDA6863B-203D-48E1-B710-6F8735844F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729ab3878059b29b3618568b69ec01f40d429282","datavalue":{"value":{"entity-type":"item","numeric-id":5716826,"id":"Q5716826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$E381F70C-F885-4252-9E75-B7905A04897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087c34aa79b14f6d8a00efa38caee789093ba8f2","datavalue":{"value":{"entity-type":"item","numeric-id":2851335,"id":"Q2851335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$09C1CB81-E0CA-44FE-A966-3B0E22873BD7","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":"Q2864149$FFA3F2AB-F76D-4C31-849E-501BF15EB67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$23F5464D-4238-45CF-8B7A-595409A332AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06eac9a890b9a94565701524b47651606e322438","datavalue":{"value":{"entity-type":"item","numeric-id":1763729,"id":"Q1763729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$5B403865-424C-462E-9065-F37221B8E118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$438A22CC-071B-4D97-9552-A50C24579C78","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":"Q2864149$C60CEECD-0E36-4AE2-B7C4-4A5777868A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$71E1761C-463B-4F70-BE47-556B9B5C114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864149$101B5BA0-10B7-4C16-97DC-38D959B2D72D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f88b3d1b45765360604a3181b720fe3eed0d0ea4","datavalue":{"value":"10.1016/J.ENTCS.2007.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864149$A8817648-222F-488E-9838-70731D441352","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5897d698b44f68c05cd4a51ca2ea778af7ae012","datavalue":{"value":{"entity-type":"item","numeric-id":2851335,"id":"Q2851335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba53d536e2297799b2dfcfc6a1fb6cce3851d6a","datavalue":{"value":{"amount":"+0.8646391","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":"Q2864149$22F018A6-4D6D-432B-AE1A-68DA027025D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2281a0e713d7ae8a689e2746048fd049fd501a61","datavalue":{"value":{"entity-type":"item","numeric-id":1344850,"id":"Q1344850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84772380e0a8af439a2306b64984cbde854669d3","datavalue":{"value":{"amount":"+0.818881","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":"Q2864149$21678F69-7E4C-4072-9A6F-2EA37962E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1d537eedc4cca6db6931e6866d4e50fbb039e5","datavalue":{"value":{"entity-type":"item","numeric-id":3512454,"id":"Q3512454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21ccd0e7c6d8d50b3b7e1f969156ebbe7cb43bf","datavalue":{"value":{"amount":"+0.8170115","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":"Q2864149$2B5AA0D5-31DF-46A0-ABAB-EE47473BFCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460bf367fe80a84f44ac4e0b271d01e01b17f11f","datavalue":{"value":{"entity-type":"item","numeric-id":5458546,"id":"Q5458546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896efce3fb563b7f93a810feefc3d53ec09e576a","datavalue":{"value":{"amount":"+0.80460703","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":"Q2864149$836EC818-5664-4B31-9930-BD57AF78E3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047d66876a2834ba66bda0c8f2c4504bd14157e2","datavalue":{"value":{"entity-type":"item","numeric-id":269460,"id":"Q269460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cecf6102971416d35d95b96fb013f27af15281f","datavalue":{"value":{"amount":"+0.7966683","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":"Q2864149$35DE7D84-91F4-42FD-9AA3-1CA9DACC2B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a908bbce5fc88f094d69c37de35e3e781be9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3521911,"id":"Q3521911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210169b3f73cff45e56f33c19dd91c82ea44249d","datavalue":{"value":{"amount":"+0.7966682","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":"Q2864149$CA121CB4-688A-4211-8B75-C2650FBA1780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06232e5325ee7c1a7e2d33cf9ea15f3557bd5279","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59702ebbcbdd664cff07ec739bf7fa176eef7299","datavalue":{"value":{"amount":"+0.7959853","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":"Q2864149$0E984C7A-1664-4C69-B47B-4459C87D5B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea9e063e4c3e7e10aea3a669a72556f1a2b69eb","datavalue":{"value":{"entity-type":"item","numeric-id":436596,"id":"Q436596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230146f1b890de340d0ea712ec5be59ec399d32b","datavalue":{"value":{"amount":"+0.79341626","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":"Q2864149$47CD8BF7-6298-4ACA-9895-8F067CEEDB79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06f003a94e7e1d4cc7d42b56fffff5c1351efd5c","datavalue":{"value":{"text":"Local reasoning about data update","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864149$E8E49D13-9D3A-4D7F-83CA-D2BCFC46B1AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864149"}}}}}