{"entities":{"Q3000628":{"pageid":3011352,"ns":120,"title":"Item:Q3000628","lastrevid":51249293,"modified":"2026-01-17T10:56:08Z","type":"item","id":"Q3000628","labels":{"en":{"language":"en","value":"On the power of cliques in the parameterized verification of ad hoc networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897387"}},"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":"Q3000628$ECAECD00-0A39-403B-8EBF-47879B4B76D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb54a27dd76626d356dc52e58068d2258c9b0a0b","datavalue":{"value":{"text":"On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000628$242DC7A2-1A70-4DC9-AC1F-90BA06BE9EE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18744f51f520377301b11524b331cac6a548a472","datavalue":{"value":"1326.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$020D1ED2-E6A5-49B6-AAAD-019BB8F5681E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"889f9f1fe92603af4cab31b648af9d9e371b65f6","datavalue":{"value":"10.1007/978-3-642-19805-2_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$D21B88D7-5881-4F7A-99BA-946364436538","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":"Q3000628$86A78972-0987-48CF-B719-E0277017613C","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":"Q3000628$61C3676D-400E-472E-9C1E-988D338626AB","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":"Q3000628$1F1D2D6D-5F0F-4ED8-8C97-737D00411166","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000628$511FCC85-FF5C-4C86-BDA1-59F3AA98030E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-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":"Q3000628$594CE7EF-9D9D-482B-A347-6826B75AF2E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$EEF769B4-A9BF-41EB-B678-B138ACB2D483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$95075D0E-87D4-4FBD-8B27-9502C52D6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$C3DF070E-A442-4560-9313-344049DC8EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$B172DE75-0E3B-4D38-8850-3F16F242E60D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c968c5f01085c35e29498ff35d99f4bb945f8ace","datavalue":{"value":"5897387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$7A6A7507-0633-4BF1-B45D-3063DB1464B7","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":"Q3000628$837A1E69-D3D7-4C77-B6BD-5647D5F25991","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fddc61b080819b0a44c474db3cff9ea45ac41fa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000628$C5707DC3-4B9C-40EB-9B5F-EA1157EB8F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0b88316460a3a4af02cd99ad99d32dc4433d49","datavalue":{"value":"W2149493230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000628$2D016E2C-D0E4-47C5-A608-64F76D307E62","rank":"normal"}],"P1643":[{"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":"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":"Q3000628$2D3EAE27-A8BC-4BE1-9CA0-95EDCC6EA157","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":"4d9ffc632d998fcf6c21dd4227db76d2e7a61b47","datavalue":{"value":{"amount":"+0.8118752241134644","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":"Q3000628$3BB7ACCD-87DE-40A9-AAA8-178EEE79072A","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":"c60427058b5d9cea28cce9b9e1bbc3de95420c00","datavalue":{"value":{"amount":"+0.8056972026824951","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":"Q3000628$9FA5E4E4-963D-4739-BF2B-96BCD13C34AD","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":"e9ec65354e530ef3b86f579e412abde3131c8d86","datavalue":{"value":{"amount":"+0.7505731582641602","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":"Q3000628$206C1FAF-BD45-4217-B612-92D8AB6DB9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db74fb2c8d6ed33020a3ff1798e8afee6f928b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3184703,"id":"Q3184703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e7a6ce5998eac250927a5766a7bc4fcbf70bb6","datavalue":{"value":{"amount":"+0.716124951839447","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":"Q3000628$235FCBC5-3BB7-4244-8902-CFBFD03E08CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000628"}}}}}