{"entities":{"Q2848037":{"pageid":2858757,"ns":120,"title":"Item:Q2848037","lastrevid":83497007,"modified":"2026-05-07T08:25:58Z","type":"item","id":"Q2848037","labels":{"en":{"language":"en","value":"An optimized intruder model for SAT-based model-checking of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211396"}},"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":"Q2848037$EAABD3A7-75BA-4645-9F5B-F569C768AA4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ef2a13796b97aa84d9cf813a22f328dfd7aa2b","datavalue":{"value":"1272.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848037$916B5B32-C2AC-4735-B520-36AA1748E00E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848037$8C8A4635-C8AC-4041-A85D-471CF00B67FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4305e7b2a6e4459bc4478e72255ec07233bbecdb","datavalue":{"value":{"entity-type":"item","numeric-id":540675,"id":"Q540675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848037$B7C1285F-2BCC-4A83-AFD8-F8DB6ACAFDA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848037$28DFB983-B10F-403E-AB47-846577D403F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29bf35ccd881758306e5fc721767e98de2cd5ab8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000769","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848037$250EC7CA-9F2D-4D77-8D1F-3CDB57463C11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848037$099180D0-2841-4C50-B4E4-FBFBEEF90290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848037$3B979E3B-2107-4DD6-9977-DA06B7B164EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848037$5F3F5887-A7CA-4604-8C4C-D76616CCBE27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a1206d1832111fd50e096c0069affb4ea352ff","datavalue":{"value":"6211396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848037$4BBFDF4D-428E-4207-A571-1E656021FE18","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":"Q2848037$14424A3E-8644-4FE8-A2F2-D8AFEFB5A11C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c99ce2bb75f44037b551c3f535e83be72ddc5b9","datavalue":{"value":{"text":"An optimized intruder model for SAT-based model-checking of security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848037$35DC51AD-2452-4AD9-8050-5E222FBC17DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2446463377b2281655c26d09793e95b7e9382d","datavalue":{"value":{"entity-type":"item","numeric-id":5325866,"id":"Q5325866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e28bfc14fdfea7913090f238ac89b4184f1aabc","datavalue":{"value":{"amount":"+0.8016675710678101","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":"Q2848037$9A1B7F85-D81D-43C2-BFEC-27B40B234D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7c9c48f6bd116c71c4eb2fb6361f19c294c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4422080,"id":"Q4422080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e97802cbd69756406fb7647832323268e891f4","datavalue":{"value":{"amount":"+0.7942888736724854","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":"Q2848037$DD640612-B6C5-48C5-BAAF-77C25208232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02379bcc1ce9b93d139a05a978271a25d514189e","datavalue":{"value":{"entity-type":"item","numeric-id":4473567,"id":"Q4473567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9a0926da471617d4e341e9c2491a3a060f8508","datavalue":{"value":{"amount":"+0.7856191396713257","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":"Q2848037$F79B20D3-DC20-4C23-B113-7253A108D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e235e36d761e545ffe0a5290b228fb44fa9a3e","datavalue":{"value":{"entity-type":"item","numeric-id":5423888,"id":"Q5423888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ddb5fbd116be6b90e197107f7deb5adc5e167c","datavalue":{"value":{"amount":"+0.7477697134017944","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":"Q2848037$C627C212-EA4F-4D28-9395-1148383B673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4460714cf1aa682038bad3096f946b441650a34f","datavalue":{"value":{"amount":"+0.7304019927978516","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":"Q2848037$C64CD6A1-CA3A-4735-AF92-0FD252DE6DA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An optimized intruder model for SAT-based model-checking of security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_optimized_intruder_model_for_SAT-based_model-checking_of_security_protocols"}}}}}