{"entities":{"Q2852016":{"pageid":2862736,"ns":120,"title":"Item:Q2852016","lastrevid":42271027,"modified":"2025-06-04T00:40:15Z","type":"item","id":"Q2852016","labels":{"en":{"language":"en","value":"Automatic verification of fault-tolerant register emulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213635"}},"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":"Q2852016$6C8FEBAC-2624-405A-B345-9761BEC7BFE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e77d0c23e6dcd57c487c920cdbab8551daba229","datavalue":{"value":"1273.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852016$2B4E5B9E-9707-4CC8-926A-5768B4F06E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2081e4d5abe5c999dc65e69553b1dbf43b4b3046","datavalue":{"value":{"entity-type":"item","numeric-id":248920,"id":"Q248920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852016$A8F75355-E12F-48DF-B7C5-77232C85795A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a7855d416a438be572c6a7aefce1c905376fea9","datavalue":{"value":{"entity-type":"item","numeric-id":233000,"id":"Q233000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852016$7C5B319A-081F-42E0-ABE4-ACC3BDF71B4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852016$D94B7049-2049-422F-9ED9-2DEF82B44D53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab8c2bc04a380a1fe978ce134e341d9b4dff8e00","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000533","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852016$91495D19-FA46-4F3D-B37B-8D4D92490744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852016$31C32BC2-66DE-4010-B511-0D0A0E6CC382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852016$4E248508-6124-454B-B870-822670713279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f71cf7b6e5b99b297d6526481809a87c27403c4","datavalue":{"value":"6213635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852016$09E9BABE-468D-4264-B1CB-678069BB521E","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":"Q2852016$746780A0-F3A8-4DE5-A17A-553AD113BC18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602db440aac5dab828da4b1edbc1911f1413f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":4373487,"id":"Q4373487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce30d32356e1e2c667c3e30db2c3305699f5a00","datavalue":{"value":{"amount":"+0.874691","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":"Q2852016$92AEB776-8BFF-4E8F-97EA-B42A5B361D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e476c95895e82f5906b3938c8244ae7ac931aba","datavalue":{"value":{"entity-type":"item","numeric-id":3612000,"id":"Q3612000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8557f1340439f5512a9a194ed2071dcfd55e7853","datavalue":{"value":{"amount":"+0.8740584","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":"Q2852016$3B472540-F93F-4A91-9B91-BC5246A9B3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9341099fc52c4d5c71aa21e521946a9b90b16e06","datavalue":{"value":{"entity-type":"item","numeric-id":5326330,"id":"Q5326330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb55ee3fc3a31b19e6cfa8dac810c1eaf487762","datavalue":{"value":{"amount":"+0.8717729","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":"Q2852016$E01B2C1A-CAC2-429C-8D96-81243079AB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d0fac9199ff7000f189c9ae48f1b0afc9c0182","datavalue":{"value":{"amount":"+0.86620635","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":"Q2852016$5A183CB7-5DA9-4A84-93A2-0D4669053A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d4f12082a48ac9b9315af11f51fb609f8c49f9","datavalue":{"value":{"entity-type":"item","numeric-id":2978554,"id":"Q2978554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b581526e89e57f8e9788159afbaaef91bf5b74a9","datavalue":{"value":{"amount":"+0.8584325","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":"Q2852016$3EEA3B8B-4A17-46DC-9365-3A91413EE26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9de59ccf457315bc9675602d6b66c4677b6696","datavalue":{"value":{"entity-type":"item","numeric-id":5368945,"id":"Q5368945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8330ae7048b241e369edce02d59b7f172b463303","datavalue":{"value":{"amount":"+0.85505044","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":"Q2852016$3B455E63-ECBF-43B1-A8A5-53E45F9EE226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079326ee9986ea30e28dabfd373c522d9c16f222","datavalue":{"value":{"entity-type":"item","numeric-id":2754112,"id":"Q2754112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12098b1c350394faf6bdc9dd48c5ba4fd087c6be","datavalue":{"value":{"amount":"+0.8501307","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":"Q2852016$4F923B1C-03DC-46B2-9548-7EEC3444D398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6054f3f8cd7b35dbce6f0b20ce60e1f42e319e19","datavalue":{"value":{"text":"Automatic verification of fault-tolerant register emulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852016$852E1409-62CC-4CDA-ADE1-D4EB46770C73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852016"}}}}}