{"entities":{"Q6489006":{"pageid":14067775,"ns":120,"title":"Item:Q6489006","lastrevid":55605139,"modified":"2026-02-17T19:36:32Z","type":"item","id":"Q6489006","labels":{"en":{"language":"en","value":"Automated Game-Theoretic Verification of Security Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817524"}},"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":"Q6489006$034C910E-B370-4086-B668-DC2F2D032712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da60d701732f924362b77310629c00cce46e1e5d","datavalue":{"value":{"text":"Automated Game-Theoretic Verification of Security Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489006$63D8BDCC-4605-4991-8C08-C568BC50E089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3ace0d3f7432dce3d9598073f8d5a4dd9b6dc2b","datavalue":{"value":"10.1007/978-3-030-30281-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489006$2C0ACC25-7F41-422E-BBDC-9F3DBC1020CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf48331e99beece8d70dc67a0e4198fb5a46a4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4635592,"id":"Q4635592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489006$93AB8954-0AD1-4CE5-9A11-6560BC856BCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6489006$045907E5-F0AB-4B9A-B419-1BB561E4262E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489006$B17AC113-67D0-472D-8C66-BF12877AF8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489006$C1BD54FC-328A-4A1B-A87A-2D6DF2562CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489006$C384E5E1-4165-4B36-A2CB-D417EA0F1B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"851b6b0dfff8335f72f9f732b92ee28612e9b3dc","datavalue":{"value":"7817524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489006$E163C85C-83AF-47E6-9C74-481E4D7CD651","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":"Q6489006$203F063B-D4E9-41F0-A0D9-67445AC63578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08779ddd014f289b27a34923fa30c66d069b83f3","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7ad06e7f3ad7743881ccdd9227b19a9235ec12","datavalue":{"value":{"amount":"+0.74409419298172","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":"Q6489006$1FC84F7E-1E10-4AD8-BBA3-31E16E1EE359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f83ab8090b15a51c932a969f6233016eb2c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3003396,"id":"Q3003396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628049569f3ba4058180a92b8004af00f33b43d5","datavalue":{"value":{"amount":"+0.7393778562545776","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":"Q6489006$A0212EB7-9FD2-4876-BC7C-62EC9C78AA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a579d74b5901b8fc4e64efe00fdd6b157b92156d","datavalue":{"value":{"entity-type":"item","numeric-id":607405,"id":"Q607405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f988d9b17434a841d7ce13238439a051338ebf98","datavalue":{"value":{"amount":"+0.727192759513855","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":"Q6489006$5BC5B493-83AB-43CE-9BD7-88F4F06F2148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb75d4bb2e7fb4bb93953d44e45c796e37217334","datavalue":{"value":{"entity-type":"item","numeric-id":321318,"id":"Q321318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bede349e310b40a1b7c52f68cf03257b463080c","datavalue":{"value":{"amount":"+0.7264928221702576","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":"Q6489006$7B771D83-A27D-48F3-AFA6-67061F5FE7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9162768a60c9d1504aca4e2b5f0a9b5495de20ea","datavalue":{"value":{"entity-type":"item","numeric-id":497644,"id":"Q497644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796ef36e980160923ce3341c7f861a83208aa5d3","datavalue":{"value":{"amount":"+0.7262887954711914","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":"Q6489006$B0A16DCF-B9AB-482B-A825-A1BBD3B25555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6489006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6489006"}}}}}