{"entities":{"Q3540251":{"pageid":5570155,"ns":120,"title":"Item:Q3540251","lastrevid":50499506,"modified":"2026-01-14T05:25:41Z","type":"item","id":"Q3540251","labels":{"en":{"language":"en","value":"Using Bounded Model Checking to Verify Consensus Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369565"}},"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":"Q3540251$AE3E4E1A-0AC5-44FA-BAA5-BFC6C322CF74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c473defee93352917c6e6e921876ebd710c30b3","datavalue":{"value":{"text":"Using Bounded Model Checking to Verify Consensus Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540251$55CBBEA5-B80A-4E7F-B0F1-A8F814DC3E2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7e96e231713f037bac05f57ab1a4df99828e4f2","datavalue":{"value":"1161.68586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$03BFAFD6-CA8C-4AA6-A128-AC53F48941FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dcb244ac3e8cc1dce42d6bbd1582dbcbf6b6a7d","datavalue":{"value":"10.1007/978-3-540-87779-0_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$ED04CB3F-062A-4603-BD8B-046C543B52C8","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":"Q3540251$2B96CD95-64D5-4110-A98F-D2B11B773CD5","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":"Q3540251$0B5DD24A-14B2-4EA5-A7F3-D854B8CF1244","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540251$6C0AF14C-4AC9-45BE-99A0-076AAE4E4AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-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":"Q3540251$9C0A9A43-F3AA-4279-80B0-FE8515BB9F7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11bee93f06a2f8d0f73bac90b66dddb498a68cbe","datavalue":{"value":"https://infoscience.epfl.ch/record/125637/files/TR-07-2008.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540251$B4CFCB93-695B-49A3-8A55-F887BE69F8ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$67C5B345-1F29-4B4C-8BDD-D9D71DEC9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$5177E2B5-25DC-4898-8934-CF1F4897F5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$D4480358-D763-4499-9EB3-E4FA6EFC606A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a377f56f6187bb033fb0d4ccd8a6d1efa4cab221","datavalue":{"value":"5369565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$E1EA8DEF-C5F6-4003-960D-FE5D9A005F63","rank":"normal"}],"P1463":[{"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":"Q3540251$0FCBA999-AF04-426F-A093-A06BE053DAEF","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":"Q3540251$8EA4C21F-6B75-4F37-B9B9-03E60C1E9601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d790d97a10bcd0699be67aad5e0838e28d763e0","datavalue":{"value":"W1681015847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540251$94CED6CD-577C-4915-8FBE-D7B78BB14850","rank":"normal"}],"P223":[{"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":"Q3540251$9DE79940-7F5C-4FE0-B129-EF6EC62D94EF","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":"Q3540251$D699738A-CC36-4965-BCA4-4F80DC5CC885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbe72f6114be782f7597c0d7cfa88cd12473915","datavalue":{"value":{"entity-type":"item","numeric-id":5138480,"id":"Q5138480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540251$89AEA12C-C3AC-4E7B-9B1E-671C79D107AB","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":"Q3540251$8EA27107-2C64-4811-A245-D6438385F183","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":"Q3540251$8509238F-E597-4B83-9959-5E7FE579A28A","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":"Q3540251$137928DA-7310-439B-884D-81F95904B417","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":"Q3540251$525DA7CF-D808-47B3-A304-945F4461D8ED","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":"Q3540251$6737B1FB-BDAD-4524-BD3C-048D8A545DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e6ac7b877322271361cb473f7d5c73769abbb9","datavalue":{"value":{"entity-type":"item","numeric-id":5096164,"id":"Q5096164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540251$BE31CAF3-2207-4609-99D1-C3F7A1E79CF3","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":"Q3540251$5C21679C-D236-4325-BC98-576EC722F726","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":"Q3540251$9F2A76FD-1FC8-4DF9-9539-EBF9A8646C30","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":"Q3540251$D1CF283E-F7B3-4EED-87C8-9C4FD9E3CFF9","rank":"normal"},{"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":"Q3540251$C7725A65-0114-485F-90CB-1755C669FF91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48732471fe95c3c99050ff5055e8f69aa67ebc9","datavalue":{"value":{"entity-type":"item","numeric-id":658669,"id":"Q658669"},"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":"Q3540251$68272142-71CC-4B70-B923-E6A4CBD64960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db482a3e2bf68a5e65bc6fa626462e153f129d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4757462cb27174503d9a6e15221186f1a28a4d0","datavalue":{"value":{"amount":"+0.7857692241668701","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":"Q3540251$AC9C3579-1A11-4F1E-B733-7CD8E07D4249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f8cc6f7495dde4c3e4600dfe060c241e81ea2b","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14e7af02a124c91008f9f539f3b11a0d965451e","datavalue":{"value":{"amount":"+0.7805777788162231","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":"Q3540251$206E3954-4DDF-4C84-BB39-B5A92A8E203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54345c0048e272b6c8ccfbb01ead270980ce7eac","datavalue":{"value":{"amount":"+0.780177891254425","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":"Q3540251$43016DC6-3E9B-4EE3-91D2-27D8079B7F0C","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":"38b4b5af5e9ff659e3768019f71d39562f89d327","datavalue":{"value":{"amount":"+0.7799568176269531","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":"Q3540251$FD46AB7E-CAF9-4E3B-AEDE-3A73730DB6EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540251"}}}}}