{"entities":{"Q3172855":{"pageid":3183565,"ns":120,"title":"Item:Q3172855","lastrevid":45612280,"modified":"2025-12-11T09:20:27Z","type":"item","id":"Q3172855","labels":{"en":{"language":"en","value":"On the Verification of Timed Ad Hoc Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954731"}},"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":"Q3172855$2B04359B-F4EB-47B1-89C5-6DD44823A057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a6e64d1a11db95fb1e5e974aab42bf2982c281f","datavalue":{"value":{"text":"On the Verification of Timed Ad Hoc Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172855$965A0305-D5C1-438B-A946-14ED477F1306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5a7d03feb0ab05657b2ac7fbd4350bb8f37502b","datavalue":{"value":"1348.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$A47C5B63-8209-4590-89BB-C56697752D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df5bc7cbf024b286ee379222a290857355c6e49a","datavalue":{"value":"10.1007/978-3-642-24310-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$578C489B-0299-4593-B484-6A0FDA9842D2","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":"Q3172855$34BDF54E-6AB9-4532-83F6-A41D3AAF4648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfb9c712843ff4e303f6bb4d81c2bd705a42e62","datavalue":{"value":{"entity-type":"item","numeric-id":479841,"id":"Q479841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$C68DE179-C0E3-41C5-B7BA-A74D69B5AEF7","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":"Q3172855$1DABDDD4-BE57-4659-91B4-EC53AF30C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"363b156d3c017675e2d7b58adac2831510a47f39","datavalue":{"value":{"entity-type":"item","numeric-id":896912,"id":"Q896912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$DFB834ED-0497-4429-9F4A-6B733204E1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$2BBE8BAC-BFB0-4A60-B386-9A7330ABB88B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$40F5071E-A0AB-465F-BFA1-1CF3A2371C5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-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":"Q3172855$4B69FEAC-6BB5-48FB-B263-3A7246714143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$FB254655-D8EE-4D1E-8AC0-311DEA150F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$FC931523-44A7-4E09-8EBB-4A1C44C397F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$D17BAA53-C019-486E-87D3-4155E5397246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06f3da4c7c3bf181cf67e4fe24cfeb3e4a56495b","datavalue":{"value":"5954731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$A755D398-8689-4FF2-993D-D69992B26403","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":"Q3172855$01822B3D-6F37-4A09-A20A-0FC29106ED61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98dcf07fe7557d7df7a78cb3abba8c846c04a82e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24310-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172855$F5D8BDD3-DA26-433A-99C7-63FF44689DDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"102f39e5022106db45550d0b0deea43221f39655","datavalue":{"value":"W2109318253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172855$CDCE8848-A56C-4C2B-A816-2B65EB63B514","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9f7b558199308fe087050d63fc08b1f409e71d","datavalue":{"value":{"entity-type":"item","numeric-id":896913,"id":"Q896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$9C17F06B-5707-46FC-B5A1-A28E4A65D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff983d5d474e50f5bb47f576a27b613ca840f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$72127FC3-D0EA-449F-99A4-B608091D03E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c97e5888297a4406f33da3aa7dfa43d6b270062","datavalue":{"value":{"entity-type":"item","numeric-id":2851070,"id":"Q2851070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$6218846A-F521-4530-9B9B-955B8DF9AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$9F62F9A8-5BDB-4D30-88E7-5CB8439C82C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$AACCD22D-A608-4CA5-B9C3-5F9AA4F1F0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2eaaed127f92f45fa3ab8862f487c4abd56b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$3DEDFB22-1D3B-4EFE-A176-A9C06093E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e732ac24fced24328d5e2eb0ec178a3b48efbf","datavalue":{"value":{"entity-type":"item","numeric-id":4020706,"id":"Q4020706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$B2594D0E-D534-4AFA-BEB6-CEB1038DA9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$3D8E4E73-BB69-425E-8713-553BC2FD4E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83301894776a489f57b22f982b08bebb5417e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3400923,"id":"Q3400923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$6424521B-84BF-472E-94BE-9C6C244D0934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f3bcb7166bf9d7c230c5fe77bada1fb90752d","datavalue":{"value":{"entity-type":"item","numeric-id":2266988,"id":"Q2266988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$621EF3C4-74EE-43A9-8CC3-DA7888CE983C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b370defd89c9ca31194407808262be76a63ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5458318,"id":"Q5458318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$21C115E9-A9FF-45B0-948C-6C7F4A5CEAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9565b600b0422abdcdd0e2dda0dd2567b239bb56","datavalue":{"value":{"entity-type":"item","numeric-id":3184703,"id":"Q3184703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172855$3B1DE932-692A-4DBC-865B-ED4FDE6F05F8","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":"d748651fb335bc951601e76436461da1dbc87137","datavalue":{"value":{"amount":"+0.9334814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$85F74466-699E-49EF-9B61-A5207414DC6C","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":"3d0ef34d10e3f01ac27102882eae73139c953e5b","datavalue":{"value":{"amount":"+0.90878737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$099C0A99-BC0F-49E3-B26A-DBF9BEB6E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbf1aa26da3c5a2244eca3dd4565bc076a94f4a","datavalue":{"value":{"entity-type":"item","numeric-id":1102099,"id":"Q1102099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2e3f6b9309383ca2ed677d84caf5ff428b4c11","datavalue":{"value":{"amount":"+0.8946046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$094E2C06-F781-4F6A-B26C-FB9D5E3CFC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb296091f43e2c0e0c1c9851fcbdf0e72042b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1688557,"id":"Q1688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e755979e9ca0da1e23c73a368be8149d2284679","datavalue":{"value":{"amount":"+0.88478506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$E57298FD-5C40-483B-A52A-3A0FC7D23A2F","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":"c3fb5bec233c98c890076e90ee2a3c80819e74db","datavalue":{"value":{"amount":"+0.8835083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$5B786880-47F9-43A1-832A-F8D9F259D776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7078ae80f7018138190616f53b4338638dcca619","datavalue":{"value":{"entity-type":"item","numeric-id":2753701,"id":"Q2753701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2829f038857da4c9891b515e5aa65a855ffd61","datavalue":{"value":{"amount":"+0.8753801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3172855$D23C5AE0-49B3-442C-B200-1654BCE27FB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172855"}}}}}