{"entities":{"Q5370906":{"pageid":7400480,"ns":120,"title":"Item:Q5370906","lastrevid":58541403,"modified":"2026-04-05T16:20:40Z","type":"item","id":"Q5370906","labels":{"en":{"language":"en","value":"A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794690"}},"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":"Q5370906$A1917E72-D5E5-485F-9DA1-AFC1D7D122F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef4bc4fddc41290f5bcdd680b06821cbeb846ca","datavalue":{"value":{"text":"A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370906$F05F7EBE-C455-4EAF-B4DB-C9A52C418381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8bb81bd8d4424661281779f6ea90710b7cb123d","datavalue":{"value":"1380.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$383CCC57-4D73-4C07-8CDF-A58F7D150EE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74427d70ba37b97a386030a0b213483708370330","datavalue":{"value":"10.1145/3009837.3009860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$106C5E5F-39AF-4553-B931-7846B51A2D14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$B55EF0B8-F34F-4D1C-B1E9-E97D5EAFF478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370906$DF00A97C-ED8A-41B5-A1E4-08D54168F82B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5b77e6355ea27c3146ff501bcfe5859f75b4bc","datavalue":{"value":"https://arxiv.org/abs/1608.05327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370906$5702A1A6-BA17-4A2E-B95A-4D364F794D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$C5F2BC45-904A-4A59-8458-FD44532A2185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$81225C94-AB8D-496E-A7A5-FB02C8A867D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b772d9f68e7034fe2240b26ca234c1f8d097188","datavalue":{"value":"6794690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$3E4B039C-A88E-400E-A124-C3059068214F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c97425824167c8b2224120176ebd89b5e60b9db","datavalue":{"value":"Byzantine faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370906$F0118744-F80B-46BE-81B6-214DABF533CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ef3d714487246507a51b2702c1e134ed233139","datavalue":{"value":"parameterized model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370906$21004172-7254-420C-A73B-A784E33673D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb51b3bac83b115501e684a369b2c4e89c144ae","datavalue":{"value":"fault-tolerant distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370906$F5C89030-4072-4F19-933D-A87635C35FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e5f0bc21dd7d5fcb6ec1b47f659a4ce5ac39da","datavalue":{"value":"reliable broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370906$F5B56FB4-8762-4D90-AB59-5A82403592FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a47fc945d9074b8897bde3f0fbf880b45c6f8b","datavalue":{"value":{"entity-type":"item","numeric-id":29310,"id":"Q29310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$1DC386F6-8C33-4689-954E-EC7676749BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076a464c1921419707dd93b3abda344ace31f00b","datavalue":{"value":{"entity-type":"item","numeric-id":29309,"id":"Q29309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$378D678C-2731-43E2-8847-7A88A7B8737A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$4815B19A-647E-48E6-838D-6D073D6B76D6","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":"Q5370906$BCDFA973-C9A4-46C6-A065-9960BA7FF034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c035ec76607a05dd704ef71fa48c741fc21da69","datavalue":{"value":{"entity-type":"item","numeric-id":33501,"id":"Q33501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$AAE2861F-F34D-407A-9F9C-19AB61BF36FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370906$B0428C17-8F34-47F4-B3DB-EDA0CAE6B54F","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":"Q5370906$29786007-FE7E-4218-899D-699855562BFC","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":"Q5370906$5BE18AE2-1D79-4D0A-9206-D24A3A18B271","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeee03ebddeb5a9a2f381df456ab33edaacce18b","datavalue":{"value":"W3100822217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370906$72ABBE43-DD69-46D3-BDD7-AEDB4C39DB28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d2bc85ed262a5d6a25808073b5a0b0253f8f77","datavalue":{"value":{"amount":"+0.8890574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$EB9A430D-1429-4BA3-B403-08874A850C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16812e506888ece16b4d47b64f5d5b6297ca1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6134260,"id":"Q6134260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d2cc24df993ff58e9f73d840a91730d9fecd6f","datavalue":{"value":{"amount":"+0.88536537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$9995E798-CD19-4A84-B533-2323CACA54AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058191dc2c9d3bf412333ced6fa3ff5c09a51638","datavalue":{"value":{"entity-type":"item","numeric-id":5458335,"id":"Q5458335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355371674c8d0e8388cc7b9d8871af0770818f5a","datavalue":{"value":{"amount":"+0.87545025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$4A033458-D4D8-4ED4-8014-37482151244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f18aa51c59ad50ea5f452c6d6d70fe472c6d80e","datavalue":{"value":{"entity-type":"item","numeric-id":5190776,"id":"Q5190776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f13513dc24de1b377eaa53a132fcef915d81e24","datavalue":{"value":{"amount":"+0.8729289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$395E5F57-45BB-48B8-B611-1DA8BCE26955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9157fc2797169cc0b1194703baad9c50da4cd78e","datavalue":{"value":{"entity-type":"item","numeric-id":2796260,"id":"Q2796260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863e5dd940050f590ac86357713ed5a62c6fd5de","datavalue":{"value":{"amount":"+0.87233174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$F69186EB-D207-43F4-A2E6-B362F696E0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4476b309863f4379a66f00983fb45f1759e269","datavalue":{"value":{"entity-type":"item","numeric-id":2011206,"id":"Q2011206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538e59ed90f9b3ebe919402a69ee369af2b20c2e","datavalue":{"value":{"amount":"+0.8703048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$897EF63E-86EA-48C0-98FC-683DFA0F3B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9bfa0976beb5292215b4d131d2eafc8825fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5881540,"id":"Q5881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349e12819d7ffb0ba0227092faae7c9b7bdd197c","datavalue":{"value":{"amount":"+0.8699133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$6E79D3FD-8079-46BC-B92E-EC69CD0D22FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2350100e404b9f1a41404fb1300803d74a344e27","datavalue":{"value":{"amount":"+0.8679311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5370906$DE18BF86-9698-4AB7-AFBD-EACA9FAF8065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370906"}}}}}