{"entities":{"Q1355754":{"pageid":1366493,"ns":120,"title":"Item:Q1355754","lastrevid":67224903,"modified":"2026-04-12T16:11:46Z","type":"item","id":"Q1355754","labels":{"en":{"language":"en","value":"Verifying a distributed list system: A case history"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014243"}},"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":"Q1355754$85427152-7C59-4587-A3C1-316B43EE6EEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82d793d88ddd7fce1f13ff08bd0f3a3ab047eae3","datavalue":{"value":{"text":"Verifying a distributed list system: A case history","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355754$B36B8D6D-0688-458D-A038-D8078DA2E0FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c0eeca280a461f13149108204524d2297b957e","datavalue":{"value":"0868.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355754$136B75DC-2000-48C8-B887-D32788BB91BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"832bb52d89418562c4ca756f5489f92347febea7","datavalue":{"value":"10.1007/BF01212527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355754$3E07AEBF-E82D-427A-A469-E812823C709D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290fb1dd6b1093ec11feaee4ac55041821dbd471","datavalue":{"value":{"entity-type":"item","numeric-id":1059389,"id":"Q1059389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$842A2090-38DE-47DA-924F-0E475FDA8A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$4C095B09-9D80-4363-ACA7-CA95FD874EB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$8BAE3621-D996-470B-8C9C-7D1924A4417C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e867b150d8a1bb758643b1fb4dd63cfc4c912853","datavalue":{"value":{"time":"+1997-05-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":"Q1355754$8FD632AF-28B5-4A49-94B9-CFFBC748C890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355754$BDC8469F-B0FC-458B-BD90-E3D0DD592A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d4866e97c8315c798b05a3ea8a878958c814d5","datavalue":{"value":"1014243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355754$598FD3B0-2BDC-4BC0-9306-0D8715389791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71bdec655cbbe4672d51ae4e8790050e53a08df6","datavalue":{"value":"caching protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355754$80F55DAB-8FE8-42F3-A57D-92828F0E8896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc706df57c379e22c9f7431d6c894fa6571ee67","datavalue":{"value":"shared memory parallel computers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355754$4376115E-D3D3-416F-9FCB-381148BCD57D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$6A467367-C466-4796-BC08-7D3B8113E883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$9F0AC6F1-0DF9-46A2-9362-C5D28C280014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$5F5C9E11-5EA2-40FF-AC26-146AB1588802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$AA09CA27-FF1C-4455-B4DA-F7D445DC83AD","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":"Q1355754$D82CB236-B5B9-45B0-B115-7D0C17D0A4F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$54D184FF-95EA-4ED0-AF36-E27AA5E5072F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$DB2566B0-2E78-4870-AA70-1AA888653636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$66610210-A204-4C6F-A473-52D03EE53E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$91DB0AEE-C66B-43E5-830D-F5649FAD8081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$CEA936FB-EA94-4DF2-9F12-9CD64B783D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e57299ad5f22a65a6fac567e5168572750ce7d5","datavalue":{"value":{"entity-type":"item","numeric-id":4174717,"id":"Q4174717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$98B83FBC-047E-4DEB-9803-52ACB99F8923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$A9FE1919-835E-4F9A-88C6-DAD3CC0CCB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$82730376-3B24-457C-9398-3086FF11803F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226198db9d867a40a279afce1920e85079b718d6","datavalue":{"value":{"entity-type":"item","numeric-id":749219,"id":"Q749219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$ADCF720A-3DDF-4B87-BD96-D762DB06254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd90e05299ffabba16e6c0b4c8063fd059a6f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1194205,"id":"Q1194205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$27DC1BAE-58C1-43A9-80BF-5D574AEA27CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175feb295379303ca26058332162a702969964b2","datavalue":{"value":{"entity-type":"item","numeric-id":4281998,"id":"Q4281998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355754$A442AE35-E1FE-43CE-BAA0-4FE531EB534C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009ffe0b8825f9515ffa02187a661a990f5a0c02","datavalue":{"value":{"entity-type":"item","numeric-id":4037395,"id":"Q4037395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cfecdd7b819c270cbffda82dda2cd4f976252f","datavalue":{"value":{"amount":"+0.7250816822052002","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":"Q1355754$EAA10B38-61DD-46D9-8CAB-51CF116FA301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69176cbbc54dd7ef46e8eb8e2624dbcf54a8297b","datavalue":{"value":{"entity-type":"item","numeric-id":4037098,"id":"Q4037098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe47ab3ef66a8e4675aff7b25bb22f52c8fcdec","datavalue":{"value":{"amount":"+0.7126067280769348","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":"Q1355754$112B49D6-FC62-462E-9A1B-E11F87104D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1492d2c691ab2d9ebdbf91b17d9c8e7f6dded373","datavalue":{"value":{"amount":"+0.710545003414154","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":"Q1355754$DDFA1F76-2BBD-450E-98A9-CB3D27162C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying a distributed list system: A case history","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_a_distributed_list_system:_A_case_history"}}}}}