{"entities":{"Q3184703":{"pageid":3195411,"ns":120,"title":"Item:Q3184703","lastrevid":50792876,"modified":"2026-01-15T04:57:26Z","type":"item","id":"Q3184703","labels":{"en":{"language":"en","value":"Query-Based Model Checking of Ad\u00a0Hoc\u00a0Network\u00a0Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619409"}},"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":"Q3184703$CB504725-08E3-4E13-AB2F-D25780A4C909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c91b1d5cb1c409478e8cb301ce01fb9fbadecb","datavalue":{"value":{"text":"Query-Based Model Checking of Ad\u00a0Hoc\u00a0Network\u00a0Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184703$D1C18A38-D5F1-4CD2-96C8-EFDC4D136F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4046c2c482ab98fac6aa5103fa8a531ef9edee1d","datavalue":{"value":"1254.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$44B2076C-1F07-406C-898F-F217F741D9A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76cfa0bffaedd1939c6d78a5c5ef4c1b3a003091","datavalue":{"value":"10.1007/978-3-642-04081-8_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$04815E09-1437-4346-B4D0-FC807B94FF76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e7f8bb530b705573f1785e023ce87ba5f905238","datavalue":{"value":{"entity-type":"item","numeric-id":967527,"id":"Q967527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$8DD70803-C680-4377-A254-BAF575D73D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$D17B4B75-B6DE-4319-A03F-D7A4D1D585F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$6A66DB86-C63D-443C-8765-74C72D432DC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37a5b16070d1a7c8f4badd285c0dae4b0cb4feac","datavalue":{"value":{"entity-type":"item","numeric-id":3184660,"id":"Q3184660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$D9089FDA-7757-41EE-B712-4B2879E8F0FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184703$7A2FA94A-42C2-47F7-9DDF-A612B5DE99AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$E9E89CD0-FAA5-4FFB-AB07-8AA2DAFE9455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$9DC34E44-B5B6-4185-8191-5FABAACC19B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2414110cd281da11f85d3562ceb792f0d64b0f05","datavalue":{"value":"5619409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$3AE5BBF6-DA04-4297-ACE5-2AB5E72A2E92","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":"Q3184703$AD52E4F2-2567-4EAD-A542-DC677D38C17C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b44a9b51d5320a3e3e4dabd5450ed72f8b0844a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04081-8_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184703$D2299123-61C4-4680-B18D-5C60CA90EBBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84e6db8be5ea71154f9c213ab17fe49de9c72c84","datavalue":{"value":"W150837278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184703$EC9A426E-64DC-4586-ACCB-314AB9C0D612","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ded28dfcddfc12e7756640329f103bf1a26e17","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$311078C4-928C-4D87-8CCE-337CD2ADD646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051d3775ce9bc5a1379316cb72e81d2ef1416551","datavalue":{"value":{"entity-type":"item","numeric-id":1887740,"id":"Q1887740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$E7A171AE-6EB9-4A29-89E7-25498016E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5853534ece2e13a83882f0f4664685160a507aba","datavalue":{"value":{"entity-type":"item","numeric-id":2723913,"id":"Q2723913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$6FAD4F11-C70C-4B9D-B87C-F76BAC0547A9","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":"Q3184703$3BDC2055-CCE6-47A8-86C8-66293EC7F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63adb438f3503504ee45819eae5d5f4d93ec0817","datavalue":{"value":{"entity-type":"item","numeric-id":2722046,"id":"Q2722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184703$814572BF-9DA7-48F0-B2B5-89F38DA1632E","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":"5824363376688d223251be8866af4d942017b5c0","datavalue":{"value":{"amount":"+0.7833828330039978","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":"Q3184703$6214A63B-0DC6-44AD-B15D-37C5D26269F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f59bd3e7fa49a7c056d89335cae8826b9140836","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154688cac257b1c470b361f8a2d53511ad71def","datavalue":{"value":{"amount":"+0.773661196231842","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":"Q3184703$AF1773FA-74E0-47B6-BCBC-4F4D15D08D8A","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":"acbdc4d05d1bb11ab963dbcb25f7bb6ebacf47d1","datavalue":{"value":{"amount":"+0.7695745825767517","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":"Q3184703$5FD9B151-D9CD-4582-B14E-15E97AAA3D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9687afcc9840d63d999784a4f17f317bbb7cc89","datavalue":{"value":{"entity-type":"item","numeric-id":896913,"id":"Q896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db59cbc49ede167da34895ecf49d242755c84149","datavalue":{"value":{"amount":"+0.7607818841934204","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":"Q3184703$CFBAC8B1-8737-4B84-A199-07D455C5088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4040b53bd4678ce6f48108313f1204fbdd1cc2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3172855,"id":"Q3172855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a89a438ca06d6d5095bc27d7f4d45e6959e3ea","datavalue":{"value":{"amount":"+0.7593963146209717","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":"Q3184703$78736802-88A3-441B-A185-BA120CDE1C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3184703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3184703"}}}}}