{"entities":{"Q3584939":{"pageid":5614843,"ns":120,"title":"Item:Q3584939","lastrevid":51066074,"modified":"2026-01-16T11:43:39Z","type":"item","id":"Q3584939","labels":{"en":{"language":"en","value":"Parameterized verification of ad hoc networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776470"}},"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":"Q3584939$57A13BC2-FD0B-4325-8E5E-75116514372E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5bf2d082ac24df14dec8d4d0fac69e3ca7b3b3f","datavalue":{"value":{"text":"Parameterized Verification of Ad Hoc Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584939$DBE50BF1-48B7-402D-9F71-990785ACB7B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd966c5a8d1a309f0bc6e89796e1fbe3e9ae5cd3","datavalue":{"value":"1287.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$FCF0EC10-2592-49B3-86DC-A335199F18E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ada6aefa8eedf1bc94c252a3b4cae93a49a1a68","datavalue":{"value":"10.1007/978-3-642-15375-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$0695D862-D5C1-4301-B121-D7A2146482BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584939$29F8418F-B674-4F2F-8B3A-8CC23A6CD47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584939$116BCA9C-6E66-49FE-AF0A-8D97C70B8CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d91e0796f4c68c98b603f92340529dc983950b","datavalue":{"value":{"entity-type":"item","numeric-id":418829,"id":"Q418829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584939$045C3675-1696-4059-9F0A-A4ADEE3E04AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584939$7324C3B2-F503-4079-BE0B-48D0A92757A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584939$18BB4B8F-C71F-4673-9B6F-B636575703B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$E6112442-A2CA-4715-A19A-A66627AD8A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$DC0A4E8A-F7BC-4484-B036-8E0CBE2A1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$1519D65A-0656-482C-9BCB-89FB6392C6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$5858424C-E545-45F7-884F-DB7179376708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$E0F97A11-FD88-4118-80F4-784658361AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6333e798245686060df4d81126de347750d33e7f","datavalue":{"value":"5776470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$27DE00B8-3767-43D2-8ADB-7B5870D3C958","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":"Q3584939$4FB006CB-3E60-461C-91DF-8BBD49438BF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"462a4c558178688cc34dafc4c199eefb9af6bed5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584939$D2B6A901-3B1D-4BFB-9369-DA8060A02032","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c01e8fac52187481db20a0b80f087a2ef14c5756","datavalue":{"value":"W1514415753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584939$0D145A2D-CB2C-4A95-B10E-6A73804073F1","rank":"normal"}],"P1643":[{"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":"c0cb0b6d73d3614b6ff28b7ec6328220f595e937","datavalue":{"value":{"amount":"+0.8936269283294678","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":"Q3584939$C9270D7E-593A-41BB-A82D-2711E5244D2E","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":"73891486dacaadcf200f4e4beb1b47de090e3195","datavalue":{"value":{"amount":"+0.8893854022026062","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":"Q3584939$1ECC6F4C-6968-43E2-A288-1F64F3F4ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1204c1b87ac7cd5afa609a5bb23c0226d623ead2","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4180e4e50260f691dbcb0c64b07d121faef0833","datavalue":{"value":{"amount":"+0.85367351770401","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":"Q3584939$D4531298-8B84-4386-813D-3F2DF3A60BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829546ce3cb71907cf41cd6d0eb52391930f1e34","datavalue":{"value":{"entity-type":"item","numeric-id":2957507,"id":"Q2957507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f35b2173cb2ef5c10b09976933a80c20e7b15c","datavalue":{"value":{"amount":"+0.8047723770141602","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":"Q3584939$B1ACEFA1-22E2-411A-AFC7-340202339D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c4f0ea1ead46d6f37c674e66268a9c90d6b44a","datavalue":{"value":{"entity-type":"item","numeric-id":2029598,"id":"Q2029598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c88f20e9a237535d79f2a809457375ace46054","datavalue":{"value":{"amount":"+0.7775375247001648","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":"Q3584939$6630D194-F8E2-449E-8FEF-E4695135E210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584939"}}}}}