{"entities":{"Q860848":{"pageid":862696,"ns":120,"title":"Item:Q860848","lastrevid":64899744,"modified":"2026-04-11T22:58:28Z","type":"item","id":"Q860848","labels":{"en":{"language":"en","value":"Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083501"}},"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":"Q860848$954204AD-7672-48B2-AEDF-5506E109E40D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"884d3d65ccdb1e685e8c31852e76a58763df7a3c","datavalue":{"value":{"text":"Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860848$C4201AB3-DEDE-403B-B62B-7D4CD62BE91D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cde9b18278f5704ee5f98853720638fac36cace","datavalue":{"value":"1153.68560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860848$37AEE4C8-0077-4ED3-949A-D89558369365","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c15110a752ce71d0c7f8897aa6e246078c539b8","datavalue":{"value":{"entity-type":"item","numeric-id":860847,"id":"Q860847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$94676CFB-F22D-49D7-9903-417FD90B0C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$A40E6AEB-C6E4-4898-A551-4B11CD286A5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$437F77F8-EA45-484D-A961-44D50536BA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860848$312196F7-DBA7-4040-993D-2EC55DD8E4ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860848$0BDEFB82-51A1-4AB7-99F3-6B5FFDDE00F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5136ada973e21e8a4e3554db7c40dc1332a35a0e","datavalue":{"value":"5083501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860848$6BFAF1BE-FBF0-4408-A912-EBBA7916E0D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$D668D280-1531-48D3-9C21-74F2241CC4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$6AC35336-E48E-4281-9DB4-3059913BC7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$A60CB7D5-572A-40A4-AEE6-74F291B1CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$6EEF7820-CC4F-4B7D-B8CF-75A72E84E81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$803F3F96-8451-45FB-8801-37E0C80F6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$BF2535BA-BEF1-4B91-869E-9114DA50928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$8726A840-F366-402B-8808-BE58FC5FB13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q860848$DA4C79A3-528B-4C09-914E-D0A5D4612EA2","rank":"normal"}],"P1463":[{"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":"Q860848$FA4B3B11-B674-42AB-936F-1D288DA15B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a84581dc3d93f7e576ef759b7761cf2f90187ee7","datavalue":{"value":{"entity-type":"item","numeric-id":19143,"id":"Q19143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$A2168268-E534-4FF4-983F-96034ECB47DC","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":"Q860848$BECFB08C-10F0-474F-994C-5989E8C70470","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8767b28994fd1ebfb91cece3c8177cf69a978b1e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q860848$A47E362F-1657-453E-B2EC-5A26817E830C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a40a7f1297784ee563358c91fdd4a8592b6c5fc8","datavalue":{"value":"W2011959275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860848$EB52A23F-DE87-4B7D-B00E-07C73A252C3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c489a44b8440c4e2128f84b8b64802addfcb1214","datavalue":{"value":{"entity-type":"item","numeric-id":4436966,"id":"Q4436966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$A551A868-5E02-4BCF-B7E8-4B91B54FF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$6B9AD52F-A3D3-445A-BDCF-0B5E236FBA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba410b9e12f5248fb1a467353448eb8e12f87fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3559759,"id":"Q3559759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$6AED4A36-FC5F-429B-BE48-02CFBDEB786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9300d2bf0dcdb3bae13ac524c29a0cdc1c50ee","datavalue":{"value":{"entity-type":"item","numeric-id":1402471,"id":"Q1402471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$B7FEACF8-883F-43F5-98D8-869248FFC9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$34D11FA4-D0F0-4B72-8507-3C3D15458DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c32feb1919b6f1c7ba0ea93909be88fa2cedf14","datavalue":{"value":{"entity-type":"item","numeric-id":4472174,"id":"Q4472174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$B6E7C375-C577-4549-9C70-C8B346F0B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c09449793a7c636b151633682ac4196caf8111","datavalue":{"value":{"entity-type":"item","numeric-id":5492859,"id":"Q5492859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$930804AB-3A38-4143-B21A-A4D9D0283441","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":"Q860848$188847D8-1535-4280-A872-D47D083414A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$8D07E4E8-DEA5-45B6-BDD3-70AB1E47E20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc023c260313b1682a3b5746fa41f28e770758a2","datavalue":{"value":{"entity-type":"item","numeric-id":4727421,"id":"Q4727421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$B642BAFB-D700-4C16-ABBA-10B5F5CE637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ce7d35cd38cc46cec1ecf0baf39078e1630e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5941636,"id":"Q5941636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860848$9E89039A-517F-4919-9878-CCF829D8D92C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f83c9fe34e9d53db43df9710c7df839e8e26b8bb","datavalue":{"value":"10.1016/J.TCS.2006.08.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860848$8945FD1E-5F42-40DA-9F45-2AFDFBCE496F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc36f20ea22434cc9366e6028fab8d9decd7495a","datavalue":{"value":{"entity-type":"item","numeric-id":5941636,"id":"Q5941636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1541bbcef28b4f8094523ea97e841363ba676bce","datavalue":{"value":{"amount":"+0.7835652828216553","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":"Q860848$3338014F-E784-475B-88B2-A1AEED37A93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f0ec964903468f198e2dbab43be5952db339e7","datavalue":{"value":{"entity-type":"item","numeric-id":5170275,"id":"Q5170275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2eb42c4371a90317654f67ae9180bc80d2baa9","datavalue":{"value":{"amount":"+0.7576512694358826","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":"Q860848$14B311B3-E82B-4448-A813-7CE7E5997052","rank":"normal"},{"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":"26919ebea283f8d51e7dbc47edfda43d855dc47a","datavalue":{"value":{"amount":"+0.7339136004447937","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":"Q860848$0B4FCA73-14D1-48D7-A8CF-C3A5CE6ABFCF","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":"705e2727fb334e5825b67737e18bfa4dcf88ea01","datavalue":{"value":{"amount":"+0.7267464995384216","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":"Q860848$13AF8224-2749-4F46-BAE7-C82965DA144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d45779b99e7723e20b9f409c3ac84e4a9848c3","datavalue":{"value":{"entity-type":"item","numeric-id":4494258,"id":"Q4494258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f47a7e081cc65212c63edcdefec216ac94b55a","datavalue":{"value":{"amount":"+0.7210744023323059","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":"Q860848$2B7EC87D-59E3-4683-A5A6-D513F5D98296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_and_incremental_construction_of_distributed_algorithms:_on_the_distributed_reference_counting_algorithm"}}}}}