{"entities":{"Q1688557":{"pageid":1699298,"ns":120,"title":"Item:Q1688557","lastrevid":72516561,"modified":"2026-04-14T05:27:23Z","type":"item","id":"Q1688557","labels":{"en":{"language":"en","value":"Modeling and efficient verification of wireless ad hoc networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6823125"}},"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":"Q1688557$66746242-3D20-4E25-AA33-02E0E07A21BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96b2b75467660028d6f336325fc56b85ad1af02e","datavalue":{"value":{"text":"Modeling and efficient verification of wireless ad hoc networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688557$42E3ACE0-10CA-4820-B71B-C3E10D26B47B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dab34e7a86d0c7fe43a02b59d17a0bad019df8a5","datavalue":{"value":"1377.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$CB4BB04E-52D3-4FFC-93BF-2BE17448AA29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c87b73c4780f161156cb75e7f4417419517b377","datavalue":{"value":{"entity-type":"item","numeric-id":1688555,"id":"Q1688555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$244EAB53-BDD8-4892-835F-B40F58D007E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"385b211e0e41e7d5adbbc176626343fac3947555","datavalue":{"value":{"entity-type":"item","numeric-id":549192,"id":"Q549192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$48F8F6A2-7F24-41AC-9261-1CCE49AF948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb2c98cc48d92198de150905693a5e5a9a27f57a","datavalue":{"value":{"entity-type":"item","numeric-id":1688556,"id":"Q1688556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$80EE7899-9794-4F56-84A3-CE77928BA4E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$4438227A-D13B-4BD1-AD7E-6E0B06C491BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59296522954f8d459370efc0222ca77af7f0a85b","datavalue":{"value":{"time":"+2018-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688557$8C664A7C-8279-4A7A-BA14-92348F31C88D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f06e88040967529715a08a6bde9101bc104c644a","datavalue":{"value":"https://arxiv.org/abs/1604.07179","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688557$3928B838-AE48-48AA-9F66-FA9AB5C986FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$9C9A4D51-29CD-46AD-B8B5-5F5F7A7AB673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$6C899721-1B6D-460E-A3A1-EE9B15A2680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$14EECBE1-DE7E-4837-8435-4D6CB8138C1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002cc921c8f1a053423cc84809b862f167526a49","datavalue":{"value":"6823125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$FB4FD6EA-D151-44E3-8A50-198F47B825A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f46d1dd2f6c2dc9a9950c89b43a392741a7374","datavalue":{"value":"state-space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$5EEC5124-7FB6-468A-B150-9180C3DA47EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0834b3f7073ece9258090b36f38f758b12ca190d","datavalue":{"value":"mobile ad hoc network","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$57D37E8B-9A8C-4997-B6D2-642985B1B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc9cef64f8716bd4346431ab1f1f65c06e9e514","datavalue":{"value":"ad hoc routing protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$F724C4D6-1D3D-4658-9A34-ADD304CB27ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c82d0cb08d89442462b0fe3cd24b6ddbefce7d22","datavalue":{"value":"Rebeca","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$2E338232-4C64-4903-861A-76ECB9D48E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf38b4e21ad18515f0535283788244d1d94b31a","datavalue":{"value":"actor-based language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$442630DB-A25A-433C-A70D-846C04F1C8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688557$7B93A3EC-891F-4A69-9CCE-5E041C38EE55","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":"Q1688557$57888718-A396-421B-8C0E-A2C0C7BACBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15c4f701c2c17153112db435dc7487190583b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5973607,"id":"Q5973607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$C6FA6432-367F-4538-A0A1-E2201B5772C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"696f112b890c500979606d59dbdcb375105eab27","datavalue":{"value":{"entity-type":"item","numeric-id":15523,"id":"Q15523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$E0840A4E-5FDA-473D-AC20-C02352A2A479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2de592e7c332d7c936ca6697a09b20d0164a7954","datavalue":{"value":{"entity-type":"item","numeric-id":21405,"id":"Q21405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$B2D7504F-6409-4EFE-9B23-C8CAA08F97EC","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":"Q1688557$E3B1C95C-1CE7-4555-9306-822B8E77443D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"076a5ceb57243dbd0fb072ce5cc08ca263eb5424","datavalue":{"value":"W2964176225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$9F1FCCE9-3B67-4D34-AC41-3E6461849022","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":"Q1688557$57E9A3AA-5EDC-4FAA-8E51-E5A0800D75EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0b2fbfd352688d54303eea6a26f058ae25545c","datavalue":{"value":{"entity-type":"item","numeric-id":324632,"id":"Q324632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$4CE6443A-97A5-46E8-9904-1E25F5587E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ebe723bb29643365fb5601b12d014ca86dc43e","datavalue":{"value":{"entity-type":"item","numeric-id":845239,"id":"Q845239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$F4654849-1D1E-4EB5-8DB9-51EB1BDFBA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ea2b9048ad13e50f539ecaa21a881c1e3612e6","datavalue":{"value":{"entity-type":"item","numeric-id":3095234,"id":"Q3095234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$AB769C2F-D822-4E71-834C-2C838429CC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"260bb1ff4954a6e9d3d53bf618e90c86debbadaa","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$6F3A4836-DBC9-40AF-8803-AA1081A33791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315091f05ffc01f55496b96ef6a81fafe970c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3455541,"id":"Q3455541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$EAB321A4-5F5A-4141-9BAD-2EE1A7553650","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":"Q1688557$385E388F-04AB-467C-9029-F4364C6C4034","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":"Q1688557$853DB3F7-3C24-432A-90A1-25CBA97E19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3b246f171d64dd343afae5b27fc203d245679","datavalue":{"value":{"entity-type":"item","numeric-id":4934334,"id":"Q4934334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$BD0D4896-AA6D-4C26-8F7A-A976B5C08B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beb81d7321b654467d2d86f641d805b3cc3d49c","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$C6BD1778-AB34-404C-891B-51934A4EBF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594bbe0de00808e165e0f6c0bb86088b61a969f0","datavalue":{"value":{"entity-type":"item","numeric-id":2892733,"id":"Q2892733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$EA9788C1-7203-4098-B09A-D7B72FDEB9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbac25dd1f25134b62f5c050197362816238db3","datavalue":{"value":{"entity-type":"item","numeric-id":2948247,"id":"Q2948247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$3D494B2F-35F4-445C-BE74-A126C2DA5780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b078c5d788ff0849c5bc9fb7c4909d9c7a76bbad","datavalue":{"value":{"entity-type":"item","numeric-id":549194,"id":"Q549194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$343C2A47-CDEA-4FBA-94F2-2036D27517B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d901782a5abbe36ac8a405a32d3d3554a95b77","datavalue":{"value":{"entity-type":"item","numeric-id":3634642,"id":"Q3634642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$5C7847AE-E012-4567-8E48-D5755517089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8437853d077a4148eaa989d380ae787789d492f6","datavalue":{"value":{"entity-type":"item","numeric-id":5170671,"id":"Q5170671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$820ECFCA-4E9A-4BA0-A130-4728A2B76A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$5BBA9427-5612-4366-ADD3-DD6E42937E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39a0d3cdcf924d63ef86a405ad03c034bea05b4","datavalue":{"value":{"entity-type":"item","numeric-id":661062,"id":"Q661062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$E189E81E-BC8E-47DC-B385-5F0336239A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0032a5b4384af7cb1f9f36172066db01432392cc","datavalue":{"value":{"entity-type":"item","numeric-id":1012124,"id":"Q1012124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$5D281ED6-235B-4736-9CDF-FFF27557F20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7eb92469bed9865109c4666b7dead2d673110d","datavalue":{"value":{"entity-type":"item","numeric-id":2851331,"id":"Q2851331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$C5322182-CE48-4643-9FB0-4463E74803E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba43d90b6a6edc70e508b348ecb8505634a0cbb","datavalue":{"value":{"entity-type":"item","numeric-id":860908,"id":"Q860908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$E18B971A-2C95-4C69-BC81-8EC7D3A4CE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb7cb075a2b50ee568cd2888f27995caee3fed","datavalue":{"value":{"entity-type":"item","numeric-id":491662,"id":"Q491662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$1E73FE8E-6C98-4200-86AB-00CD2E312C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef704b25a56efa5b64e7d48076eb438fae5430f6","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$49B28858-3AB3-4AEE-AF72-3D384FDF9782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$8D0F3143-C3DB-4108-9E05-FDA287AE145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c5ba55b8944f10174efde164913cd275f94c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2948237,"id":"Q2948237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$2C7C4DB8-912C-40D7-9EF0-4CE5D5408091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e59eb46c173b6e2b7279f895900b5fa92af7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$2C9864DF-BAB1-4A7F-992D-7C877F4AE8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b636d9c045c8aeb7117d84fdc171ae3d9cdde6b0","datavalue":{"value":{"entity-type":"item","numeric-id":967528,"id":"Q967528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$7E209763-93C0-48B7-B50F-C4E1954BE576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fbe83550a3b00d847134d927cb5e053269a29c","datavalue":{"value":{"entity-type":"item","numeric-id":988163,"id":"Q988163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$990A7AB4-B296-449D-BDE5-F09DAD885844","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":"Q1688557$D97CBFA9-EC6D-4E2E-9A75-9F2D04539771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$8E19907F-4D98-4D8D-B0D2-2421029F906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5acb764049d09932cff4d1ff99faa80c3f6e08","datavalue":{"value":{"entity-type":"item","numeric-id":5464480,"id":"Q5464480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$91CDB5C5-12DC-4309-862A-9EEA5A6D2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1be4901290a299c1f83dc764a4fbc1ad2ed79b","datavalue":{"value":{"entity-type":"item","numeric-id":5479153,"id":"Q5479153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688557$0AB1D921-D4F6-4588-AD24-589941FC8346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0c5adaf174ddb45db3f75867e013c06e0d4a989","datavalue":{"value":"10.1007/S00165-017-0429-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688557$715FDEE2-B79C-42BC-AAD2-9B97AA188DE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5f3fc20c4eda60749cb27f0d70e7096cbdc85a","datavalue":{"value":{"entity-type":"item","numeric-id":3628490,"id":"Q3628490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccecd77b7b4354d7d71bf4100b3e2a509bc69dd5","datavalue":{"value":{"amount":"+0.8328931927680969","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":"Q1688557$8722EA74-7198-4D24-9129-8CA7508C9A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5653d28114cffd542f261edcd79aef20758e8fc0","datavalue":{"value":{"entity-type":"item","numeric-id":2945136,"id":"Q2945136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a95693a8a3bfbe2017726d0b298f35a866de88","datavalue":{"value":{"amount":"+0.821954071521759","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":"Q1688557$BC0AF319-19FC-4EAA-9991-94C72BDE7B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e4dadba8df1fb9355e9a94b9460808ecb8c21d","datavalue":{"value":{"entity-type":"item","numeric-id":730472,"id":"Q730472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc029d8aba40b1c8e824303b6838ddd7c791e85","datavalue":{"value":{"amount":"+0.8033021092414856","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":"Q1688557$D3E92FA1-4603-48E6-BBA5-2A8929B01719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d8c069f19d3843d2ecc8b3b4b0e808b4f13c031","datavalue":{"value":{"entity-type":"item","numeric-id":2363813,"id":"Q2363813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0113e0a13bb3ea6a0d607dc4dff1a8b7e9079af","datavalue":{"value":{"amount":"+0.773949384689331","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":"Q1688557$D392DA39-2BA9-4754-8A7B-D22FE2527D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b17b47bcd3c5985d966f6f6c1865e773afeb06d","datavalue":{"value":{"entity-type":"item","numeric-id":324632,"id":"Q324632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756210744165cc56fb2a02124e45d6974cda475e","datavalue":{"value":{"amount":"+0.7700806260108948","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":"Q1688557$440299C8-005A-4C2F-A499-1A3DB30F6E8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and efficient verification of wireless ad hoc networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_efficient_verification_of_wireless_ad_hoc_networks"}}}}}