{"entities":{"Q730472":{"pageid":732321,"ns":120,"title":"Item:Q730472","lastrevid":63899829,"modified":"2026-04-11T16:18:02Z","type":"item","id":"Q730472","labels":{"en":{"language":"en","value":"Modeling and analyzing mobile ad hoc networks in Real-Time Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668729"}},"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":"Q730472$AEDB5606-88BC-49C0-9B08-95EB836CAD79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"854fb91d707c62b28b2bf6d07ec1b1d38737e9fa","datavalue":{"value":{"text":"Modeling and analyzing mobile ad hoc networks in Real-Time Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q730472$4AA8BBAA-2043-4747-A322-436F213B142C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1c3a21d828bf31c2cb6fa8a5ebbb4109cc4cb13","datavalue":{"value":"1356.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$1E718BAC-4142-4C3D-BF56-35017BBBAA49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d3655ebb1a96343078d1dd06113d8bc621ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":730471,"id":"Q730471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$9E535C41-092F-452E-AD6D-58F537FE39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$EEAA6773-12B3-4D5E-A44B-B5DD9EC2853D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$9FD9A625-2C9C-470C-9151-86C1C230E6D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$671B872C-319A-44C0-B8A1-90A6B1E46967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e142bd0dc840ed702ec865fb51b514477e03a134","datavalue":{"value":{"time":"+2016-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q730472$0AE5BCD6-FABA-4CBF-8F34-38D7B000E6F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$D0323A4E-A34C-4AC7-A6D6-7583EC2461E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$79654B25-011F-4D43-9882-518BAC5C6284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$5D55E82F-5156-4F24-8CE3-01531138B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$313B6397-0C14-42F4-A155-0B51BA6803E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15bd35c988722d34ae4d5dfea0e5ddd1df4f275d","datavalue":{"value":"6668729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$43940D1B-8AD2-4864-A67D-B962F83892C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78837c3ccd1c337cbddf1801595fa5c649b99e3c","datavalue":{"value":"mobile ad hoc networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q730472$C6F6427D-1D5A-420C-8E67-606CDDD4CB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q730472$E7D2FC67-D9B1-489F-9578-568C9FC768D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q730472$827C3987-40CC-45B0-81FF-76F818221289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4f478311fbc11a176f58463d885f568967d8097","datavalue":{"value":"Real-Time Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q730472$B4132410-F534-472D-A95D-99B1BDF8848D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$6E7A9689-C3F6-415C-A0C7-0B80242AF843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$14E397CB-0AFB-4B64-A813-73C562AD4110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63670ec9990cae130bf497257dda369111539e56","datavalue":{"value":{"entity-type":"item","numeric-id":20432,"id":"Q20432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$FAC57D43-C89D-4B2A-BC6E-570F52298F49","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":"Q730472$AF0F0AE5-A1C8-4E2C-8DBD-A71D3BFF446A","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":"Q730472$7B02E2C9-A266-49DC-AD4E-F5C57C7474D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"501f250e1feacf49a61f2b5b6681634865c17d63","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q730472$1D808574-55FC-4A77-8AB5-D2B5622AA858","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fa673042adf5074501dcd252c66458d705b0250","datavalue":{"value":"W2194648763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$98F93952-B346-40A0-AEF9-B3CE404CA1AA","rank":"normal"}],"P223":[{"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":"Q730472$A63CF6B1-F778-4611-84DA-FA1CA5D02064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$74A6B5ED-90AB-46FE-910E-E05FB1B67A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$D325DBB7-C332-4579-ACE2-065537FE5D25","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":"Q730472$8F3D68EE-E124-4354-AA00-D37CF5BA01FC","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":"Q730472$327D95FF-34A6-4724-AA7F-83772A209B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ba0b490d69c32927276674083990a738e3b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2945136,"id":"Q2945136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$E122FEA4-A060-4504-9922-7D65047CDB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2cd3f228b52b88438cf4bd16d65a2d143433ea","datavalue":{"value":{"entity-type":"item","numeric-id":5256351,"id":"Q5256351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$A82512D3-5F5D-40E2-9AE4-DCB6DAC775A4","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":"Q730472$2CD62C37-839F-45FB-B471-C9A4D7BEEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecaab82b038f24f43a46685a7c6def007559e70e","datavalue":{"value":{"entity-type":"item","numeric-id":650891,"id":"Q650891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$6391E00A-B787-4332-BB48-26DC578F0A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4f8048a5856e634e05b16c80ba9a37054a0887","datavalue":{"value":{"entity-type":"item","numeric-id":470043,"id":"Q470043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$C4296C68-545F-45C1-8F03-DDE7FD6A492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$FA6F85AA-A498-4191-BED9-816C6BC12279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$15F4651E-6311-484C-ABC3-3048D7D10E5D","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":"Q730472$86B79E30-34C1-4A39-BBE8-2D01564A48A6","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":"Q730472$7621E96F-110E-43AD-AAD5-793B507A999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$ADD53B2E-5610-4DDA-A2AF-CC1A8F69F437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$2E1D5908-4A31-44B5-99BF-A303F798D205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8914758ac6f2ac25786ddc0b91cc49457a108d49","datavalue":{"value":{"entity-type":"item","numeric-id":1004068,"id":"Q1004068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$96FD9261-AB31-4560-BCDE-2D51B2445915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$C0F74F0F-9F77-4E06-9382-9ABAE2873BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$814ED6C8-0260-4E81-B384-3CF761EB9253","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":"Q730472$7293F64E-21D9-4278-A478-89AA026C4711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfd51a4c4227cc24a099152fc3241f9d7466baa","datavalue":{"value":{"entity-type":"item","numeric-id":2915180,"id":"Q2915180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730472$860E1294-2738-4487-BA6A-848E8FC41A37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1dac1c94afc54a22a28c5b75bf5e082e431710f","datavalue":{"value":"10.1016/J.JLAMP.2015.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730472$8427975C-394E-425F-8B1E-B50E5948144A","rank":"normal"}],"P1643":[{"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":"d57dd27c145ff23b4425836597342047a13ce4e2","datavalue":{"value":{"amount":"+0.926796853542328","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":"Q730472$26087DE7-031D-4B18-8ABD-BF1D4BAB1BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933a582c56572cf1a74b29f58b45f58ac9f4f971","datavalue":{"value":{"entity-type":"item","numeric-id":5256351,"id":"Q5256351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7a5fe90c5bd257b4a9024a5176fa7d669d9fa8","datavalue":{"value":{"amount":"+0.9087045192718506","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":"Q730472$B3BD72A6-DC69-4DCC-85F6-5857785DC820","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":"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":"Q730472$238500D6-5CE7-4EF8-BA0C-3CD73EDFE187","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":"dab80831322787df0f909fd5e32e70547f4bc22e","datavalue":{"value":{"amount":"+0.7783882021903992","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":"Q730472$A4959BC5-5102-48A8-A75D-6A508B72FA79","rank":"normal"},{"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":"80523c8d1aa8a5f69408b98d583aae8a3c4eda39","datavalue":{"value":{"amount":"+0.7735856175422668","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":"Q730472$884AEFF4-F6E1-4EF5-96C6-1E912E42C3A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and analyzing mobile ad hoc networks in Real-Time Maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_analyzing_mobile_ad_hoc_networks_in_Real-Time_Maude"}}}}}