{"entities":{"Q658669":{"pageid":660518,"ns":120,"title":"Item:Q658669","lastrevid":51413939,"modified":"2026-01-18T03:31:04Z","type":"item","id":"Q658669","labels":{"en":{"language":"en","value":"Verification of consensus algorithms using satisfiability solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6003849"}},"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":"Q658669$92AD0847-7ABD-48E6-9C41-5A96D5A54DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fec471e843c7e1f013955167956756aae1e68db8","datavalue":{"value":{"text":"Verification of consensus algorithms using satisfiability solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q658669$69172408-9A86-48A1-AE85-BA113D4111BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27fb3478d7e663f4e7873c0e6c3e46f800899fbd","datavalue":{"value":"1231.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$EEF8CD7A-0FAD-401B-A849-ACEF47DB2DBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f36e985f30519ab01216432fe7411613449b9c2","datavalue":{"value":{"entity-type":"item","numeric-id":658667,"id":"Q658667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$ABCD018A-4F81-4344-B45C-F276F47CDFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1443d8d949f26842c4f071413ce6fd19bce612c2","datavalue":{"value":{"entity-type":"item","numeric-id":658668,"id":"Q658668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$0B07808F-E644-438F-AD0D-C2C9802C021F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$C2F55A53-9280-4EB0-8259-416E50D7CB62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e9e5793c5a98ccc48a92da808dae739eb35e3fa","datavalue":{"value":{"time":"+2012-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q658669$3A74DAE6-0692-4C46-B640-0F30BD3B34E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc7f41f4c5f9a4c27760d30affc211119c219bcd","datavalue":{"value":"http://infoscience.epfl.ch/record/171619","type":"string"},"datatype":"url"},"type":"statement","id":"Q658669$CC0279C8-7681-4856-8153-88117C8C8758","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$3354EF37-3FDB-4EBF-A32E-09429E540A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$7914A553-A309-4050-903A-77D251F49174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$153EA797-D1CA-4F6A-941E-C55152B47661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57e9d309dd142531ab824e84e1698addbd0ec0d9","datavalue":{"value":"6003849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$609229CD-2160-4EC1-AD2B-26419389A1B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a8123e7a0b796874785ed57aca2abe77b15efd","datavalue":{"value":"consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q658669$156729F1-FD74-4E89-B7BE-C9C0BD032494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q658669$44618C56-71A7-4149-B10B-8AC99EF68BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb51b3bac83b115501e684a369b2c4e89c144ae","datavalue":{"value":"fault-tolerant distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q658669$4CB75396-C905-4AC3-8243-DE45BEA9E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q658669$88EBA057-0465-41B8-A21B-C5C39D7F7DD1","rank":"normal"}],"P1463":[{"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":"Q658669$26344524-F0A6-4A84-A4E8-2A58A1D58DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$3F3AE26A-E19F-4BF8-B607-302970FCFB09","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":"Q658669$747112D8-4A46-4142-8CD7-CBC48E54B527","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77b6b94c6a117bbea43b2685a7a0be314902fd3d","datavalue":{"value":"W2046131303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$D3D160E0-522E-471A-A416-F29CECBD7F76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca108e30c3fc907c7296b226db780f8d8292dce7","datavalue":{"value":{"entity-type":"item","numeric-id":5716583,"id":"Q5716583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$F9794753-272F-4EFA-9CE3-01682524F1F6","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":"Q658669$78077626-5855-453F-8A0F-2FE80D6A5FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b2ff660052bcc3951024ec2f1eee7fb3a43ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$F3DC254F-7546-4240-AA55-506B8DF664CA","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":"Q658669$F7D29133-1065-45F7-B89D-BB61ABB318C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$F688F04A-DC96-40A5-8719-798403FB2007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$8D37A2D6-A2B8-4E7B-9D43-BF29FBA25B88","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":"Q658669$CD94A045-27F6-4991-8534-93F2981DBB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5737eae5a9d5daa72060f660d9134c03a406fec1","datavalue":{"value":{"entity-type":"item","numeric-id":2790109,"id":"Q2790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$D8A5FFDE-7958-48DC-8BEE-23EFA05F8578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08be8d30abc711ce68ec8460f53ced3b7fb82173","datavalue":{"value":{"entity-type":"item","numeric-id":5897957,"id":"Q5897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$EED7F595-9917-4CB0-BCD4-17A818594D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d24510f2a7b6eade745db876a78cb45d8d1848","datavalue":{"value":{"entity-type":"item","numeric-id":4422079,"id":"Q4422079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$BA8B5DBB-35F3-4637-B7DB-63D83031FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1c0bf45a94eb17ba9463d772e2cdda4555e240","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$78486546-79E2-43BF-AF2A-73233DD77E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b518794232dd0a5121abdd4917f346fc1a37e986","datavalue":{"value":{"entity-type":"item","numeric-id":1954195,"id":"Q1954195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$9F05D1F6-66EB-430B-A1D5-7C55BB225F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$788CA2B8-4A8A-4FFA-9BD2-E775FD84CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$2263C02B-776E-422C-AFD8-D1FEC565DD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424f4e86dfdbaf0a14260910f5a6afbc0a2bc78","datavalue":{"value":{"entity-type":"item","numeric-id":3540251,"id":"Q3540251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q658669$CED4B221-618A-4B22-92D2-F85359D05FE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5274ee3991a199a68a29496e2324fda703d9cb","datavalue":{"value":"10.1007/S00446-010-0123-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q658669$7C004643-4C66-4C35-97C2-A7C72835B81A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f3cbdbfc5bcc589e63bdb2c96fa0347a405df5","datavalue":{"value":{"entity-type":"item","numeric-id":3540251,"id":"Q3540251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e20d605a0194269b5a1e1a37c5cbd7fca2728ff","datavalue":{"value":{"amount":"+0.8720042705535889","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":"Q658669$D9157678-7502-4616-AA6F-4B1A9862B491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400daeba872d01174f63c096f657979ecca7b403","datavalue":{"value":{"entity-type":"item","numeric-id":2281632,"id":"Q2281632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e508b8cb31c889e6a0af661086f030eeb9cc04a","datavalue":{"value":{"amount":"+0.7738690972328186","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":"Q658669$BEB869B0-762A-4EED-BEBC-FFDD827827BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf75666767ce362a3efaaba34ed275ce92616a66","datavalue":{"value":{"entity-type":"item","numeric-id":3386298,"id":"Q3386298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2539c589fb89e6f2ba45588d9f80279cea099a01","datavalue":{"value":{"amount":"+0.755756139755249","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":"Q658669$5B55B35F-672A-4850-8A63-C047F7825740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e486acaa1bbc513587170d97c059342864ba6609","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30bad7ce54f83a5b09cdece6beab54a547d2350","datavalue":{"value":{"amount":"+0.751286506652832","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":"Q658669$49150BD6-FE09-431E-B52D-D1189A2461BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0936d076ccb4743f9f74af4133272ada9c96de7e","datavalue":{"value":{"entity-type":"item","numeric-id":4229413,"id":"Q4229413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2a29fff52ae9530fd3dea7c73870d78ff4fb1a","datavalue":{"value":{"amount":"+0.7461732029914856","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":"Q658669$42674A4A-EC3E-4648-8AE1-E55A6FB77F01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:658669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:658669"}}}}}