{"entities":{"Q5047043":{"pageid":7076620,"ns":120,"title":"Item:Q5047043","lastrevid":91929821,"modified":"2026-06-05T00:26:04Z","type":"item","id":"Q5047043","labels":{"en":{"language":"en","value":"Verifying properties of systems relying on attribute-based communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614264"}},"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":"Q5047043$5C754D34-FFF2-44FD-8DA3-8E97D4737D40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4a44bcb31e97d1c71a1d62f31120a331b8c066","datavalue":{"value":{"text":"Verifying Properties of Systems Relying on Attribute-Based Communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5047043$BE456CD9-DD51-4F47-8DA0-35EDABB38584","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"264064dfa6437866ee9edc9d64bc495ecee91264","datavalue":{"value":"1498.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$151D07A4-86AC-4A1D-9FB7-FEC0F066BA1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa662bc85cf2a164a4f6ec4dc61e515afd6b550","datavalue":{"value":"10.1007/978-3-319-68270-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$D90C6119-1143-426C-83D4-00F2912F19F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047043$96FF5D5C-2669-4F5B-A171-AD4213638E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff46facd549f58167f725bbb6042913d4423918","datavalue":{"value":{"entity-type":"item","numeric-id":5047042,"id":"Q5047042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047043$93D7C788-CEE2-4CF1-8621-01E040EB6ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b516a5be3ce52ce90073454dc357e5d734d48d1","datavalue":{"value":{"entity-type":"item","numeric-id":515663,"id":"Q515663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047043$F6443F95-905D-4732-AA9C-939125157666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047043$866BEE3F-B1F5-48FE-BE8A-3F38A5345ED4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69abca91fa9697d288623cbbe896c32871b6e667","datavalue":{"value":{"entity-type":"item","numeric-id":5047036,"id":"Q5047036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047043$5A4EA284-BD28-475A-86D5-A20AD5E68CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5047043$0E1F72EE-15D1-4D90-9213-5BC7BB1B3043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$0AC8AB9E-3C1A-420E-ADFF-696AE09D2072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$9E34665B-B1F2-4BFE-8C35-3FE32927B42A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82818d898224ff2bd5ca5181cb3951efbbf9813d","datavalue":{"value":"7614264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$3E44287D-73D8-48B8-B65D-1FE36528CB33","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":"Q5047043$1F6C9C1B-CEF0-4571-A743-0EF587871C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dacd405e083eae07662046385f62fab4a10d94fc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68270-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5047043$FBE67CB1-03C1-4D0B-B0EF-E1296CA8E168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fac2871e4aa1c84fdf06acb1b416ec04221aa545","datavalue":{"value":"W2757771740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047043$04531845-5995-43EB-89C4-964C8A3841E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0f0bb0b7eec89146e47540d178e59488f05176","datavalue":{"value":{"entity-type":"item","numeric-id":2272994,"id":"Q2272994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5451a97fbd049fa8974c945206b475ec1cf438e0","datavalue":{"value":{"amount":"+0.8024576306343079","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":"Q5047043$8A999127-8E74-41D6-B6AD-1E23EB4300EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfdced959dcd2bf75ac951bad574d5bc65a6987","datavalue":{"value":{"entity-type":"item","numeric-id":2827459,"id":"Q2827459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1d242d7224aedfdac0db764d98f6ad04ec5385","datavalue":{"value":{"amount":"+0.7902699112892151","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":"Q5047043$4F59076E-1FA9-420E-BD06-C07FB47DFEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e1ccc60114a1c5007e4ab1391b2a39bed4f629","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc75217e445906017c6dbcc63242f4a6394fe90","datavalue":{"value":{"amount":"+0.6702865958213806","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":"Q5047043$384D16F5-BE48-4343-888C-CB98D68EC872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0f8623182a2c2cb9f45cedef1c58851a671430","datavalue":{"value":{"entity-type":"item","numeric-id":6045050,"id":"Q6045050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b65b496aef3cbf8a95b6c46289cacebc7a9fb0","datavalue":{"value":{"amount":"+0.6700937151908875","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":"Q5047043$4DC39362-EE2E-4AFE-BD39-E442C0F47997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628b13a694e8c65b8196bd5f4e0cd6a8c9731d20","datavalue":{"value":{"entity-type":"item","numeric-id":5713981,"id":"Q5713981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2412fd8b4e459e9fbf01ea29f1c05c00ac43f2e7","datavalue":{"value":{"amount":"+0.6650550365447998","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":"Q5047043$CBE77C8C-096E-4089-88A2-93A7E89E3BF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying properties of systems relying on attribute-based communication","badges":[]}}}}}