{"entities":{"Q997225":{"pageid":999073,"ns":120,"title":"Item:Q997225","lastrevid":65803563,"modified":"2026-04-12T05:28:53Z","type":"item","id":"Q997225","labels":{"en":{"language":"en","value":"Using semi-formal methods for detecting interactions among smart homes policies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173642"}},"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":"Q997225$35096164-B803-48FC-AD4E-583FD8539F9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49317ca5e9e031fba59b5bd039c6d4d5524b53c4","datavalue":{"value":{"text":"Using semi-formal methods for detecting interactions among smart homes policies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997225$08CCCCC4-0B81-4399-87F0-1C5A42C61600","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e627cff07f65fde2d0cf024776f3e0bed6d3c42","datavalue":{"value":"1119.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997225$395518DE-A668-42F5-9E1A-AD619A62EE87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48478eb3faf51e563f8e3b2963534ee0c60d7e5","datavalue":{"value":{"entity-type":"item","numeric-id":237481,"id":"Q237481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997225$578E3410-5AD5-4840-BF69-14093744D405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c10d39a339416bbb71d0558c8958abf142dda","datavalue":{"value":{"entity-type":"item","numeric-id":856930,"id":"Q856930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997225$5E75D58F-A53C-4EAC-A423-BCBB07CAD4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5bb63c18b236d854e1c65119a9e59b95229498","datavalue":{"value":{"entity-type":"item","numeric-id":733227,"id":"Q733227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997225$17F1A368-1A35-4BDC-824D-475CD358EDF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997225$E188382F-1327-4871-AFEA-D264CBAB978F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a47a1c00b58c63188511ed6855b30318b707131","datavalue":{"value":{"time":"+2007-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997225$1D5AE5D1-B527-41DC-891B-D27957ECD66C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997225$53FC047F-A1D8-4693-8FAE-89E729EC21EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3014b8700fc38df1f6b4b33a37e1e1d173fbd3eb","datavalue":{"value":"5173642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997225$BA9CE540-7A52-4EDF-B2D5-E9E15E8592DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb76e657b2cd4aecdecee0500b416355cbbf7beb","datavalue":{"value":"feature interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q997225$AD99BECF-F921-4364-B678-F94FD5218580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdf4af904aaf8627833a51dd24c7de2fd1a2f56","datavalue":{"value":"policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q997225$13C1FB63-DEB7-4C73-B4FB-6A2A25C2B2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89931a15208c3d9ec42cdd09963c1fe87db5b568","datavalue":{"value":"semi-formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q997225$113A014C-A787-4BA7-93D8-98CB0A18A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be31312a04942993407c0f7bfa2a995740dd956","datavalue":{"value":"smart homes","type":"string"},"datatype":"string"},"type":"statement","id":"Q997225$463DDF75-6F31-41A7-8EB7-12C56465E635","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":"Q997225$55F1C962-EEF8-48EC-9D18-DDAFFC9645F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39b8f71d67f61b8a9b3e938081d3d142850ac95","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q997225$FB07D973-1211-43A3-BF02-B789ED09320C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e097e04db1064c180d46679a216401d398d4176","datavalue":{"value":"W2068157922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997225$B4F8210E-A010-495E-82AE-16320092B742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1120f7206c627e98aa7ddfded42a84b5e0c335b","datavalue":{"value":"10.1016/J.SCICO.2006.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997225$2B800154-4965-4043-8170-EE2551CF4AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a84aa7c4bf7280abc225c35f4ded6afe8c110","datavalue":{"value":{"entity-type":"item","numeric-id":3045003,"id":"Q3045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a0c9c5a7fe581021ec14b98d6d46a32b26e0bb","datavalue":{"value":{"amount":"+0.6781054735183716","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":"Q997225$7BD0D193-3F36-44B7-82C6-D540054C9D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c156f234ed17fe7ee22ed291fdc9064019504692","datavalue":{"value":{"entity-type":"item","numeric-id":2379384,"id":"Q2379384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c14719e7f352db72e84717e207f3bcfc99f558f","datavalue":{"value":{"amount":"+0.6640722751617432","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":"Q997225$40A61487-96BC-4117-9A09-DFEDADB95B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5b7b87b7ed07092ee8dd769ce20915f541ced1","datavalue":{"value":{"entity-type":"item","numeric-id":5314417,"id":"Q5314417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e13efcfba26a08b19bdbd42549ae7074f99645","datavalue":{"value":{"amount":"+0.6520345211029053","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":"Q997225$6B66D357-8D0E-4B9A-9F56-B1F19627CF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ace13a037a6e71e2075374dc7dd5a0c4cb27679","datavalue":{"value":{"entity-type":"item","numeric-id":1398823,"id":"Q1398823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb0d0a7ab5aa72537f227ac2defc3c0e8b681aa","datavalue":{"value":{"amount":"+0.6482248902320862","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":"Q997225$450419C2-CE6B-4617-8EC4-9B1028DD5D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf1efaa361e3eadd71c7cb9613b350b9d0262d5","datavalue":{"value":{"entity-type":"item","numeric-id":5713989,"id":"Q5713989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b6035a2de89a11ca17a69158f80c954053a5bd","datavalue":{"value":{"amount":"+0.6441248655319214","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":"Q997225$323A4689-8AB0-471D-8619-BEE736368E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using semi-formal methods for detecting interactions among smart homes policies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_semi-formal_methods_for_detecting_interactions_among_smart_homes_policies"}}}}}