{"entities":{"Q3021982":{"pageid":3032698,"ns":120,"title":"Item:Q3021982","lastrevid":48503338,"modified":"2026-01-05T01:04:25Z","type":"item","id":"Q3021982","labels":{"en":{"language":"en","value":"A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177769"}},"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":"Q3021982$262E78F9-7707-480C-B17D-F35B09CE5575","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a42e1116dd6c9ff8843d17266621b2d3538a483e","datavalue":{"value":{"text":"A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021982$63521E88-55CB-499F-9CB8-277CFB80C7D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b6d4010bb7f727391e0503b5f62a2174d9af07","datavalue":{"value":"1066.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021982$351576D9-C2E8-4450-B847-4C8829FE4EAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f70699309ba233c09ecef754a0fb3f9ecefc6f9","datavalue":{"value":"10.1142/S0129054102001412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021982$B822C44A-4579-4438-839D-F02215834179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021982$E5F5FA0F-9576-4CE6-B968-DA796E9F7C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021982$9BC57B19-A2C9-4C36-BE3C-1121CC89B30C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021982$3F2A532C-FDDB-4ADD-9851-D8353159900B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3021982$7ADBA645-39DD-428D-A3D1-C0600C7B4335","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021982$F4337A71-1394-4C16-A707-61E02FF62A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021982$B36DBF58-806C-49C0-8388-BF296989F8EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3df38203afcfd4b21f0786e2e79e02edf0631c31","datavalue":{"value":"2177769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021982$F17D4E00-09DA-4D08-8BA4-FA6AD2684B5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021982$467F2168-6CC1-4A23-95E8-8A788E180A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab914e4b1ee636749aaff08903c675f2353b5ff","datavalue":{"value":"state explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021982$C359ABA2-DAED-4E7E-82C1-110E50AAE909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021982$6F3AA86E-53A3-4A5A-B38F-9C3FC449598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021982$393E85DE-C516-4942-8A28-E2742FEC06D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021982$AF13014E-6698-4A3C-AC02-A78B99C116A6","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":"Q3021982$3608F28C-BF43-4209-9321-95819122FBA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021982$6E501DD8-59F5-48D2-8F3E-7AA1F3530C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daef0e8eabb8b90827bc8551bc7088ac4899145","datavalue":{"value":{"amount":"+0.7845858931541443","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":"Q3021982$EB114E7F-41E3-4537-A46E-7233893073B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c8bcd98d051f6489fda1a3148431a33928fb45","datavalue":{"value":{"entity-type":"item","numeric-id":3540089,"id":"Q3540089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047e657460d53a4802e43b5976016ee8fcde1727","datavalue":{"value":{"amount":"+0.7596972584724426","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":"Q3021982$8B83A7C7-1E78-4432-9D44-295D3E4AE666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec15c6ecc47b9e6acb87cddb29922b6ac0d4497","datavalue":{"value":{"entity-type":"item","numeric-id":2703739,"id":"Q2703739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa6daab9f498fc3e62e8ca0fae606a210f59ebc","datavalue":{"value":{"amount":"+0.7480342984199524","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":"Q3021982$2E3E2038-1A7F-4541-B182-F53392FEF3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161e6a86adffc14a091f92809d0baeb11758326d","datavalue":{"value":{"entity-type":"item","numeric-id":4531763,"id":"Q4531763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3beef5c8bf09c47c12a28389be0a7ca648c02a0","datavalue":{"value":{"amount":"+0.7469594478607178","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":"Q3021982$05D94178-47AE-4689-B37C-82A2FFBDF520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b46d7a05b08192fc8adb17d9b27dfe851b7cea9","datavalue":{"value":{"amount":"+0.742977499961853","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":"Q3021982$F714C9C6-D8B7-4FD3-B2A1-DE0063F86516","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021982"}}}}}