{"entities":{"Q2279129":{"pageid":2289872,"ns":120,"title":"Item:Q2279129","lastrevid":43815825,"modified":"2025-11-14T17:58:05Z","type":"item","id":"Q2279129","labels":{"en":{"language":"en","value":"BCARET model checking for malware detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142681"}},"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":"Q2279129$64A73411-F757-4020-93F5-9B92DF094ABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed247519f7d6ce86251b0904cab07c3db0723cbd","datavalue":{"value":{"text":"BCARET model checking for malware detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279129$BAF734BD-0677-49BF-AA94-C5A9B8C394A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a8a1f430d7c3185219df263346cd0edd5a76f7c","datavalue":{"value":"10.1007/978-3-030-32505-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279129$36675D8F-43A6-403E-99B4-3CF156E23276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"722e8703277ed4c7e06c2f46ca80481523547d99","datavalue":{"value":{"entity-type":"item","numeric-id":1671141,"id":"Q1671141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279129$F31D10F2-064E-4EE5-A772-9C51536ABE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279129$95C1185B-7F6D-4452-8D2E-7261738F015A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279129$1E2FF2DB-25A8-4D3F-81F6-CFC91B5586C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279129$7FBDF4A5-0E28-4A4D-B591-031195A9B4DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9a95067813336f21ab2dc396b4c7b1c8f45946","datavalue":{"value":"7142681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279129$C71DFF1A-079B-4FA3-B688-8A334B8F177F","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":"Q2279129$488EE0EF-8768-4015-B216-ADF62F38FCCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23905545839c9bea21c09a6cb4b18b7a9e628fe0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-32505-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279129$2FB6C2BA-5DA9-4F5C-BC3B-CEB1F5487608","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2850abb3ae99fb4089a004dcb1b472d96675e127","datavalue":{"value":"W2982433508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279129$3DE0098C-CE8E-4454-850E-7A3771052FD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a8beb8999dbf08b3bbf3a13d7c074b536ffcbb","datavalue":{"value":{"entity-type":"item","numeric-id":4647858,"id":"Q4647858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2522d8dd8f77e6fa92e9771e21552bdd911369","datavalue":{"value":{"amount":"+0.9109659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279129$3D7F82B2-9E58-4584-B36E-B139B5922152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feede4d278957d3a0ace72132a34873eabcb408d","datavalue":{"value":{"entity-type":"item","numeric-id":2894269,"id":"Q2894269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391d688df693a5815b61dbe95d3dbe1971088e23","datavalue":{"value":{"amount":"+0.9059238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279129$496C0DE0-1E96-4FA3-BEDF-A54EE9836DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b44180c392012671e043c0b2a35fa463c39eed6","datavalue":{"value":{"entity-type":"item","numeric-id":5326341,"id":"Q5326341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c445ef32ea981da98e6ebb56b7e8497a7db937a2","datavalue":{"value":{"amount":"+0.90037215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279129$F0DEC6D3-9C24-405D-B8E3-0A58E8F82859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c93067546fab3158214137ec74a4252d949e24d","datavalue":{"value":{"entity-type":"item","numeric-id":784132,"id":"Q784132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2956c9461e17cae64481bdb755e19d5e5120dde","datavalue":{"value":{"amount":"+0.8311478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2279129$7B69C831-85D1-48DB-9B27-1542253FC031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2279129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2279129"}}}}}