{"entities":{"Q845930":{"pageid":847778,"ns":120,"title":"Item:Q845930","lastrevid":64811442,"modified":"2026-04-11T22:23:26Z","type":"item","id":"Q845930","labels":{"en":{"language":"en","value":"Managed agreement: generalizing two fundamental distributed agreement problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664757"}},"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":"Q845930$87074287-A1C4-4CBD-A6F1-FE1A1EB7121A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f80e55ca420adeadeddc1815504f0bee3252d3da","datavalue":{"value":{"text":"Managed agreement: generalizing two fundamental distributed agreement problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845930$F272F0B5-ED67-4414-803E-7421DC2122C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b63d5f31fec9390b617e24b53d7aec68508631c","datavalue":{"value":"1185.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845930$1D19402B-C0E7-491F-88DD-9921459AE19B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab0878105f0a82fa03d73192c7f951235674a3ed","datavalue":{"value":{"entity-type":"item","numeric-id":352901,"id":"Q352901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$E98DD86F-12BD-4848-89AC-AF406719048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2ae700513e409fb5963e742a1e5ce58011e816","datavalue":{"value":{"entity-type":"item","numeric-id":845929,"id":"Q845929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$CF6AE8F6-E87B-4E0A-B91C-5B95298AC437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7bf97cc7081adc3f802d0fe2ee9a0ba9a2232b","datavalue":{"value":{"entity-type":"item","numeric-id":701147,"id":"Q701147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$360C5198-5745-405D-A271-E3D5EF2109E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$0260C217-DA68-43AD-985D-28BC4D589BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845930$7550961C-B28E-4D4A-9F24-A25771344016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845930$E9468856-3A4B-498C-9308-651CEC9182B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7da5798ac0ab65be25175dadc97e2d268295bb5","datavalue":{"value":"5664757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845930$7F7A26AC-EAF4-405E-B787-691BD110BF34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q845930$BDF66CB7-101A-4EF1-92B8-5306F50DB751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845930$F4160AD9-FE8E-47B7-B577-1ABA73672731","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":"Q845930$EFAAAAB8-DB45-4E3E-B971-B4D6553BB382","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5169f0caeb22f34ae547fdb63e560cae1022765","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q845930$EF36BA4E-A782-4F16-B715-01B37581A4AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14aca2928021b81e2ce64282bd29f92d19cf27ce","datavalue":{"value":"W2072424640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845930$2943BCFD-1528-4F38-A153-B8BEE39B0515","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4beefa2d92425f59a2da17c4185afee817089311","datavalue":{"value":{"entity-type":"item","numeric-id":845930,"id":"Q845930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$1DBD6575-07E6-4BA9-8FCA-A846C4CBB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97112090117a97bd5558853f333efdb3e2620a9","datavalue":{"value":{"entity-type":"item","numeric-id":4371681,"id":"Q4371681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$32075259-8967-46A9-A564-187550831B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e78689a0a58bf7bc8247d4fb3626d1e4c084b","datavalue":{"value":{"entity-type":"item","numeric-id":5902003,"id":"Q5902003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$9A573993-415A-464B-816F-F2F4F32CE435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122b17a896bbbb1086341b2f0b6e5e237e59fca","datavalue":{"value":{"entity-type":"item","numeric-id":5501514,"id":"Q5501514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$CC46EF1F-C3E6-4ABB-85D0-5920715BB5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659b39bb08d564a05fff5e86ee82aa768d51d941","datavalue":{"value":{"entity-type":"item","numeric-id":2390309,"id":"Q2390309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$0051DFC1-27BF-42FA-83D5-EDF836F768C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$CD18D250-A178-4D1C-ABAD-04808E0C363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbd4456edb853a2279fcdc119bc999e2abfa57b","datavalue":{"value":{"entity-type":"item","numeric-id":5465895,"id":"Q5465895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$69E3A6F8-2066-4455-8D4D-B2917608E5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309bcdb26381514b722b54c4d3ecfcb07d257d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5138367,"id":"Q5138367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$85A5CA65-99E6-4F6B-A3E0-124936D31426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845930$628B58CD-C270-4C26-8B15-1568914FE228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43675cb46221ed531d7d5f6db33c27851a934d96","datavalue":{"value":"10.1016/J.IPL.2006.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845930$CBC0D14F-2817-4D8E-A8C0-BF2A3465A819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cae08e41f5199e55ed3dc37ae0b6a0bea4f745f","datavalue":{"value":{"entity-type":"item","numeric-id":2353391,"id":"Q2353391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a4bd5f02de53b129dbc3fb3e0f2fc2072a4a0d","datavalue":{"value":{"amount":"+0.8704776","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":"Q845930$2005ACC1-6D38-4A1D-BD0C-AAFE3B21DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87eead483e4f8cbc36107b20da685590738bd1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5417681,"id":"Q5417681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0fb1bcbb2da280f0f927e2e8a975e2b788198f","datavalue":{"value":{"amount":"+0.8664681","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":"Q845930$C8AACCE0-5B1D-4632-B954-C0F17D904F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb28c3f537a6d466449622a156efe5974df85e1","datavalue":{"value":{"entity-type":"item","numeric-id":4473969,"id":"Q4473969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73c18403a471cdf30c12b84a6116a4577117d6b","datavalue":{"value":{"amount":"+0.86530274","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":"Q845930$C2619AC4-12FF-4E5F-A728-E0B2798EAA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315681a4d087f54350f16ca23088deefc9284123","datavalue":{"value":{"entity-type":"item","numeric-id":5300160,"id":"Q5300160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d4146a022791aef0d3ec576850385afab369f4","datavalue":{"value":{"amount":"+0.86220014","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":"Q845930$B368C7C5-2F36-4BF3-94C0-3DB65629741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71478f84cf8507f6f1d906a3f13df554efdf9d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3713588,"id":"Q3713588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2886632ae21d4c5fa1ab6c1baad59839726b698f","datavalue":{"value":{"amount":"+0.85802376","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":"Q845930$040998CB-1CCD-4009-ACDC-02D17B842073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441de4d63790894c6522b86d23c5bcbd15c43f7a","datavalue":{"value":{"entity-type":"item","numeric-id":3320076,"id":"Q3320076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c109c5962bbcdbcfb5f337dc9953d0ba5347ce","datavalue":{"value":{"amount":"+0.8423252","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":"Q845930$7E20EEED-A031-4E35-AA24-6C5402003734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b213ba8d6d4b302bc34c1193852f2645efd46c30","datavalue":{"value":{"entity-type":"item","numeric-id":2440652,"id":"Q2440652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4af8b585bdd8f086227feeadc71375ac35b5004","datavalue":{"value":{"amount":"+0.83881223","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":"Q845930$85339D16-BCDF-43FF-8B81-0EFDFFE3A72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90543fba76c169b61007d61283e28992ba7b27f","datavalue":{"value":{"entity-type":"item","numeric-id":5495809,"id":"Q5495809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b629a345884b5af94dfe57d3fcd563877dc0da8","datavalue":{"value":{"amount":"+0.8373651","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":"Q845930$A22A1BE7-E1FE-44D2-89B2-B45927235261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a98f11741c813d143cd526927d5436cad5f5c75","datavalue":{"value":{"entity-type":"item","numeric-id":3507518,"id":"Q3507518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d1401d71cae783c868b58f64b8bab503bdafc5","datavalue":{"value":{"amount":"+0.8371978","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":"Q845930$79A93C29-EE55-40DF-8B5F-3AB3C5464DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Managed agreement: generalizing two fundamental distributed agreement problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Managed_agreement:_generalizing_two_fundamental_distributed_agreement_problems"}}}}}