{"entities":{"Q784132":{"pageid":785981,"ns":120,"title":"Item:Q784132","lastrevid":64307055,"modified":"2026-04-11T18:58:29Z","type":"item","id":"Q784132","labels":{"en":{"language":"en","value":"Systematic classification of attackers via bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228509"}},"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":"Q784132$D5CA50EE-A618-4739-9FE1-8C80F9979CDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52274accea629e6e874b293054646b3cb9bc718f","datavalue":{"value":{"text":"Systematic classification of attackers via bounded model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784132$C81C33BF-03DC-412C-AFC3-45F20B20CCF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98af0e7b0cca1d83deecbcdaedf1f269992ec7bd","datavalue":{"value":"10.1007/978-3-030-39322-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784132$D8F9645C-7707-433B-B745-D687702BDC94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784132$8E82D4A6-CDCB-4C6C-A748-5B8A39176E22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-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":"Q784132$308AD336-D46B-4DF4-8F3B-FBB02CA0B781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f889216a44976dd7007c242733ca24f35bea6cf","datavalue":{"value":"https://arxiv.org/abs/1911.05808","type":"string"},"datatype":"url"},"type":"statement","id":"Q784132$3A1A8BF8-65C1-4544-8F3D-D64F6346EBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"218ed84d17852995b2ed165bb66a33f967069637","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4634","type":"string"},"datatype":"url"},"type":"statement","id":"Q784132$14EB24F3-AA89-4AB9-9EEF-1EE7BC16D1FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784132$3C57D496-8448-4825-994D-D235DE65C284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b8b9c4dae90742f612044ad41dbc00b4999a61f","datavalue":{"value":"7228509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784132$1B579B00-567B-4EA2-833F-1BB41B5C11F6","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":"Q784132$D51C3D2E-FCE3-4CD4-9F87-B294B5651301","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10655032e59d934bba6e07b08e5908c62c46d213","datavalue":{"value":"W3004323535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784132$ADBCBE6B-1BE2-4B1D-AEB7-D19D1ED5B068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68ffc2319650abb71dc2eb479d94d67356189e1","datavalue":{"value":{"entity-type":"item","numeric-id":5327329,"id":"Q5327329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057c17df278fe8df5b529f2cc06a3ca0c60ce758","datavalue":{"value":{"amount":"+0.6912221312522888","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":"Q784132$29ACD8C9-5BA6-4070-A0A7-B90F7680FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f4a1f5ea15d4d0f7b702eab6883bb0cf1fba59","datavalue":{"value":{"entity-type":"item","numeric-id":6045060,"id":"Q6045060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa57a627bcd4a715867c59d9d8e9404ae09cf728","datavalue":{"value":{"amount":"+0.6887434720993042","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":"Q784132$5D735957-F8B2-486A-8096-80663678CCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce0ec48078d5db0de0480b07518798348aecbe6","datavalue":{"value":{"entity-type":"item","numeric-id":3304816,"id":"Q3304816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9046d92e4c9b54a1563e6eb06a7a414e940152bb","datavalue":{"value":{"amount":"+0.6512905359268188","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":"Q784132$CA132E53-D15C-40E3-9777-05F6E5ED3921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c04620c1d8682235cbf37fc9debd51cb82fda6","datavalue":{"value":{"amount":"+0.6492841839790344","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":"Q784132$E80AAB9D-872D-4EC6-A758-9F1C3B438A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588d0593aad22ee5f6bf975d76db92386b507d8d","datavalue":{"value":{"entity-type":"item","numeric-id":1959616,"id":"Q1959616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb40fe56391b26b57c2e562817906d893b2e6030","datavalue":{"value":{"amount":"+0.6460471153259277","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":"Q784132$2BE2FB98-D976-4D15-BBAB-D7EC9F8E0F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systematic classification of attackers via bounded model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systematic_classification_of_attackers_via_bounded_model_checking"}}}}}