{"entities":{"Q2748153":{"pageid":2758892,"ns":120,"title":"Item:Q2748153","lastrevid":83050955,"modified":"2026-05-07T05:45:25Z","type":"item","id":"Q2748153","labels":{"en":{"language":"en","value":"Structuring and verifying distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658933"}},"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":"Q2748153$0B071CB5-6463-4933-89D5-D68A39D46D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8717d0e0d9b6011b72edf53fd077167407d00449","datavalue":{"value":"0985.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748153$C4DBD59D-27CB-4FA1-8B99-0C0F612272C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d278fd67d09f86bc1ab493525cdc641c0299f77","datavalue":{"value":{"entity-type":"item","numeric-id":172356,"id":"Q172356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748153$6F3842E6-5172-495F-8236-F9B60D286F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ff7b4767d6a16050c67d67e66b8e4a533413dc","datavalue":{"value":{"entity-type":"item","numeric-id":172357,"id":"Q172357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748153$843E74F9-B593-4783-AE20-60BE3BD2CCCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64c1f5c2d2acc8630c4745adbe761e7f69f976b3","datavalue":{"value":{"time":"+2001-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2748153$E5544F07-EF70-4573-BDB6-A55B2E07067F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748153$69EAEC85-712C-4827-AAEC-B0E24FBBC8F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b5b37e7b1edcb828566b491d62b6af631758e7d","datavalue":{"value":"1658933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748153$DAA330A7-30E6-4997-8EED-B5C98E90EA04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748153$BC7546F5-01FC-4686-979A-5BA2F8B10F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748153$2220B455-8DCD-4604-A7EC-AE986B831A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748153$BB165F79-88D0-46E3-8363-A32CCEAD2185","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":"Q2748153$D7013393-855B-47D2-9AA5-1ECFA650D2D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b9b5189887c7366207a7c1588c95e87636b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":6162106,"id":"Q6162106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705527ee8d7dcf940eae81b41a15d134146456a1","datavalue":{"value":{"amount":"+0.9486456","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":"Q2748153$4BA22B40-ABEC-4AB0-B7AA-36F9033561EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b577f2dbc7c1a2104dbd12db9c6011cf33beb6","datavalue":{"value":{"entity-type":"item","numeric-id":2279110,"id":"Q2279110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaad4e170e4114fadf323e3271818912271124b4","datavalue":{"value":{"amount":"+0.94713473","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":"Q2748153$9964248C-753C-4066-A46E-23EA4A8022B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9bfa0976beb5292215b4d131d2eafc8825fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5881540,"id":"Q5881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f807800c2e870d5b2603ad3592b39cd494d7dc","datavalue":{"value":{"amount":"+0.93048066","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":"Q2748153$87B0B7D9-15B6-406C-A479-0D03C2623BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfc749eb13c5e140effd33bf1633486b3dbb89f","datavalue":{"value":{"amount":"+0.92873955","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":"Q2748153$9E95CBCC-A3E8-4A08-9342-0E8565EBD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fa4380aa847f05a8dd71c16090e8f1414bc1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4547768,"id":"Q4547768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc2f3f579441261f4cc75c240d7f9f3ff837ef6","datavalue":{"value":{"amount":"+0.92317915","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":"Q2748153$25BF5807-FAF7-40E0-8880-A8403BC49D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25faa7524fc075479c65e466bd2580626a1c22c","datavalue":{"value":{"amount":"+0.92025816","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":"Q2748153$91F0136F-7E89-42B9-ABB7-AE3C43EB361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd9b2bd949ed771fabbd86760604dc65596e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":5357714,"id":"Q5357714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25faa7524fc075479c65e466bd2580626a1c22c","datavalue":{"value":{"amount":"+0.92025816","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":"Q2748153$484D4956-45E4-4CA9-B3D3-E486382C38EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65aeaf270c79045138cdcef76a78547e5739e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2938068,"id":"Q2938068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295435726b6b0568c362a716dbe4a0af74a01b3d","datavalue":{"value":{"amount":"+0.9076686","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":"Q2748153$EF5D6BF3-E7B4-4661-BAB9-9D031CBBA0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1c18859da248d460967e22da829702ad14859d","datavalue":{"value":{"entity-type":"item","numeric-id":4371026,"id":"Q4371026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8716e25294dfed4678783524dafb2587392c12b","datavalue":{"value":{"amount":"+0.90743625","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":"Q2748153$C312EFD5-9811-403B-95EE-AB99DADFFE9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3be72390849c5e8b6774f6a622c8144f27c6d30","datavalue":{"value":{"text":"Structuring and verifying distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2748153$9825335E-214A-41B8-9C49-CC32CD9B2B98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a561326982c2f0bf83bfa2bbf02aa2915ef1e187","datavalue":{"value":{"entity-type":"item","numeric-id":6768200,"id":"Q6768200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748153$4946F0BE-7A3E-4F5F-9138-417318150BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structuring and verifying distributed algorithms","badges":[]}}}}}