{"entities":{"Q5326341":{"pageid":7355915,"ns":120,"title":"Item:Q5326341","lastrevid":51790469,"modified":"2026-01-20T01:30:21Z","type":"item","id":"Q5326341","labels":{"en":{"language":"en","value":"LTL model-checking for malware detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194850"}},"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":"Q5326341$4D994888-4229-4413-8276-4034A7A4EBA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a3371f264b9ea3d081d736c5c463ae27030c2b8","datavalue":{"value":{"text":"LTL Model-Checking for Malware Detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326341$D7C8D4D5-D41E-464B-92E4-151EF37C17D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3932a0aaef4f8cdb4516f3f41059e462903b187","datavalue":{"value":"1381.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326341$71A3D402-3DD8-44E1-A192-56B3AE456F26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb0726392b26228d82ca5bd4153209453e77668c","datavalue":{"value":"10.1007/978-3-642-36742-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326341$A2377FAA-1C1D-4F1A-83FC-EBE972016063","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":"Q5326341$DA90A369-3D75-4A5F-A377-0D288EF95A38","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":"Q5326341$34EF4BF7-C098-4575-8854-F6AB0FB7046A","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":"Q5326341$76659C11-338E-4FE5-A52E-05CA69E5D0F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326341$233A68F3-87BA-4D8F-925F-55FD06FDCBE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326341$34D96D81-BAC1-4A57-80A3-DFC3B55CA493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46176b269977da8d9663de0fedf6f5b4d3768e9d","datavalue":{"value":"6194850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326341$C12BE238-9FD3-4F89-93DA-D94F3A1779E1","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":"Q5326341$B951FE1E-35E6-42D9-83BA-E2D62A0015CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89429865c84cd5035ce44ea7831e4cdf7382db65","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326341$C781C1FE-CABC-447F-8197-E77CA25C2BD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61199e99ad1b6daacca2a05306e98e79bf91eacc","datavalue":{"value":"W131049964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326341$7F0F17D1-640F-4B8A-A267-81482AC932AD","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":"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":"Q5326341$537CE449-F2DD-465B-BCB5-19D28B9DB274","rank":"normal"},{"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":"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":"Q5326341$1E85CC17-7F2F-4493-8E24-615663BC9ABD","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":"2130e437a7bafa056b72fde08a866e6f0fc532f7","datavalue":{"value":{"amount":"+0.754584014415741","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":"Q5326341$0855336D-D670-4978-B820-963E7A171385","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":"4c5e2016889270b78385880c134c287d3fd72fa2","datavalue":{"value":{"amount":"+0.7493457198143005","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":"Q5326341$4B2F9D71-CEB0-4900-A57A-F7DBDD62C475","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":"a2cf01dd77ce832974c7e5ef28544437328560a2","datavalue":{"value":{"amount":"+0.746242344379425","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":"Q5326341$5BE80F47-4D07-459E-91ED-B149B856A447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326341"}}}}}