{"entities":{"Q6129705":{"pageid":13264012,"ns":120,"title":"Item:Q6129705","lastrevid":55633267,"modified":"2026-02-17T20:04:36Z","type":"item","id":"Q6129705","labels":{"en":{"language":"en","value":"Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7833682"}},"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":"Q6129705$3971B0BD-BF87-44FE-81E2-8195D742749E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eabbb2358e1d692b88a4096d09db9a8eee27b3c","datavalue":{"value":{"text":"Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6129705$7546D2BE-00D2-44AA-80D2-7CA56E980530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a36a06cedff2982fd5c5ff6ea0c18a1a420e9561","datavalue":{"value":{"entity-type":"item","numeric-id":1650960,"id":"Q1650960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129705$3660DEB3-2E26-4D73-937F-A7B440CF6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129705$D7986260-34B9-46D6-ACC6-3E0FD2196CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6129705$8DC993AC-F7BD-4EE4-9A00-AF3E909DB115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d62637b15884a61f1d72563c2b82e242295c57a","datavalue":{"value":{"time":"+2024-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6129705$815DE19D-4BE4-411D-844D-1ADE0FADBF50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129705$452F5143-816A-4F9D-AD20-A37F02B952AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e538ad3711bd32680d9c29d821d847dcc6c36c","datavalue":{"value":"7833682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129705$A2ADB3B6-C41B-4284-995C-042CEB3BDE9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9defd86e87544b062753b4279f7befe16136322d","datavalue":{"value":"ECA rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$D1427A4A-1DBD-483A-B51E-D1F1C7C3F549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ad0c35366caff44fba6496d09b0de575cb877a","datavalue":{"value":"IoT programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$4881F719-C725-4E5D-8729-CF8C2DD800E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$B06096E5-19C1-47BB-8426-BCF70E38CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$1F2AF57E-24D7-48BE-8B3A-1283601DC682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$CDC277E5-0976-4DC6-AF61-364CF5D3DAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470fbdfab77550cedfcd46eac883c45172454b1c","datavalue":{"value":"autonomic computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$616DA289-5EB2-4469-998C-E681E0F58F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6129705$D940CCC7-E6A3-44CF-AD2B-5560B3640928","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":"Q6129705$BEAEB733-B0CE-47C1-BABE-5EC304D5F5BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da3f7aaaccfae9d24795bf397bbd6191b87ef25b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2024.114537","type":"string"},"datatype":"url"},"type":"statement","id":"Q6129705$CA73F3F2-DE77-41FA-BA72-47D771B5C181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"948a0391674998634478e109b56d87cce73da26f","datavalue":{"value":"W4393282143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129705$30E478D9-D19C-4999-97C0-3F64B712241D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6583a5c2d1f97fc6242dc08a416a21ff36cdd701","datavalue":{"value":"10.1016/J.TCS.2024.114537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6129705$E683756C-55BD-4BC7-A6F7-AEE8681097D2","rank":"normal"}],"P1643":[{"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":"10a8c1527e701fe2067af4a2c50a875349610e9e","datavalue":{"value":{"amount":"+0.9421562552452089","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":"Q6129705$B27AA0D8-A955-40BC-835B-827938E05878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c97f9edacfb25c0d8ad8e55a0fff4eba499328d","datavalue":{"value":{"entity-type":"item","numeric-id":6038690,"id":"Q6038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ca630ab804610ad26c6657e7e151c360e1c8e5","datavalue":{"value":{"amount":"+0.7778236269950867","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":"Q6129705$0A1CCAD7-2EE7-435D-880B-B2025C273C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9012143b07a163eb3d93667513dbe53642afd4","datavalue":{"value":{"entity-type":"item","numeric-id":5047043,"id":"Q5047043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b260e2171b0ba6b9bcd18dd3ba0d3e9a23b86fab","datavalue":{"value":{"amount":"+0.6352970600128174","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":"Q6129705$D58870D5-B43A-47C8-B54F-6176E250CEE8","rank":"normal"},{"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":"80bc3cb651bf66916bbe205ca5af959dfe4009d4","datavalue":{"value":{"amount":"+0.627616822719574","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":"Q6129705$DFE0F5A6-92E1-45C4-B973-83058DF6EC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762aea2eb4e395d86ee17f71447f1e0e714f9c73","datavalue":{"value":{"entity-type":"item","numeric-id":1706144,"id":"Q1706144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062dbb139e9ce3a867e763a5b49c2268fde43a54","datavalue":{"value":{"amount":"+0.6254123449325562","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":"Q6129705$F5E472FE-BBAE-44C8-9A36-215289F3B5FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6129705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6129705"}}}}}