{"entities":{"Q3300835":{"pageid":3311543,"ns":120,"title":"Item:Q3300835","lastrevid":53782085,"modified":"2026-01-25T17:25:10Z","type":"item","id":"Q3300835","labels":{"en":{"language":"en","value":"Synthesis of distributed algorithms with parameterized threshold guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7226042"}},"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":"Q3300835$8FF23B7C-8140-49BF-AEB3-630BE0D0FCDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7594da70ca0f899ce5b3cc2f2cc2a388280a828d","datavalue":{"value":"1487.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$0557AB49-9B99-4EAC-9823-98364013EB39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60f1b35d6daf10817fede04796910fcdeed36a5","datavalue":{"value":{"time":"+2020-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3300835$A2678C70-2779-46E3-8ED1-D662AA2F2E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$AFD3C99E-103D-4508-8F70-720F1E63F757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$A10ECA3D-406C-4ACF-9C3F-55746E641B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$2529DBC6-F623-4457-9859-9A86565D7947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$5CB00DD9-70E7-4FC6-BCA2-2DE046772935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$03E153D5-B335-41CD-BC91-A98EA7515A87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4076d48a4dda5e5d30a232d2f53f4aea4bb9932","datavalue":{"value":"7226042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$59524582-06E8-4629-B72C-62987DF73039","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb51b3bac83b115501e684a369b2c4e89c144ae","datavalue":{"value":"fault-tolerant distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300835$7FF1CAA2-A91E-4AC2-BF6F-CAB0172DF37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c97425824167c8b2224120176ebd89b5e60b9db","datavalue":{"value":"Byzantine faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300835$D3D71F81-3EDE-4FFF-9350-16D178CC6934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef3d714487246507a51b2702c1e134ed233139","datavalue":{"value":"parameterized model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300835$377AFE01-46FA-4A72-BAD3-32CBEB2DE0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300835$4577AE70-9B43-4054-B76E-12422DF7F638","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$1467D239-E450-425A-8FF7-DB255157A385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$F135D0A8-C50F-4570-9D97-21EDBDD1D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$A5F41129-5DBA-4962-BD19-5B5944E08E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff63f91a3c2659163aaead04885df5b890e9f5a","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$0439AD57-2723-492C-9ACF-45BF140E2E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"26ad1d86d8c5fbbad6b22c55f7f9560782c784c0","datavalue":{"value":{"entity-type":"item","numeric-id":34458,"id":"Q34458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$6D1EADCA-F19F-43D1-AADD-4B689E1F5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9c1d7014e7e36d98e0244eebff3dcb1eab312d8","datavalue":{"value":{"entity-type":"item","numeric-id":40546,"id":"Q40546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$87598C1C-5B8E-4EFB-B65C-68C5CB68F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$9BD69CC7-D019-4FA9-9FD1-30BB6BAEAA16","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":"Q3300835$31D30105-8A5A-4D29-94DB-D87264A9FD83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b471635e2253b7ee28e02a5d7def6d2c33aab36","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$0F87D4CD-48E7-42C1-9761-C6E33A2DF7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$4DC3FA72-3975-4C65-8691-EB4EAFFBEA95","rank":"normal"},{"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":"Q3300835$62807452-F1DF-4328-8D1B-06104A3C8589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e956495daa5fa4cde9f4e5280545198a285910f","datavalue":{"value":{"entity-type":"item","numeric-id":2377130,"id":"Q2377130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$E68C1A4C-E0EB-4A50-8B88-5FA6F6833B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafe6ed40ea290594d9f68da591c55b388d474c6","datavalue":{"value":{"entity-type":"item","numeric-id":896024,"id":"Q896024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$D4445D5B-A03C-4308-A440-F13AB79597D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfbbd125184e529ea4d1d97c2a27f9b0512d42a","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$81525760-95DA-4A08-B7AA-D14FD928EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0740bce08778ef602abcc1d70be710e455d901d5","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$9B80F978-0FE4-4535-861A-B5A58F993893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a8847c9c5d88741bb0558d3aefd6f771aac637","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$ED95791A-124D-4859-8734-4C8F745B45DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4c3b8f6a7b25d6a54721439d9d3c8a0c98a84","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$C6349FC8-E515-445C-8CBD-E90A1B1762E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cae53e93f88cb07ee720c4ba196f97118a34159","datavalue":{"value":{"entity-type":"item","numeric-id":2961576,"id":"Q2961576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$9DBBAF8F-AAFA-43C9-9CC5-D5EB983794AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b2539f1d207745451d26f87f7be4a32d83820c","datavalue":{"value":{"entity-type":"item","numeric-id":2828279,"id":"Q2828279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$ED4B8FF0-6931-472C-81FB-46F3028C28EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$E47B386C-E90F-4155-9428-A038CE4308FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0de47799ff0b0cae5b663b51afd27cc34a9b9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2164223,"id":"Q2164223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$10379120-56B6-4777-8FFA-0ADD2AFF2F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db91c1959e7c4ca7f55723c8c3ba3e965e765df6","datavalue":{"value":{"entity-type":"item","numeric-id":3540249,"id":"Q3540249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$55DAD76A-789E-4F7B-9F88-40F00F29B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6016ff2ad08da01a9becaac9eab7f799f593c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1954236,"id":"Q1954236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300835$1DD57883-A5C3-4E12-9112-E798D3CFB9D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"775909a655a351f1d16696d6c93c32b2aa4f950d","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.OPODIS.2017.32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300835$87F01E7C-74EB-48D9-A26F-023252EBD831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6021c00f195a70740ae512df69400179f32900a4","datavalue":{"value":"W2769487539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$13E7ACFA-1AF0-4262-833D-5FBF986B4EA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151537405b82fd8b9ed3cfa8ce907bc6484debf7","datavalue":{"value":{"text":"Synthesis of distributed algorithms with parameterized threshold guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3300835$1BBFA19E-4001-454A-8B94-2E65C4CA4E82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"531434321dfefdd8d8729cb20d1cd456dbf3ca14","datavalue":{"value":"10.4230/LIPICS.OPODIS.2017.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300835$C6213E48-40C5-4E43-BEAB-69ACF51DF764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378b91d17b54025dc2fa49ceec9ef023e7adb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad72fe3b2fb6bc317f0043e54735be3f94acf6af","datavalue":{"value":{"amount":"+0.8019644618034363","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":"Q3300835$6E64E6ED-4C28-4590-8B18-8E1DA33F82BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c91f584730ca8dd18e34c388b00eb956ec2e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f171cf162ec5bbd8ed40ee7e282a0365dd76713f","datavalue":{"value":{"amount":"+0.7868537902832031","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":"Q3300835$36375CC0-C9D1-45B8-B3BF-F5FB95A431AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f52b641a8f0895d74b80dcb8113d8154802fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2894282,"id":"Q2894282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26d541e139a7f87fca73b0400ecf603a1cd7ad8","datavalue":{"value":{"amount":"+0.7856370210647583","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":"Q3300835$B5AECFED-302F-42A6-85F5-C3A4839C91F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deafc2c712f7a0987b5378bb41eadefc977083e0","datavalue":{"value":{"entity-type":"item","numeric-id":5404478,"id":"Q5404478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737d40129bb12adf104a9489be216e79f3720e7a","datavalue":{"value":{"amount":"+0.7826992869377136","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":"Q3300835$C0CFD2D4-F85E-4E4B-BDC9-C3EE1D4DDF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a76ea5e8a8c13ff0ac422a5a4f20a073532ec2","datavalue":{"value":{"entity-type":"item","numeric-id":6485862,"id":"Q6485862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3692a2fab9a783f5921c3103d1c3cdda2d0f412b","datavalue":{"value":{"amount":"+0.7758604884147644","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":"Q3300835$1D7DF9F9-8297-496D-91C8-C9EE7C49B9E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3300835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3300835"}}}}}