{"entities":{"Q436411":{"pageid":438178,"ns":120,"title":"Item:Q436411","lastrevid":61815153,"modified":"2026-04-11T01:51:34Z","type":"item","id":"Q436411","labels":{"en":{"language":"en","value":"Exploiting step semantics for efficient bounded model checking of asynchronous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059158"}},"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":"Q436411$BFC18BEF-724B-4833-9BE5-14818D7F7F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ec75c88749210d4bd5238bd17b0eb88588215c3","datavalue":{"value":{"text":"Exploiting step semantics for efficient bounded model checking of asynchronous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436411$88E9752A-787C-4E8D-A004-F7245515A847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d948fe36e2aed57b3e5d779eb434de65efacf2c8","datavalue":{"value":"1243.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$E5B64906-0406-4F59-AA3C-65042D9D895E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f26cec6ae15659f313fff6b25a831fc933cba05e","datavalue":{"value":{"entity-type":"item","numeric-id":436409,"id":"Q436409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$D5ED3DD4-61B5-4AE5-9E90-D5274E6E6BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$6E1A9FB4-18E5-49CE-A6A1-1393DBFEF095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$445B4DD0-FE37-4490-A709-BAA74F087265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$1ACE352A-9930-415C-8572-88E69A8D0D07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-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":"Q436411$B69DFF5F-5551-428E-8CD8-9046663E0CA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$9A28F7E9-0E64-439B-8316-47E6A8F4630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$5EED6847-DBBB-493E-B25C-081975612EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$6566C260-9B6C-4E49-9FF0-ADB919A31D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542ee3be6d4fbb3e36fbf4187654b99e7fb9f0c6","datavalue":{"value":"6059158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$6EDDB66D-62F7-4D70-8DD6-BC3A7E2655EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q436411$CF47BFD2-66F1-4D00-8113-02318862D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2581399c087a2d328f393fcd73f8dd8a5e803ca2","datavalue":{"value":"step encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q436411$B65749E4-A506-45E6-89F1-4538A43A1A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q436411$B7F75354-38DE-47A4-BB0C-D4CA9632D66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1050664f45c7b1640e00827efd234ba9089a7c","datavalue":{"value":"asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q436411$0E1BCC32-F4DD-460F-82F0-4EBE9C1C7D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q436411$71482CEA-EB88-40EE-9ABF-0CA369EBC89B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"383f379d41e613b7fb77eb8ce321eb29796c91e8","datavalue":{"value":{"entity-type":"item","numeric-id":16001,"id":"Q16001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$0AD34BAA-2BAE-437E-9BE0-EC5106EE28E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36775e519793d9171689cd087c9a00c3267ecefa","datavalue":{"value":{"entity-type":"item","numeric-id":21794,"id":"Q21794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$95BA37CB-EE64-41DE-AE2E-492F406EF14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$57A8131C-821D-40E2-924B-9496B6B4DCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$F82909F3-4181-477F-8A82-DBEA7FBF5E2A","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":"Q436411$A69D00EA-7B9D-4CD9-92DC-35513B706C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$8F1593C8-A128-4FD9-A3ED-AD7B24B7884D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$43D9E4AF-6150-4022-8904-FD27344B0BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$55475176-C854-4F4F-851D-321E5808EB92","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":"Q436411$E9BEDF45-752E-4916-AF73-9BB8C72FEC21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8f2f4b754ed612917b6d76742d50401bdb7167e","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q436411$3F7716E5-B473-4947-B42D-5687582E1F60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb7c7bc923e81939dc58fdb8e29e5cf6f6cd4a54","datavalue":{"value":"W2004728613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$4C2A45AC-0E32-4F53-8C85-D54B38F2FBE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$6C8DBBC7-7A0D-40C3-8382-C639BD2A9175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$2F97086C-1B41-4C57-AE71-2209962A665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$A6ECD665-153A-411E-A2C1-EE79DD71FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$C74D0D63-D437-4435-9E73-CE15A8C9F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243db8581ad61cea77b50b3faf6ed15776b4d7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$5ECE7BC0-5ED5-44F1-B2BF-41FB8BEB3A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38aa065fcb645375906b0784737eaeaa5507ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$EF929981-6F9A-4031-9C39-6293834221A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da915b77d12dc5a351211b27e1a47272df4fcc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$ACE143D3-2B2D-46BC-8D63-C6E77DCF5800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7876e9d47186d2ea653607d8917f988f4ce159d3","datavalue":{"value":{"entity-type":"item","numeric-id":5394178,"id":"Q5394178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$743675B1-307C-4325-A243-A008114499BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3353353081ea1e5f4a8b796e9441f078c6acb407","datavalue":{"value":{"entity-type":"item","numeric-id":2845508,"id":"Q2845508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$CD444FA3-3A56-4657-B66D-82A568B5D391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$781B1AC4-F1FA-4036-848D-29078DCB279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$28EF407F-FD57-4CC0-9536-07AB8992EB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1832af154dcf33c51704bd49a8c1c8247b7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3656881,"id":"Q3656881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$0F368BB3-CF35-43EA-B2DB-9AF9B49C405B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$1E7CAB86-785B-42D6-90D2-F8CE3E46A17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$2E162BB1-5331-467A-BD68-C381FDBA5500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedd0783e404a9886f63e24289e5cccf7b96c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$4A0137AD-FD64-4F5D-8387-2AE4E4E04BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4eab86dc21504526d3d070c41ee51a25788b51","datavalue":{"value":{"entity-type":"item","numeric-id":5429320,"id":"Q5429320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$28BD4E17-53E5-4DD7-BD72-A8F7B0C2E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb87e0fd6ab10a8f35cd44c38a5392aa00468b","datavalue":{"value":{"entity-type":"item","numeric-id":5444944,"id":"Q5444944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$3153E2F8-64CB-45DD-B705-085827336CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c468c5df999a5df8b9ca61276e57be905929fe","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$AFE866E7-00A2-44D7-AC49-40BBBAF051F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c072ab4b0e206a8b51d264970460e62a3d4ab6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5505561,"id":"Q5505561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$EF521206-ADF2-4661-AC3D-48D401F71755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$9EE55828-17E4-41E9-A0F7-31493138EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$04FA646D-BEFE-4A15-9A12-B0A19FBC4F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436411$577058E5-ACA4-4359-A471-7D2E4C4E4C49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67b684fd07934608b613993e62a06e6d31e3ce07","datavalue":{"value":"10.1016/J.SCICO.2011.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436411$0670C9B2-574D-448A-B49D-CD2A391C292B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95616bbc24cf032e40e2ea18226d60ed5e491a76","datavalue":{"value":{"entity-type":"item","numeric-id":6535338,"id":"Q6535338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031ac4df08aa4b22f24c26d1a8d568c0f655394b","datavalue":{"value":{"amount":"+0.90473044","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":"Q436411$8D868BE8-0D9C-4778-88C3-E9C6626C7C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d28aa0b660eb9729e912b497df1902b521e1577","datavalue":{"value":{"entity-type":"item","numeric-id":5716600,"id":"Q5716600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbc07f83fd519cf9c254874fd77a48de79c7a13","datavalue":{"value":{"amount":"+0.8917245","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":"Q436411$177E4EA1-EADD-4B74-8496-600FD311D0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd8cb04b907fbacebed7e6781f04ca62833ed30","datavalue":{"value":{"entity-type":"item","numeric-id":5900669,"id":"Q5900669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538550ef308d54385bb9a1bac7fd252293939b53","datavalue":{"value":{"amount":"+0.88987374","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":"Q436411$27949DA4-7053-4679-A1AA-08FE86AA437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa7c331b19da7a86051c76472550d064c2ae593","datavalue":{"value":{"entity-type":"item","numeric-id":5758137,"id":"Q5758137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799f297398bbd93dc4aa28b9a28330f1d619dbfb","datavalue":{"value":{"amount":"+0.88887286","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":"Q436411$0AECA0A1-89FA-4454-ACA7-D6531BDB0444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abcb8c73630308ab9f97c9449a86fe0027673215","datavalue":{"value":{"entity-type":"item","numeric-id":5280793,"id":"Q5280793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1662703cd0f8406f204d83f955d9130084be3e1c","datavalue":{"value":{"amount":"+0.8888261","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":"Q436411$0B31D438-50B3-4CCF-9AA7-27C0092CE9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070900cb1ccf70941d6282e43613f19432877cff","datavalue":{"value":{"entity-type":"item","numeric-id":3648712,"id":"Q3648712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4202fc41aad910b1a7c7524c71e64b85c3687b42","datavalue":{"value":{"amount":"+0.88830817","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":"Q436411$54265B5E-BD5F-4D84-982A-8C355F7F93AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting step semantics for efficient bounded model checking of asynchronous systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_step_semantics_for_efficient_bounded_model_checking_of_asynchronous_systems"}}}}}