{"entities":{"Q5179206":{"pageid":7208778,"ns":120,"title":"Item:Q5179206","lastrevid":52228832,"modified":"2026-01-21T05:09:38Z","type":"item","id":"Q5179206","labels":{"en":{"language":"en","value":"Verification of correspondence assertions in a calculus for mobile ad hoc networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6417182"}},"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":"Q5179206$5A37331D-BB0B-40D4-9AE7-C991CE665400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0c45ad66aa47391b58b2d24d1e027678d18537","datavalue":{"value":{"text":"Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179206$E436423A-A526-4CC1-9576-D16744DD1C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d7a071998af7fb92807c7d4419a6f2dcfb37781","datavalue":{"value":"1347.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$21B277ED-505F-4A4C-AEDF-4242CAB8AA82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"409dcc0134810fd6a98d8456ebcc7f11492f7070","datavalue":{"value":{"entity-type":"item","numeric-id":1671243,"id":"Q1671243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$83113712-6DE3-4038-92D2-DD748CB98726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$97A2D417-335C-418E-8363-8A92450D7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a455dac5bb73efcb8240abe2e97100512caf4b","datavalue":{"value":{"entity-type":"item","numeric-id":2864386,"id":"Q2864386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$C0AFBF7C-A74D-40C3-81B1-74F413B29D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$2FF5BB2E-B261-44F7-AE6D-FDDFCD346C4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179206$2B34DFCF-95FB-450E-B162-EC4C2D8B46C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$83D5B1EB-E34C-481C-9059-5AFEF12D45C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$35A15BD8-8B48-4E1C-B23F-8FAD4F7F8499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$CB140844-7016-4E45-AC8E-478F813271DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$2FDBF16B-C562-44FA-B26B-ABD202B74127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$CDA716AA-DCA7-437D-A064-1D5A6A66CB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$F997B8B5-2217-4759-A8AD-30F4A9FD60D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67380e8e580a744a91c3c9616bd4e36f3c38e58c","datavalue":{"value":"6417182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$FEBE96E8-C938-4C12-942F-2FFA9E23412A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023cb8f89e5e8eeaff5a988166e3e06847626de1","datavalue":{"value":"process calculus theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$B820C3F4-4F4A-43B3-9988-B5F49125B99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78837c3ccd1c337cbddf1801595fa5c649b99e3c","datavalue":{"value":"mobile ad hoc networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$53488BA1-25D3-4ED9-B899-8524775A3D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadcaa0c180bb482266e9ecb24553f4023858881","datavalue":{"value":"MANET","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$A246C14B-D777-41BA-AF80-1C6FCA12A8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c414403643a473aa76edef8cf1861d80e4df020","datavalue":{"value":"type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$71A4D143-DC6B-4C19-A83E-03FB41CA3107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbacd716f46cbb02d80b63c1c1253bd7a647dea","datavalue":{"value":"broadcast communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$B15DE086-A8BE-4449-81D9-4DBB745EE746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179206$B17BA85C-1766-4806-B84B-22866E05048F","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":"Q5179206$AD6D76F0-4D05-4F5A-A79B-0AA5B05A6A2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"973c71db07c4513f43b49a1dba1741bfcf305ee5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.06.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179206$835C8C81-C1A6-4C7C-B2F7-C167F5E22953","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb81622a82480c2cd79daec4596f4040a1c5df5c","datavalue":{"value":"W2135168699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$87787895-96BD-496C-B033-3B785A328BC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$52015ABC-963E-4160-9376-3184961CD719","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":"Q5179206$8DF553FF-6BF4-4330-B944-3F35CB44234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$114D1EE7-5654-4049-9FD9-5018B5D3E8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3973c2231f0917d19dba3b044d1c9b6231c892b9","datavalue":{"value":{"entity-type":"item","numeric-id":2906944,"id":"Q2906944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$1876F43C-7DE5-43F1-BBE8-64A1A63E9EC5","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":"Q5179206$9098E800-98F5-4A51-AF03-6153F8F24E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$A9431F2B-1876-422C-80A7-A483AD26D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733b41d5454127ff81028469a688aa558bbeb5b7","datavalue":{"value":{"entity-type":"item","numeric-id":4418581,"id":"Q4418581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$094453D0-8252-46A5-9CAD-490B320E6DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5cb53d50bb4fa29eff1ca902f010d917a30537","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$BC970340-CD0F-4C96-99AB-60491A70DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adb0bd4cd4eba7804f7c80b3fcc53e18ec538af","datavalue":{"value":{"entity-type":"item","numeric-id":3498440,"id":"Q3498440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$D3691D7E-412A-4DC6-93FD-03F6193E959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9020a7785480236ab635c16f5392511491ef64a8","datavalue":{"value":{"entity-type":"item","numeric-id":5316561,"id":"Q5316561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$E9B2588D-84CE-4C11-B7DD-21ECFCFA70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74aea9af9d73a04776cebee16d856a631f59f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5262943,"id":"Q5262943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$5CF93A9B-E171-4EBC-BE8C-54CFEDE8F052","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":"Q5179206$B786D290-CD33-489B-B88E-5F11C93FEC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b8e3cbd065126d6780fdff1a09b2493fe85a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5262975,"id":"Q5262975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$42D4ACF6-0D0E-46DD-AB40-55A270B7B689","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":"Q5179206$86B3F806-5360-4703-87AB-BF03904297A4","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":"Q5179206$7AA99896-2835-4346-9005-B8E4B9B61064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$E24ACF70-F507-4DCF-A7FF-688BFC9540DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179206$63C55C92-AAF9-4504-A248-B92BB3C1DF5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a820b73d50097b323bde1c25a88c96a754948ca5","datavalue":{"value":"10.1016/J.ENTCS.2009.06.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179206$CBAED5AA-7E38-4726-BC5E-85094DB88C8C","rank":"normal"}],"P1643":[{"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":"4ad44719d2ae15f27920033662bba7d1819e9989","datavalue":{"value":{"amount":"+0.8070715069770813","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":"Q5179206$5BB94294-0EBB-4885-9572-5BCD26277907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f529304d1f2da45f61a355fe1056713e6cb7964","datavalue":{"value":{"entity-type":"item","numeric-id":470043,"id":"Q470043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89775813781535a1029f0b7ba9d0f1d4bd040077","datavalue":{"value":{"amount":"+0.7894461154937744","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":"Q5179206$E468F40A-808E-4C84-8918-76277E45BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5835edd6ef37c839f79b60697d0e09e3dc633434","datavalue":{"value":{"entity-type":"item","numeric-id":967528,"id":"Q967528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cb3090a0a8e5e330b359f6a9aac61d702a4d61","datavalue":{"value":{"amount":"+0.7817791700363159","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":"Q5179206$47A986B9-CE66-4432-852E-BC8E9339B43B","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":"c652028c80de7566a25f4aa4fa7e0fe38b0985ab","datavalue":{"value":{"amount":"+0.7704285383224487","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":"Q5179206$9A1FEFEB-2258-4FFD-B078-F0E3A8A47955","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":"bb0a11417e28600336b3a83b3df96f9026ee2f98","datavalue":{"value":{"amount":"+0.7637990117073059","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":"Q5179206$8E80CC69-0985-4070-B92B-9F21E28E9728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179206"}}}}}