{"entities":{"Q896913":{"pageid":898761,"ns":120,"title":"Item:Q896913","lastrevid":65171592,"modified":"2026-04-12T00:47:29Z","type":"item","id":"Q896913","labels":{"en":{"language":"en","value":"Parameterized verification of time-sensitive models of ad hoc network protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521249"}},"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":"Q896913$99A44AC3-B287-416A-AB0C-4DE3DA2B34DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3667128acae3ed8fb684a4f7190481de149e23c7","datavalue":{"value":{"text":"Parameterized verification of time-sensitive models of ad hoc network protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896913$68D29961-D958-4812-BBF0-55593D2848D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"881677587c98473c4d005abece795d88d7c045c0","datavalue":{"value":"1332.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$8EE1714E-9112-4322-9823-5DFEA3D280AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$A8C150FD-2213-46DF-8ED9-B56C73C6FA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$88A4A6E2-7F11-459D-B6C0-8692A37DEE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfb9c712843ff4e303f6bb4d81c2bd705a42e62","datavalue":{"value":{"entity-type":"item","numeric-id":479841,"id":"Q479841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$F1A4EC44-289D-4A42-B773-BE15980D170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$33D099A9-1D87-486A-AF91-C10402FA0BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"363b156d3c017675e2d7b58adac2831510a47f39","datavalue":{"value":{"entity-type":"item","numeric-id":896912,"id":"Q896912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$2BC18D1A-C60B-4B15-A33D-88F6957CC374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$CA32A3F7-9B7D-42F8-9747-8B02202428AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896913$BE9C9D97-7524-4057-A5FF-F395534EB581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$1865E341-22CA-4341-97BB-4B7FA4548793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$8E46BA34-2380-4787-B6C0-A976BD1F86BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$D357FD03-6141-4F9A-80EF-13229D41A95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$A45AD2B8-A1E8-4F3E-9BDC-D678D8C58E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e5b280dcce6950882da5f40318c5f9879b78f8","datavalue":{"value":"6521249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$E5E5ACE2-98DA-47F8-B486-58C4EDC53C93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$B3008D49-721E-4609-BC07-FF21427467FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$5FBD4E7B-A2FF-498C-B133-F1576E0062EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3033d3fa26fea98788977b7a7190351af9ca645d","datavalue":{"value":"ad hoc networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$156DE659-DC89-4C6A-83D3-BD0DDF596AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$CE2E2087-0A68-4AAA-AF3C-BF95FF69B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$276E28EE-9AC9-4261-B090-64F57661B84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q896913$170030A5-17B4-42DC-9AF7-B1FCC22A2CFA","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":"Q896913$4C032A1A-9C30-4BE8-8E9D-C43F249A8A58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0ff194aaecfd7ee0caba395f41c31b4dbabadb3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q896913$6772AD78-9781-4255-8020-D453E162ED1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72fc7bece05401192e3f220d6042432cd7024ada","datavalue":{"value":"W1190524203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$E9437314-1063-4D75-B02F-EE3297BA6B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb1cd7b26c2aad03b1739ec12d7fe628f2c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3172855,"id":"Q3172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$5BE3A10E-DE64-4A3E-A720-1FDA52C7BFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$3D6E435E-4768-4B98-BB90-28E11F9E1A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$BFCB1359-AD43-4CEB-83BF-A2B7DBF1351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$61E58E2E-62FB-4159-B660-74B7D5B53733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$E1D9AED2-2C15-4706-BD2C-161AF6A4B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a158730f6e02e9f55102d6d5a2fcea6d7b6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3190124,"id":"Q3190124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$CDD4C004-6E47-4B02-9519-A8BFF69BAD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$B63448F1-BDDB-4F54-8BDE-4E96C8025DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a58771e6abafe9728c545d980c92e6b739e0acd","datavalue":{"value":{"entity-type":"item","numeric-id":2957507,"id":"Q2957507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$590E4B6C-FB0E-42B4-8844-121592B100F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$1160EB18-C76C-41C7-AAA6-DB39B01F4017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2eaaed127f92f45fa3ab8862f487c4abd56b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$8C893FB8-6A5E-4822-9618-D84F8BC67729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb0a2baa482a2c4936cd901a76000390bf83b26","datavalue":{"value":{"entity-type":"item","numeric-id":4910461,"id":"Q4910461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$FB9A6BCD-4DFB-4342-AD88-F3F7F56BB181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e732ac24fced24328d5e2eb0ec178a3b48efbf","datavalue":{"value":{"entity-type":"item","numeric-id":4020706,"id":"Q4020706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$4658EF2A-0C3D-46C0-A27D-D31C02F27775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$6012399C-37A9-4D7D-BD23-B49279AD4268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$A00D4604-8C80-4E86-BE2B-86C6C83D1C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$16990A97-7F49-456F-B8A7-DB6F9914A368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$86A5C302-1B84-46E7-B1A1-239D6F30A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$4EAF176A-DA11-471A-BA64-FD9EA87350FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83301894776a489f57b22f982b08bebb5417e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3400923,"id":"Q3400923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$E4442E1E-392F-45C1-9B23-2F960E2129E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b370defd89c9ca31194407808262be76a63ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5458318,"id":"Q5458318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$A351407B-D582-4E73-A025-D0915CED895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9565b600b0422abdcdd0e2dda0dd2567b239bb56","datavalue":{"value":{"entity-type":"item","numeric-id":3184703,"id":"Q3184703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896913$FC693D1E-70A8-4D27-988C-0A979D3ED257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55b73bc78ac1cda0630d52b27002e517aaf4f3c4","datavalue":{"value":"10.1016/J.TCS.2015.07.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896913$A23D1E68-BEDD-44E2-8D7E-7B4B157FF986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4040b53bd4678ce6f48108313f1204fbdd1cc2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3172855,"id":"Q3172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d748651fb335bc951601e76436461da1dbc87137","datavalue":{"value":{"amount":"+0.9334814","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":"Q896913$AE58EBBC-5233-4EE3-952A-F73BB73F90AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f59bd3e7fa49a7c056d89335cae8826b9140836","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60733e12daa17eacdd1d1dc981fa1971fce85c7","datavalue":{"value":{"amount":"+0.9314364","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":"Q896913$B50427B9-7FAF-4476-A0B9-CAAA757F2876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb296091f43e2c0e0c1c9851fcbdf0e72042b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1688557,"id":"Q1688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d586af35baa8f0a92bc85a53f399878ae2b98084","datavalue":{"value":{"amount":"+0.9042468","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":"Q896913$381D05EE-3754-40CC-AB67-4E818BEB15E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db74fb2c8d6ed33020a3ff1798e8afee6f928b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3184703,"id":"Q3184703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349ba51a8c9572a1e51b18aa7271177788e769cd","datavalue":{"value":{"amount":"+0.9033974","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":"Q896913$D3334AFE-4B08-4A16-B41B-E43C53E5CBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af13af6b941ac0153e5ca510fe3629e0460cc9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4426382,"id":"Q4426382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16675998fa16a878052bd6eec526ee439715a9f","datavalue":{"value":{"amount":"+0.90185773","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":"Q896913$EE593B70-0534-4279-B67F-1007CC5C2A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ca72b8875e3dc9ba63b6bea6dea98bc9b411c8","datavalue":{"value":{"entity-type":"item","numeric-id":462483,"id":"Q462483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224ad8f4bbd32ee678b76dc54a44ebb8db433ef0","datavalue":{"value":{"amount":"+0.89172536","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":"Q896913$B582FAC4-4544-428D-B7E3-32F494012DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53077b537d72c6edc344ba0d3f0e5c9a85b916c0","datavalue":{"value":{"amount":"+0.88723445","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":"Q896913$361F05EA-9D31-4DD8-933D-87AA5C16C7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcfa935a298f514cf1246c5808b9bbf816a89f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192219,"id":"Q3192219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d689db28ae8ba8011a5f62fc1910f09f5658bc51","datavalue":{"value":{"amount":"+0.88242316","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":"Q896913$C3F350CC-2F25-4101-8AA9-71BEC23E2610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ea8933639a0e37b1d2bae65cbacfcfdeafb62a","datavalue":{"value":{"entity-type":"item","numeric-id":2324224,"id":"Q2324224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39f36b33a5858f28696dc7cccc42f72bd906252","datavalue":{"value":{"amount":"+0.8809896","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":"Q896913$865E41FF-705F-4EDE-B320-15BE30E2846D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized verification of time-sensitive models of ad hoc network protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_verification_of_time-sensitive_models_of_ad_hoc_network_protocols"}}}}}