{"entities":{"Q4636599":{"pageid":6666180,"ns":120,"title":"Item:Q4636599","lastrevid":82175522,"modified":"2026-05-06T20:17:03Z","type":"item","id":"Q4636599","labels":{"en":{"language":"en","value":"Verified analysis of list update algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862077"}},"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":"Q4636599$1060ACB2-6DBF-4933-926E-A1C8F26D15C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c449a9f4aa96247c3f7eed857a35ac71e57a003b","datavalue":{"value":"1391.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$C631FA38-5022-4874-B8D6-E2B8F264E856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$5B9C5B92-550C-4ED0-A871-A59C0A1495C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d33c2cb482f696fa81fcf6b993c9bc4e7576e8","datavalue":{"value":{"entity-type":"item","numeric-id":1799113,"id":"Q1799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$CCF90DA5-E01F-45F5-AF77-7B66A7D24DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636599$186340EC-71A9-46FB-A0C6-D3C3DBC1C08C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$7986E6C2-A118-4479-94E0-6B1D9830764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$935041DF-8EF1-4C29-B8BA-1029487CD661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$21A87A9B-5957-4C5D-8EA0-7F00B3BEBF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d542f6eec459d31b2e91a6ca0ebf9b062fa0646f","datavalue":{"value":"6862077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$65442AF5-0CC1-4B9D-B506-98EE6559A590","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636599$AAB8D52E-7BA3-4703-9B39-027EA89D2819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c95d08c7a71975dab7e6d3c09c6fe9dee722caa","datavalue":{"value":"algorithm analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636599$2F34BB92-FA36-4DFE-B240-A67972BBC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fca5ac8cddc8f74e7908fc7842929c55342241","datavalue":{"value":"online algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636599$B160D132-EECD-46A3-93C9-B14065083682","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$2CD0B408-E243-49E1-B91D-AC6FE2896689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$08A34499-38F1-4A34-8376-04D601CC1047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8907e2c734f3cc316cb766dd5c24541b7c2645a","datavalue":{"value":{"entity-type":"item","numeric-id":40503,"id":"Q40503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$8E7D8CCE-0E1C-42F5-A5BB-2CBB6531DD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636599$D1399F32-B42C-4C86-BB25-BAC540221227","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":"Q4636599$9B5380EF-3038-4EA4-AA3C-08003E5E66B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce1a7c6964e788c04699b7467b99cc3728d14f1f","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2016.49","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636599$B07F9E93-A2F8-4BB8-A0B0-FB67024E1E07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67da54068ee54cb869d8b5725259122c6a97e6c6","datavalue":{"value":"W2572056895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$00DCCB77-0AC0-45DD-ABFE-B3095EE479F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8bb78a2652b9350e1db7ce694bfc08e27af0b1","datavalue":{"value":{"text":"Verified Analysis of List Update Algorithms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636599$AD19C863-9D0B-44AF-9919-570EDA4834A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9976a56ace4faf04c535827365f5fe7b2af1be5f","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636599$7E6C5D1D-CC7B-4C10-B8FB-9D08B823A3AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a151aa613b44bf14aee11a876f255ece384ec3c","datavalue":{"value":{"entity-type":"item","numeric-id":1178243,"id":"Q1178243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091c8a0190ba9474fec60d8824554ca5fdc972a0","datavalue":{"value":{"amount":"+0.7861690521240234","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":"Q4636599$2C3F0C44-D380-4D6B-8509-A2D6100C7FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33d86e8a641ed1d673e8c5ecdbd97d92f986e05","datavalue":{"value":{"entity-type":"item","numeric-id":685486,"id":"Q685486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf05fa923dde9499bf5b90d3fd9379b06ee585c","datavalue":{"value":{"amount":"+0.7857340574264526","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":"Q4636599$0C4725D7-72A4-4B3D-88C5-01968E8814B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbfdfa65a5fba59a144364ad54a9ef5bf36488f","datavalue":{"value":{"entity-type":"item","numeric-id":1312185,"id":"Q1312185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619439363f3d7b5100d1316802115322d166e808","datavalue":{"value":{"amount":"+0.7733800411224365","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":"Q4636599$4DEAFCF0-F037-4C44-9023-0CFAEDC10161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321d19c56c1eb4c93ffdec1bd2947a794c99909e","datavalue":{"value":{"entity-type":"item","numeric-id":2933662,"id":"Q2933662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619439363f3d7b5100d1316802115322d166e808","datavalue":{"value":{"amount":"+0.7733800411224365","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":"Q4636599$52A455B6-BD21-4492-BC13-AFAF029CAFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf06db5f13b49be4ead2ffd8ba41144e02013626","datavalue":{"value":{"entity-type":"item","numeric-id":1853486,"id":"Q1853486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d526111bbf427281a68fe377adb410eaca31b2b","datavalue":{"value":{"amount":"+0.7702996730804443","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":"Q4636599$D029BF40-F0C7-4549-881A-4A7311504AD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified analysis of list update algorithms","badges":[]}}}}}