{"entities":{"Q2390937":{"pageid":2401680,"ns":120,"title":"Item:Q2390937","lastrevid":50740367,"modified":"2026-01-15T00:10:49Z","type":"item","id":"Q2390937","labels":{"en":{"language":"en","value":"Correctness proof of a database replication protocol under the perspective of the I/O automaton model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5592781"}},"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":"Q2390937$67F0DF87-835C-4DCE-8217-632B8E9BAADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d269d3012b0a18e9642678c4d0ec032c421b2d5","datavalue":{"value":{"text":"Correctness proof of a database replication protocol under the perspective of the I/O automaton model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390937$2FC109D1-4981-41F3-A0C3-0795293437B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f16ac27b694e1066ca8716a125f0cc40050c2fc","datavalue":{"value":"1179.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390937$58AC9F03-6D3B-43C7-9F79-2E33D078E681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba79c5c5e0e6cd3fda12fba430b4055700ab51c0","datavalue":{"value":{"entity-type":"item","numeric-id":2390935,"id":"Q2390935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$D6FF2A5E-2184-4FA6-ADAD-18F1C39C0992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fd7d1bcfdcb76829df97052f03b1c2b8ea7d91","datavalue":{"value":{"entity-type":"item","numeric-id":2390936,"id":"Q2390936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$448B9CA2-8BDB-42E1-AA37-7ACC11D1D371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4c5a426fbf3b5ff3baf12c21364395e293afa2","datavalue":{"value":{"entity-type":"item","numeric-id":279369,"id":"Q279369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$4C38655F-E91A-4DCD-BB8E-9BE2AA45659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0f2401e52a8d881cc50180ae21b0b8e8bdf7548","datavalue":{"value":{"entity-type":"item","numeric-id":279370,"id":"Q279370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$6A125B8B-992F-44FC-B243-EDFBF6A2BEC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$05FB8753-197E-4665-8ECA-02889AD2858E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506c1325d3a4f4147f4f3add6b73065b15a733fa","datavalue":{"value":{"time":"+2009-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390937$CA5EBE06-A0AB-4CAB-B215-FE9012A159F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390937$7282CDA5-D12E-43E5-B93D-A825D8ED8D8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9081902f8fa00dc33dfd68d3595ae2d19f78a90","datavalue":{"value":"5592781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390937$E7BF1BFA-EA2D-4F8E-A817-E820DB760E52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1f8a07d1c42d9c1ffa8e4df6e16777f6daa74a","datavalue":{"value":"replication support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390937$49316186-F7F3-4933-8254-6134C98EBC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f2f7fb2666fc50d2839ae46ce12ba10fcc1aa8","datavalue":{"value":"replication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390937$ABDEC9AB-3D34-41AC-ADB8-98175C8E4828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20d029ed25f06fe17577ea25e14a3478d9974d8","datavalue":{"value":"group communication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390937$FBA6960B-C6A6-4AE5-8F87-2D6F3D81612D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff229b19cd330c8a11cf0c8e994b701e3e7a4b1","datavalue":{"value":"database replicas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390937$9B12FE39-FB8C-481C-9E38-497343597D5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21403b0e58561e65fe7b82759d26857a8ae8413b","datavalue":{"value":{"entity-type":"item","numeric-id":27719,"id":"Q27719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$665FFF61-9FFE-415C-8DDB-E7B6251423D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8a5d83b41965fd53bd48af4d5c7f8c836696499","datavalue":{"value":{"entity-type":"item","numeric-id":27720,"id":"Q27720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$ED7B2BB4-7B98-485E-8322-E45E5A60C86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8492ea92aea1252fd7ce14005cb07e8238d25ca","datavalue":{"value":{"entity-type":"item","numeric-id":27807,"id":"Q27807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$50F6D503-B01E-46CD-8F35-C10E624A5FFB","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":"Q2390937$91CA7358-9AE6-44BA-99D5-D451F4E659FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1789bfed65e92764feef75920f6be44e28e18967","datavalue":{"value":"https://doi.org/10.1007/s00236-009-0097-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390937$7A7AB9AE-4463-4A12-BD9B-6E81E2A19497","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3658ecebd4998c98ae09d8800d3f0c4450eb425","datavalue":{"value":"W2090714376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390937$77A9E101-A5BF-4DAF-A860-49094160C14E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f014eae90340d070dc667ce0b01474bbb78615","datavalue":{"value":{"entity-type":"item","numeric-id":4371670,"id":"Q4371670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$52516E95-14C6-421D-AC26-B27467224E29","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":"Q2390937$86E6791C-546B-4D03-8AEF-9E4847E8F705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dec5b08dac389c597713dc8b8f6bf7f25e5b233","datavalue":{"value":{"entity-type":"item","numeric-id":4362759,"id":"Q4362759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$46C99BBD-0DDF-43E5-9886-61840101C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d38293cc06627b45c6840e21e0f7cb4f5b5bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$38AE8605-1783-4AE7-B30A-79F1FD9DCFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$E259F981-9E9D-4689-9FE3-0C36171AC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390937$55A7B779-D7BB-48A5-AA99-845DF9EA328A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ef6127ba41c47971a4a2f8d49ef68cbe8cde60f","datavalue":{"value":"10.1007/S00236-009-0097-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390937$DC5D627A-CD0F-432E-8465-1D48338D3E0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e51bec012da14e8c50e0a9af6760cca2eb07287","datavalue":{"value":{"entity-type":"item","numeric-id":1097027,"id":"Q1097027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0ab86878c006c3b98a0c6708ebfeda4e5637a0","datavalue":{"value":{"amount":"+0.7356724143028259","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":"Q2390937$ED9CA6FF-43C3-4A13-A0B1-796FBB43AA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ed37cff09734a4438937db81f4c3638fa9dfd5","datavalue":{"value":{"entity-type":"item","numeric-id":1083230,"id":"Q1083230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f3756e64a2d42818d4b0db5ace8b6bee8a1019","datavalue":{"value":{"amount":"+0.7272603511810303","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":"Q2390937$3AFC7A39-41A4-48BC-BEC1-954C0650754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bac80600b4e4e236c111807af5870fb46de7ff","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9ea10bc03545607baaec452e5458ddd5cbed2d","datavalue":{"value":{"amount":"+0.7186222672462463","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":"Q2390937$4B682781-B2D2-4A14-AF07-9675055B7336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014705db38ce0da0e0a4e1713d2c7029b3f8031b","datavalue":{"value":{"entity-type":"item","numeric-id":2830037,"id":"Q2830037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceb932ab27d6c8ebb71a111f69bb5b8f216150c","datavalue":{"value":{"amount":"+0.7065118551254272","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":"Q2390937$1D42A409-6B3A-40B5-AD4E-0E44C3A494EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e43f8985073916edd6f09245a9f4a59be870079","datavalue":{"value":{"entity-type":"item","numeric-id":1602517,"id":"Q1602517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969f18ea59cabc7271c09e0d3f2bad65d7ddf1e8","datavalue":{"value":{"amount":"+0.7036038637161255","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":"Q2390937$6BF2660B-B844-4732-AB93-713441BCF858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390937"}}}}}