{"entities":{"Q4647858":{"pageid":6677439,"ns":120,"title":"Item:Q4647858","lastrevid":97959407,"modified":"2026-06-05T15:55:19Z","type":"item","id":"Q4647858","labels":{"en":{"language":"en","value":"Efficient malware detection using model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103243"}},"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":"Q4647858$427E90E3-59D7-43A9-8A98-C0A0FD472A19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a2d96a6e23ce05062bae59a24f909b58cbe307","datavalue":{"value":{"text":"Efficient Malware Detection Using Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647858$6F8900FD-CE7A-4AFE-A538-8BDEF178490A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cf739d63fd862b6fb0cf0657c7d5310124ab41b","datavalue":{"value":"1372.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647858$C0C602FC-3637-4768-9D6A-72A49CEC52E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0e4d0b9e058fc4a1ef61f7524602c608539b2aa","datavalue":{"value":"10.1007/978-3-642-32759-9_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647858$CCA7E186-5875-429A-B594-E39A0E594AD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647858$3932F175-0CD7-4648-BAC8-34CF39524BD7","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":"Q4647858$1300C00B-67BC-402C-BF19-B466161D78A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647858$EB2754FA-C530-4157-A0B6-D8970233E26E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647858$4D802191-C900-4775-9227-B035C0AADBBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647858$7B1D8C4F-8F75-4B2C-B451-6E95B3582E4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"154771977c5ceda563bd97c8b4859a9fbd54413c","datavalue":{"value":"6103243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647858$7C536169-19B6-4950-8C5E-EF1C71DDB0CA","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":"Q4647858$25354197-B21D-44AD-8785-65FCCD3DE58D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a03317bd4cc976749fb8acd9478751c4fd2262e9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647858$F9897AC5-34F8-46BC-B7DE-CC9DC58E2A3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acb4c2553a97e08a537cce47b4e792b7b6d9532f","datavalue":{"value":"W9976069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647858$BF249BF4-2729-42DA-89EB-EC3249C425E6","rank":"normal"}],"P1643":[{"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":"b5a2e9c12ec1c3f4eeb2ba18ec71145b6c1a4ec4","datavalue":{"value":{"amount":"+0.9087949395179749","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":"Q4647858$5E101135-3774-47A1-BD4E-6B301F3B4FCB","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":"eaf120c617b2899dd17d4eb522b53579fc7bcce9","datavalue":{"value":{"amount":"+0.8666559457778931","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":"Q4647858$12228B8E-E384-4C66-A13D-BA347D8EC814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d906d8f69eaad2ca47999b1a609abe2ff2b825","datavalue":{"value":{"entity-type":"item","numeric-id":6162219,"id":"Q6162219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dba10aeb496ec2c63b90ea855f8ca5e38c65644","datavalue":{"value":{"amount":"+0.7253580689430237","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":"Q4647858$F02689E8-65C9-4B09-A418-0DB425C943B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f307765437d53da0ec6ff3d14d748f4fc1225","datavalue":{"value":{"entity-type":"item","numeric-id":3189818,"id":"Q3189818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79237167afd69c890595ba7da0e8702edbe42595","datavalue":{"value":{"amount":"+0.7153300642967224","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":"Q4647858$AB03AF77-64A6-4694-A268-20D561433B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd548c325e9da8bda4fb80b60b6af465b63781d7","datavalue":{"value":{"amount":"+0.6977883577346802","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":"Q4647858$696A0E33-3A54-4D14-AD51-5FF029D6EA6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient malware detection using model-checking","badges":[]}}}}}