{"entities":{"Q2197583":{"pageid":2208326,"ns":120,"title":"Item:Q2197583","lastrevid":78299300,"modified":"2026-05-06T11:15:50Z","type":"item","id":"Q2197583","labels":{"en":{"language":"en","value":"On the computation of counterexamples in compositional nonblocking verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242387"}},"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":"Q2197583$0FD11E05-BAC6-4F55-A400-02C4DD265EC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc770f7c5116da50570515cf2d150e10c8c4dd81","datavalue":{"value":{"text":"On the computation of counterexamples in compositional nonblocking verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2197583$A65F6B17-E3D1-4849-AF90-E603CF9B87F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b464e3fa9f5f12880fa5d8d42d1295aea67dccf","datavalue":{"value":"1448.93205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$220BCDF1-9CF1-4558-8C86-180EB6503B62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$3DD95F83-1EE1-402E-A032-C2FED3B95D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a706262969d030d597019b5318adb55bb32c8480","datavalue":{"value":{"entity-type":"item","numeric-id":351735,"id":"Q351735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$54A49EAF-136D-4AA0-BEBB-A666219908BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$5F220121-C823-4A39-9EAA-941624103DAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e1cb463f6f00f069b5885dafb634153655800c1","datavalue":{"value":{"time":"+2020-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2197583$7F4A3D1C-4FE7-4862-B360-EFDD5B65667D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bcb700b135f2b63f13533824c2f6a7808a1ac3a","datavalue":{"value":"https://hdl.handle.net/10289/13637","type":"string"},"datatype":"url"},"type":"statement","id":"Q2197583$81006260-48A1-49AD-A695-A4DAF1FEF416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$829630BB-149E-4B3B-B5DC-250F8CDACC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9be69d27a1a4e690818d0cc7f6b162d87e0db988","datavalue":{"value":"93-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$2BD1527E-3D2E-4A87-A342-A99E4D334E30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a786623cde48002abfae74d6d7005b5ce4586eb4","datavalue":{"value":"7242387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$426CEE89-E1A9-4AB5-B91B-1BDC3E6C317D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197583$7DAE75B4-BA06-46C7-8B1B-A46245EEA809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197583$C06D7A8B-D27B-4E85-8808-68C14831E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197583$6E4FC7AE-C15A-47A6-A4DC-07AD3D4CB726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4588dabd08163972eef8c79d1133151daf9e8f70","datavalue":{"value":"nonblocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197583$C9658DC0-3C1E-4B39-9068-89A2CBBB11EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80c7c1691b4311a8cc23e8c9cd73656481658885","datavalue":{"value":{"entity-type":"item","numeric-id":30383,"id":"Q30383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$6E16F86D-A820-462E-BB0F-934369EDA7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$D077AC8F-2BC6-424C-9515-F0E92046ABFA","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":"Q2197583$3E3B8D1C-27A2-41A1-A52E-FA03D038AAD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a7d9ba531e11e0905656844fd22759bf8c09777","datavalue":{"value":"W3008321852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$AB1E2285-82A1-48C7-948E-CCDDEAE67678","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$3246B1CF-ED8F-4B0A-A6FD-ADCB9EA3E06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$CEF10954-BCCD-4703-B12A-56A0BDDA3F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$926B3760-5D25-48C8-A2F7-B443C4E0222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$83A751E1-881C-47C1-B5B3-DBE6218FB35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814223f4bd4da30f448d5d1b2c41b51941fa97b6","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$CEDD7D56-4506-49DA-93BC-39815D9116F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$1C68D701-681C-4546-99B3-3246CC641039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$D5198194-5EFE-43D2-B2A4-3CE7A87933A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$382D8C13-7B69-4A72-B676-92B29B976469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$2E561AF5-991F-45CA-B2A0-90E84C577FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e76407dbf6417ecc2d7078267d9ef5214e71eed","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$70BEDDE0-F513-4D30-87A7-C524EA5AFFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$AD6DA57B-A8D3-42F1-A84E-0A2F54B4FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$F08BCF35-AFCE-442D-BA5B-BC356DAD95A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0e23938cf99e37eb42d33a1ece15862b42acce","datavalue":{"value":{"entity-type":"item","numeric-id":4974830,"id":"Q4974830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$411CA9C9-8E56-404F-95AA-66FA72BA4038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4366277a2fe4e97290661f51304ea6c2e2625","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$21401DEF-52EC-4291-B28D-D85C41BC7A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d0b075bda0d0026cd43113081ee7bfd1508dac","datavalue":{"value":{"entity-type":"item","numeric-id":4633153,"id":"Q4633153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$2A69BC67-300B-49CE-AB4E-3A56083ECCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cdd08d26a561b954951e9e6c37d85fbd540b15","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$90F94D78-EA9C-4635-898D-760E02C4E39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3220a91e5b1abcf24340a3cf6366436ab027aa98","datavalue":{"value":{"entity-type":"item","numeric-id":5168410,"id":"Q5168410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$42983364-7163-465E-8489-660FA26A386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9758e156a3a7371df8e8ae23fbbeab5ff3bdee1","datavalue":{"value":{"entity-type":"item","numeric-id":3773302,"id":"Q3773302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197583$A0314BCF-C4FF-4065-94DF-A6D8358EF8AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13cd87f40001fad086fb03185fca4677e87a9b5f","datavalue":{"value":"Q124844030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$A3DD90B1-3E8A-487B-A9B7-6AA1F2F8946B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef2ea83c56a6db50210b7294230b20d0f0059c0","datavalue":{"value":"10.1007/S10626-019-00305-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197583$04DAD5A1-C8B9-40AF-AF5F-A5C05D72D284","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d7f967faf9ada67efdc3f6a9753a12f622a05a","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8831fdb7bcfeaedb8093815f5cec8d1eb3ff3a79","datavalue":{"value":{"amount":"+0.9375926","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":"Q2197583$491F324D-43BA-4943-BCCC-03CEBA0368D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e972c052e22115b157b27f0544381743d683bac","datavalue":{"value":{"entity-type":"item","numeric-id":5168410,"id":"Q5168410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4e4089af689e47588c8f129cb8e02e06b1163d","datavalue":{"value":{"amount":"+0.9138802","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":"Q2197583$90625A7E-EF2E-4AFD-BAA0-A837F8B9E770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6d79ba80c25301b43b7209a8ab9685f8355d45","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df821b48581481ec294c9bcfa86e3e930701d177","datavalue":{"value":{"amount":"+0.9048976","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":"Q2197583$19843863-9617-41A9-8BDD-CF1E9135CD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4c2d31bedd4d37c446a8611d46d3282ef66e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83da19c2e01858567059048b17e4b8c9580d2b1","datavalue":{"value":{"amount":"+0.8942535","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":"Q2197583$C7C82963-A14C-49A3-86A3-E31C526D7C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554fe6a5642f31b3623c9474257501fc97ed5f92","datavalue":{"value":{"entity-type":"item","numeric-id":2151274,"id":"Q2151274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546496a50561a7c43a480ba69a9754f79e0213b2","datavalue":{"value":{"amount":"+0.89269793","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":"Q2197583$ACCB9668-468F-401F-8097-67362922C448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5be790e7816ec86e09689c49d99e38f949c2d7","datavalue":{"value":{"amount":"+0.8912873","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":"Q2197583$D29ADDAB-497C-41D4-96F7-10A71FF14B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041177dfd81c6c7c692e8e841f6dd5ee1ff3f9ec","datavalue":{"value":{"amount":"+0.88466537","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":"Q2197583$6A6378EE-3591-481A-AA21-FD6EB8F2F3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05a96e7770c73a39d17464df9a315aa5df5be47","datavalue":{"value":{"entity-type":"item","numeric-id":5716749,"id":"Q5716749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9786d6ef7cf7dec69d5997f1ea2b4764532ff7de","datavalue":{"value":{"amount":"+0.8805437","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":"Q2197583$3CA8A75F-D266-4A09-8F0E-CD20AEB190FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a537fc0a1e5caabb38b654317b6efccfe1f45219","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08039e78a856a8e8cc06ebb0d5cc0ca66b1f40dd","datavalue":{"value":{"amount":"+0.8801917","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":"Q2197583$CA203244-ECFC-4545-9B03-F7AF28609720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computation of counterexamples in compositional nonblocking verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computation_of_counterexamples_in_compositional_nonblocking_verification"}}}}}