{"entities":{"Q549194":{"pageid":550961,"ns":120,"title":"Item:Q549194","lastrevid":62671857,"modified":"2026-04-11T07:40:25Z","type":"item","id":"Q549194","labels":{"en":{"language":"en","value":"Verification of mobile ad hoc networks: an algebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918238"}},"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":"Q549194$FEC29661-EE9D-4BA0-962D-6D6FB309D046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97bb2b10bb1b19a79ed7152371b53fe2ae2c988","datavalue":{"value":{"text":"Verification of mobile ad hoc networks: an algebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549194$36371DF1-2BCF-483B-852E-67EB7328718D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dca5bd962d40705677bd8e54c22ff6f8f5f51d0","datavalue":{"value":"1216.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$2FAF4262-DA7C-4458-9D99-A0F125A4FD26","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":"Q549194$806DC9A3-CB5E-4BFE-803B-D41510D27C46","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":"Q549194$6E664EB9-1727-43DE-81DB-C99C87245CF6","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":"Q549194$DF7643F8-9C64-4FD5-9533-280FAA3C8939","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":"Q549194$B7EC519C-0F6C-42B8-832E-5A1CBB673FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549194$65070119-A342-4674-8107-8186BCE7C436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$89328D91-AB6E-4AE9-83CC-8BE68F585821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$FF44EA19-652C-40DB-A4A8-29E8497C0337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$88F140E6-71F7-4C7D-86C4-167D20EE01BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$19A9D4E6-0C9A-49A4-8AAB-CDE690B1E3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4481354cd9c0281281f677e28a4a796e02991c06","datavalue":{"value":"5918238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$81231263-987D-4CA9-AA7B-738FB1313AE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b696f33e9131e163b4602eb024ad9d5cdf0b2d","datavalue":{"value":"process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$F7DA3AD2-6A89-446F-9DEC-D25ED1C51418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd37160e7ef92ebc381c49d109b158ee25ef0a17","datavalue":{"value":"local broadcast","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$4F05D761-7805-4A26-A433-D1E95BD111BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$89ABAA75-4F44-480A-BE71-13E1F474F115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$79F74EA1-5626-45E7-8AD5-5BBCDEFAE442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab448968740d0b895070bfcccdf8e57c7fbd5275","datavalue":{"value":"uniform MANET","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$0A9DFA32-1FEC-4E22-A6FD-9B235F7A6FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffde7194d471b29859723e9aecd0265228fcfb8f","datavalue":{"value":"symbolic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q549194$243B0EA1-31AA-40E3-8AF8-0D1EFE5AC697","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$DBBAC0BA-13B6-4C85-B6F5-A4EDA2659529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$D69C3952-9FAC-46A5-AECE-7A0563C733C1","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":"Q549194$1DFE9000-B8C0-484D-A415-5E3647EA49C8","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":"Q549194$5C7FF2B8-65A1-4F35-9796-A6907262F319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb140ef86b814cc49b3374174ce9b2d8c9a677b5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q549194$AC2DAF81-BB49-494E-B4EE-B122C2776F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c9644bacf71641de6878ed5096834c5a2e23d90","datavalue":{"value":"W1976627080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$DABE1F8A-FEAC-4EF2-B457-D97C8FBF8AF3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6d24b9ff2bb1b5c2cc8f8c74a0d1a350333732c0","datavalue":{"value":"Q57835298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$3B227C24-46B8-4BE0-98B7-188F3AEB59A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c225edf766d40a238ec949acca28f09612d9a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3400916,"id":"Q3400916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$DED0C7D5-7787-4409-99F0-C3C9975840F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c11f513883484376563df6fa96af8f9747047a8","datavalue":{"value":{"entity-type":"item","numeric-id":3084990,"id":"Q3084990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$314DCD38-F2C7-4F00-83A1-E2F58B56841D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281171d82bfffcff31075aa89b9473ea31a64e49","datavalue":{"value":{"entity-type":"item","numeric-id":1349249,"id":"Q1349249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$E5A4F161-8E01-470D-9A92-2C9A783A30AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14be9de43ba311deb9f5e552ba97a70f9a9edd6c","datavalue":{"value":{"entity-type":"item","numeric-id":4417864,"id":"Q4417864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$03D46909-E520-479D-B7B0-4F8DB81400E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d96865302774e8a0f8e2de1f5d02bebbdd9fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853730,"id":"Q853730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$183A81F7-8774-4C2F-9099-B946910E23A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dedc7490687b811911dca06ba433845d7669119","datavalue":{"value":{"entity-type":"item","numeric-id":5958772,"id":"Q5958772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$9A301595-38B4-490A-B140-2F8F2C0092DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9826321e65a66e1b0d278e99c3d23074d9434421","datavalue":{"value":{"entity-type":"item","numeric-id":2382306,"id":"Q2382306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$C1C43752-A7C8-45B1-A3EE-EB08018E7E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$57F84A18-1AD2-4563-A8BE-B364A1CA32A5","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":"Q549194$972706F2-F025-496A-8B2F-B37A28D893C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549194$1B36FC36-2F79-4315-84DD-DE5626717410","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":"Q549194$EF417DAB-8419-41F1-B83D-F80D0ACFC2AF","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":"Q549194$E382D844-1E82-4E00-A059-1BA1822491F1","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":"Q549194$96F3C66B-0F9B-48CE-84F3-A4CEC8A2A1D2","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":"Q549194$62B28920-29E4-4578-AC07-C51CBA98483E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ce9ec99635a0153cf483c50a7866a8b041a087b","datavalue":{"value":"10.1016/J.TCS.2011.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549194$AB171DCF-3A4B-443D-8870-E099FA1D4DE0","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":"6f8c7444a5f278c146717ded4bf1124d75aa13ba","datavalue":{"value":{"amount":"+0.8418447375297546","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":"Q549194$CB8F2B62-4D1F-40A2-B8EB-95121B581BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f89d635c96ceb6076c8a44d53f170737092dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":2948247,"id":"Q2948247"},"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":"Q549194$2754C387-FEDF-44FA-8784-87660DDF4F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109ab426a31a345180068c6ca7f945a8c0979c32","datavalue":{"value":{"entity-type":"item","numeric-id":3084990,"id":"Q3084990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670e34982e8d7c4295f9498911f891351eab0a49","datavalue":{"value":{"amount":"+0.8119778633117676","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":"Q549194$206ED423-1663-4D4D-9FFC-099745F683A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30eddc05724919502240c671db713732fbdbaa12","datavalue":{"value":{"entity-type":"item","numeric-id":3634642,"id":"Q3634642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53013fb6aee223d99bc31b129c6c66797a396255","datavalue":{"value":{"amount":"+0.8035768866539001","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":"Q549194$8DAECC79-0FDF-4B54-9C56-7DAAB24B38EE","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":"efe86b18aa7d4609bbabaa79be2be3ace654588b","datavalue":{"value":{"amount":"+0.7977054715156555","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":"Q549194$39437C30-52DE-405F-919A-3DEA33E47548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of mobile ad hoc networks: an algebraic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_mobile_ad_hoc_networks:_an_algebraic_approach"}}}}}