{"entities":{"Q2894269":{"pageid":2904994,"ns":120,"title":"Item:Q2894269","lastrevid":51501095,"modified":"2026-01-18T13:01:06Z","type":"item","id":"Q2894269","labels":{"en":{"language":"en","value":"Pushdown model checking for malware detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051081"}},"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":"Q2894269$CB5C346E-DD53-4E42-B488-E16FD653DA3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b7a38745339be0ddb2888229e64677b10a19fff","datavalue":{"value":{"text":"Pushdown Model Checking for Malware Detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894269$9582389D-7236-4CB8-A6A2-27E7134257C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69acf2cab96e96474d6eefca2223fbe9be1c75b1","datavalue":{"value":"1352.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894269$36B6CFE9-0545-48F0-8DD3-EFD5D2D7B061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"726c2b7475cfb902167b218ec070ed105d3f2e75","datavalue":{"value":"10.1007/978-3-642-28756-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894269$69498552-A923-4431-BAAF-B0E529FCE5EC","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":"Q2894269$D4A136C5-8600-44FF-9627-686D2D10C475","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":"Q2894269$73AC5286-55C1-4B73-9A25-6F4EA1164B6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894269$3FA1E7D5-EB71-4D9E-82A4-322F606D5A17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894269$76D12340-78D2-4EA8-A2E6-DAC1074F09D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894269$CD910578-8104-40E6-9B7A-73E3739EAC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20a536644020725b3c915129d346fb20f719020c","datavalue":{"value":"6051081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894269$13D533CA-A9E0-44CA-B7E4-20C1E394E6EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9512ad25b5c1798f7eaa6ef5931fef361d5c8702","datavalue":{"value":{"entity-type":"item","numeric-id":24714,"id":"Q24714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894269$78820D4C-DF90-43BB-9395-DF41AAF782CD","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":"Q2894269$4234E0F4-67B6-483A-843C-60783EAC54D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a93fffe2878a253ca1a6d7160fda1910f6bc64db","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894269$0147283D-064F-4FDD-9EF7-7E2FCCBBF7C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e70abc6347e622d2aae7f01052df9cfca715873","datavalue":{"value":"W2226594342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894269$7A0952DA-3C52-4611-BC25-63AF76162344","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":"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":"Q2894269$545ED404-0BFA-4870-8492-5392A1CE1520","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":"b519c7273b527a0f6fddb24b1b46193e608b47d5","datavalue":{"value":{"amount":"+0.8805831074714661","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":"Q2894269$F639CEE7-9C5A-4338-BCCA-D6F8767D676A","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":"b5e0d25f1a5718e5d886d516f7d9deb3a386508c","datavalue":{"value":{"amount":"+0.8106290698051453","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":"Q2894269$EFEE719E-3B0B-4F10-A9F9-87352DE78A7A","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":"833bb94baf8b11ee35f1acf05f2a41d214b413ce","datavalue":{"value":{"amount":"+0.7717772126197815","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":"Q2894269$968D147A-1FB3-489E-B2F2-02C23704986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c578467d48e8df8c5b4749b5772793d37e1bb7","datavalue":{"value":{"amount":"+0.769285261631012","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":"Q2894269$9C1E6080-442B-4156-BFAD-6911E7DA0111","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894269"}}}}}