{"entities":{"Q6166152":{"pageid":13301034,"ns":120,"title":"Item:Q6166152","lastrevid":47883625,"modified":"2026-01-02T23:40:46Z","type":"item","id":"Q6166152","labels":{"en":{"language":"en","value":"Automated modular verification for relaxed communication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721438"}},"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":"Q6166152$23091B9C-F740-4905-9112-37D434B63308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a17c4c3ad894655999db99bb1ec0e27aa76f6e10","datavalue":{"value":{"text":"Automated modular verification for relaxed communication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166152$86839ABD-D38F-4C81-8779-09EC9E15812C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38efdc1688640481ddd818162d048bfb01db1937","datavalue":{"value":"1519.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$E5A6E709-E59F-4437-AF05-B377D06F86A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3003520f802ac55aa46110945e9157fb14adb5f","datavalue":{"value":"10.1007/978-3-030-02768-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$18E58430-8023-41D9-86C3-40FA2983523A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb6df36abb2ee6b1a0d9d4823bec7023cab9e01","datavalue":{"value":{"entity-type":"item","numeric-id":5041089,"id":"Q5041089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166152$7B48C943-5CE0-4F53-B4DD-F59255FCB14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166152$7F4745CA-2D9D-470E-B8EF-4BD58229C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166152$D3FE617D-78DC-4C24-9542-7077D87F1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25c68e6f96082dc6093d0689795dcb27a4d28130","datavalue":{"value":{"entity-type":"item","numeric-id":6166151,"id":"Q6166151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166152$C3043DFA-6D24-4B5A-BEAC-393430EB1994","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166152$939C20DB-091F-463F-AC55-0BA74D6614C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166152$7880F03B-864E-48EC-A4E6-CBEEA6B6AAE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ae9f96a4a562133d6d30311197f8151fe04eba3","datavalue":{"value":"https://research.tees.ac.uk/en/publications/a2413394-d21f-451c-9189-59f355819b1b","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166152$C19E62F3-D536-4890-8F60-C889E48F799C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$8C8EAF3C-6171-4D55-AB5D-3055A3AFF7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$62BC60E5-A527-471D-B530-DE81DB917303","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb00fc8923492e88018633ef37c3b3fbd3c2c967","datavalue":{"value":"7721438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$B1787AE1-1713-44F7-98BE-7F9CADB66B29","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":"Q6166152$B93ECA1D-FF5D-4A0F-9538-59BC180BC321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac3ccd97be1fdf6204642ccc6f1d38e294e191e","datavalue":{"value":"W2896129867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166152$229B7A5B-4DF9-4A02-9FEB-BBF750E7921A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f632d456c53eefa8fd4a2180fd36d1e29a6cbecf","datavalue":{"value":{"entity-type":"item","numeric-id":4967196,"id":"Q4967196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570a3431404610ea6471a0efe53029370f861226","datavalue":{"value":{"amount":"+0.7302878499031067","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":"Q6166152$B40BFECB-06B7-4725-A611-CB5482F1604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b849c4ce94f9f4a8873744bfc9f7ae5f093d7653","datavalue":{"value":{"entity-type":"item","numeric-id":5881535,"id":"Q5881535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec4e1c20beef4dfaabc9ab19e3db4342d90c2ca","datavalue":{"value":{"amount":"+0.6991778016090393","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":"Q6166152$B171FE40-D99F-4FC3-A60E-F6A6F9F5D325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c43a0705d6e56e42a254b1f11c66ea7e408d50e","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61fabeb605212ff86db7136081ac005d6cc08ee","datavalue":{"value":{"amount":"+0.6984404921531677","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":"Q6166152$FF911CD0-2EE9-44CD-B759-76AC62CCAAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba14d364e976a6149fdf135a74d47d108a3264a","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc9f68dabca5b6de99ee803320e276641c245c3","datavalue":{"value":{"amount":"+0.6949931383132935","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":"Q6166152$3B7C1A29-C38A-4447-82FA-57B46C7A3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10be69e0e1ad0bcde1c5cdbc0cf94ba5421097f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394806,"id":"Q5394806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffb21fe3cb75055c9ce0daccb6f84a817796f7f","datavalue":{"value":{"amount":"+0.6922500729560852","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":"Q6166152$53AED3BF-9D2A-4CE6-8A95-4656B869FB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166152"}}}}}