{"entities":{"Q2948247":{"pageid":2958967,"ns":120,"title":"Item:Q2948247","lastrevid":52355396,"modified":"2026-01-22T10:55:49Z","type":"item","id":"Q2948247","labels":{"en":{"language":"en","value":"Model checking MANETs with arbitrary mobility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487509"}},"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":"Q2948247$305501B5-2846-4F3D-9361-3EB45FE85CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f047ed6139fe6f23527e3cd72064958a74b60c8","datavalue":{"value":{"text":"Model Checking MANETs with Arbitrary Mobility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948247$8574E6F8-F6E0-4987-B57D-9215AEB5EDD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f69f4a4e4d2ffa031d2c2278fc62898b03c5eb27","datavalue":{"value":"1434.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$4FC0CD96-0089-4664-B565-71CFFAA7DD95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4749611dce8a5680d28398fa7c9a7c85e3e280a","datavalue":{"value":"10.1007/978-3-642-40213-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$AAB66270-8E00-45A4-99EE-03AE8B0E72CC","rank":"normal"}],"P16":[{"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":"Q2948247$5D1AB095-5389-4C8E-A431-4EAB4F346423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e9d034ce7b07f3a0d4c4c7f7d4292451e63e720","datavalue":{"value":{"entity-type":"item","numeric-id":2948246,"id":"Q2948246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948247$24275897-E31F-4DFE-A26F-D4842CE71963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad69ab3ba9aac6a1b46027bca527d9afd64673","datavalue":{"value":{"entity-type":"item","numeric-id":549193,"id":"Q549193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948247$1C5CE1D1-302D-45E5-B0AC-4F39FB808013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948247$B6684CAE-9802-4C75-874A-3F85454B1F2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948247$B8CC8A11-1B23-4B27-9E1B-25825F8E7757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a02eff2a6739f20c5ba25ea9c06d2f02c0f4ac2a","datavalue":{"value":{"time":"+2015-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948247$0FFDBC12-05B7-4C6E-BFA4-3C7AAE503675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$2DDD3BF9-EAB2-4073-A427-6C2C874B993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$B3B7E214-64B9-4975-BDA2-4B461F312EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$8B943477-B718-4386-B49D-B080F717C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$86382CD8-37EA-4770-8804-4C812882C795","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9d9b9ce94481f4b3fb8bc511b142391fab7e16f","datavalue":{"value":"6487509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$AF70FF73-73AB-4E93-A416-154DF2EE94D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6a9b03664c2c4df45f0d5b5fdd582b99132683e","datavalue":{"value":"Q57835218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$6287FAE4-7A7B-448A-8E6E-58378F90B0CB","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":"Q2948247$552AA821-0889-4E33-981A-A9EFCD4264BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22044a9d93eaefe85fd58a302f6b56729c07dc57","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40213-5_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948247$19CA8D33-EA85-4F3D-B6C6-649DD5D8EC52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0a8d61db387a86ab26759113287eb85bcb8536b","datavalue":{"value":"W1907527420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$436AB6C0-FC41-4FB3-B4CE-A044CAB4C438","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"744b2132fe794ff6f22114993e3e0091a7fdc691","datavalue":{"value":"conf/fsen/GhassemiAFM13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948247$D00FBA1F-CE2E-4462-BC39-72B2D9C5A96B","rank":"normal"}],"P1643":[{"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":"9c9dd66d0f704748ce5f1ae3ebe1cb90d671ab3c","datavalue":{"value":{"amount":"+0.9447938799858092","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":"Q2948247$18F14DCA-11D7-4673-9BBC-3A900952892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689746f8472e33421e06cf765f5e3c93840aa45e","datavalue":{"value":{"entity-type":"item","numeric-id":549194,"id":"Q549194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1048f6f41450b5cb5b8ab1cb99e17a969caa0985","datavalue":{"value":{"amount":"+0.8172883987426758","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":"Q2948247$30B50014-8CC1-4936-8A8E-62D720D3E89F","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":"0a4db435a6a46a7bfe0a4a5bdf5f7e227faf4484","datavalue":{"value":{"amount":"+0.7592734694480896","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":"Q2948247$21836E10-5B02-47A5-84F6-CA34D96D6EDF","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":"beea47c0b067736db8443f3c7d3a3295d9e90d09","datavalue":{"value":{"amount":"+0.7542950510978699","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":"Q2948247$988CF3B7-1807-4C4E-960B-6D6D0DDD5230","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":"82d5d16f22fb938bac217d3e8de16dcd5155fd55","datavalue":{"value":{"amount":"+0.7333354353904724","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":"Q2948247$ECD448AB-0B3A-45CE-8806-7D6BC95706DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948247"}}}}}