{"entities":{"Q3304816":{"pageid":3315524,"ns":120,"title":"Item:Q3304816","lastrevid":86734787,"modified":"2026-06-04T09:42:30Z","type":"item","id":"Q3304816","labels":{"en":{"language":"en","value":"Model Checking Exact Cost for Attack Scenarios"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227104"}},"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":"Q3304816$1F45B7F3-96FD-467C-AB45-CB8CD730D8DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7e4f99ce068c90d8cf3a23199eb49b18fe53fa5","datavalue":{"value":{"text":"Model Checking Exact Cost for Attack Scenarios","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304816$20AAE031-7E4C-4345-9E07-E0C67184C3D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a13822102852d131a0d1f630971542e81f82ca18","datavalue":{"value":"1444.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$9C20EA79-8BC8-40C9-9734-4C89A93B3F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1d99c7e123513564b76e8cbd02b48a91817f8f7","datavalue":{"value":"10.1007/978-3-662-54455-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$CB3B4929-1E5D-469E-97FC-0D82A9123A81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8913804bdc44c32353722d411fe5dc99981c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3304815,"id":"Q3304815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$0D0418B8-BBDF-4EC0-A42B-FA2B1101D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$3A3B0110-7B66-4422-82AF-1DA5073559D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$1F1E22D6-0DFD-4C23-A558-55AEAA53D680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469d299b05f6ef0db902802d19518b8f861cc702","datavalue":{"value":{"time":"+2020-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304816$7E682790-D883-43F7-A8EA-7EA015AF4A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$3672123E-BB37-41B3-B2F5-5693454C034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$E7884154-827B-4E96-AD17-E265C072BB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$B3DFCAEE-8B4F-4504-B599-D7CD0F6D38C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$A8B820DD-33DB-4CB2-A192-3766B03DA1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5b2e6cf1a7a4643f660c0c076af8ae3dbf002fd","datavalue":{"value":"7227104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$F9058074-C23C-4D59-8C90-99E4041AB95B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3125af02eefd9430a1d55f185c2fad929487fe7e","datavalue":{"value":"attack trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304816$176C1E23-8D19-4CE3-B8C1-EE73E2A62B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304816$93C9BF8D-8B43-47E2-86D0-116F76A9D945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304816$34EDE00F-B268-46CD-B898-703FDA12239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0f6d653a0f43d8025af1f0657b568c95c5fe15","datavalue":{"value":"probabilistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304816$AD084377-E944-43ED-876C-B760BE65F262","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":"Q3304816$8E350AD6-1DCC-49A1-A94A-7685AD4FCA85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccec933bdbebfa8e98b5eef177b4e9b7a114192c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54455-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304816$77AA4844-4908-494C-973E-6E1363CDCBBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e621f1a62c02d78ded4a50ef018b50eee4e10e97","datavalue":{"value":"W2600356401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$1E8055F2-D47A-456C-80CD-81EE62A01C91","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"beca1c2046614e58e2515833b0f6fe9e1c68c1d3","datavalue":{"value":"Q51540430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304816$7708937B-5E08-4615-9AD6-EA6CCDA2C44B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff77768c6b0ca77f3146f58c6bcd666e8eaaa54","datavalue":{"value":{"entity-type":"item","numeric-id":5717503,"id":"Q5717503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$E3C02AC2-E1D9-4D7A-9D7E-A7568AEB4A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$57F801D0-A081-4094-9C4B-5CB7709189F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$FEF885FB-95ED-4D60-825C-F6ECC94440CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7252cd0352789e148fa87ef01a9cf8f2460a6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3986758,"id":"Q3986758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$51BA50B5-82B9-4C76-A501-CAE8C3979332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$045A5778-61C3-4162-878F-79E7B2A0E01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$6DBB97B3-F014-4513-BD3F-66201FD750E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58400827380938aad7d677a98b8a5e5ffe76ed0c","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$1FCA794E-9EEB-42A9-A403-A126A8F87C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$CC1A4E43-6D62-4039-A5F0-32C8AB68379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$29E74922-54BE-4505-AA1D-C763EAF2F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53b1c5457e91607138fe8df782c3f5e1a01a755","datavalue":{"value":{"entity-type":"item","numeric-id":4922861,"id":"Q4922861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$E8E918C6-C8CB-4E9E-A071-AC63D95D3D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e798e8e2491d838ef6a69cd801f16fbe507cd534","datavalue":{"value":{"entity-type":"item","numeric-id":2945593,"id":"Q2945593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$BEE9408F-D6CF-441D-8B73-EF46E41EDA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189170aabc805891153c8b35bc0ab5d0624e6e4","datavalue":{"value":{"entity-type":"item","numeric-id":4910430,"id":"Q4910430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304816$608F25B4-3B78-4F70-9487-F3B2039E617A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf30c065122d7c82a0a2c65ef9ae06c48eae7be","datavalue":{"value":{"entity-type":"item","numeric-id":2945593,"id":"Q2945593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8427b58bb6205765833f3496fbec1de822dd6d2","datavalue":{"value":{"amount":"+0.7834075689315796","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":"Q3304816$B34BD1A2-E4CC-4D22-BC68-9B06D43AA045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ccacc9948101c425daabd184447cfa1a1d0db5","datavalue":{"value":{"entity-type":"item","numeric-id":5406123,"id":"Q5406123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c66d5947b72435a39f7073f9f3122987b75381","datavalue":{"value":{"amount":"+0.7806170582771301","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":"Q3304816$56E2D905-7BA9-4A97-9F66-97BC587EBAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74210c78fadcfd73dbcf77d0b1e27f43ac9e5476","datavalue":{"value":{"entity-type":"item","numeric-id":4909433,"id":"Q4909433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613802f79b924dd17750c32e871256998eac353e","datavalue":{"value":{"amount":"+0.7664780616760254","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":"Q3304816$9ADF7D1D-D416-4F34-BA51-29581AC7A733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99fa0862f154d6b792225b21fe7f3d352bf93a6","datavalue":{"value":{"entity-type":"item","numeric-id":5025035,"id":"Q5025035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329e7832d4e3089cae6e4aec98a10fc33fc8d8fd","datavalue":{"value":{"amount":"+0.7630131244659424","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":"Q3304816$2DB3B76C-9A3F-46A2-A801-750BA9C18101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612131746855b67f6f2d8bc631e8f5b1cfff1624","datavalue":{"value":{"entity-type":"item","numeric-id":3190044,"id":"Q3190044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2c23043d719a934cfa79ad813e76108194bfe4","datavalue":{"value":{"amount":"+0.7616900205612183","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":"Q3304816$F01DB98A-A39E-4E9D-A818-1BC9B43EDF61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Exact Cost for Attack Scenarios","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_Exact_Cost_for_Attack_Scenarios"}}}}}