{"entities":{"Q2355384":{"pageid":2366127,"ns":120,"title":"Item:Q2355384","lastrevid":52310426,"modified":"2026-01-21T10:14:24Z","type":"item","id":"Q2355384","labels":{"en":{"language":"en","value":"Proof-based verification approaches for dynamic properties: application to the information system domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463409"}},"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":"Q2355384$73028FE2-8B63-4613-B143-1DFC395C1FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8e25d99f9e745fb6fbc3eec7a949cb3fbc0fc5a","datavalue":{"value":{"text":"Proof-based verification approaches for dynamic properties: application to the information system domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355384$643B000E-D426-48A1-9D2C-295C5B827713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09e5c660e4c26f343c6691d2c6cc829d1dd2bcf3","datavalue":{"value":"1331.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355384$BF144ACE-9DA1-4596-9673-E2091516012D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"963320232ba3097e189087e6e5b3689aca9b3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1688551,"id":"Q1688551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$A809D10F-2847-4F6D-ABB9-1D8DE4BD5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e2502d555044057b433878309d4bafe6f0f848a","datavalue":{"value":{"entity-type":"item","numeric-id":736834,"id":"Q736834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$36A0D83C-1D90-47E2-B51E-B8EE0BA4142A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$62458FDE-E5A9-47ED-BC04-A557304C4A6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a52122e330a715e7d863b59e64df5997f01e79a","datavalue":{"value":{"time":"+2015-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355384$D891D21D-1503-4E48-A22D-07C10B3CE6FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355384$99A5CF89-A788-4493-9530-F31D9BF5A196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09eeb96836a10e891801238e74553a593b9dcb91","datavalue":{"value":"6463409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355384$24D1B13E-2A37-44E2-BD9E-F6706D733636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e30e1eeb94dc3b636d569f8596847b5ed8a6e5","datavalue":{"value":"dynamic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355384$3C8C4608-2C1F-4C9B-821C-B78111D4EEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a73d1d90d406375afb796bbe69abec43811636","datavalue":{"value":"\\(\\mathbf{B}\\) formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355384$A7D6BCC0-40DA-4886-8608-72CACCEB1CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355384$EFD34C4F-FABF-4135-834C-F7E8310FB4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f0d8e4c07e2c19f951881ec9c4c62902d1f7c","datavalue":{"value":"property patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355384$27557370-DB3A-4E22-B3C6-870367C334B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$21378D49-27C4-42EE-B212-CEB26287BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$B7931A30-D94C-481B-83F6-C126CE838395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$987DE9F4-F21F-4EED-A2B9-9D8DC287C203","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":"Q2355384$05EDD117-216F-4C26-9025-C5DF7D50CD8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6dffc171565581db6181bf78f6fcb428228a5a","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0323-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355384$AD3CC9C9-59E6-426A-A418-9DC9B200FF87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2b3fded181a0a66f64519ab1d73b6c18500ea1","datavalue":{"value":"W2012984207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355384$22E2B0DE-A6E2-4C30-9021-AB8C950D5AA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$5F61E6E7-67B9-41BF-99C0-38E913C48221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be70c371f40a0badb1a30d361afd86a66e8482dc","datavalue":{"value":{"entity-type":"item","numeric-id":4737571,"id":"Q4737571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$69FFC5B2-5414-4F10-A9DE-05AA66D4E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$04C7656C-B3F2-426F-8654-89BE2267679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$000B6597-876A-44ED-A838-1D4B39CA00D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$E6A9F53E-BD31-4F40-9C9B-E15CEEAD628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$1C9D8981-B864-4DE9-BB9C-FFE6F97F22E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7487e8571cba3063ef9a305ba5dd106faf1de1b","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$9BD6EDBB-B7CC-4E88-8FF8-D2ABD25DE7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$E0EF9543-4B39-45F7-9AB7-403DA0F2C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$F65AD5F1-1A70-4135-A3D6-C6085E6026DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$7B67596C-E7BF-45AA-B13A-3A0F40C7EE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953fc5c05cca94208978dbd55a4c18e58d7b4208","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355384$6E1AC77F-5840-496D-992B-931299E04E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f180de5441ad640a01c2bc177f417d4ffabd36d8","datavalue":{"value":"10.1007/S00165-014-0323-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355384$CF7348C2-6612-48BD-9C1D-1776C2000AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ca434aa252a3c245ddfa693589062293f6d711","datavalue":{"value":{"entity-type":"item","numeric-id":2764139,"id":"Q2764139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338f4e87cfa3c64735fd266ee5d33d839eebe06e","datavalue":{"value":{"amount":"+0.7409418821334839","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":"Q2355384$2B17CA05-52EC-4C0D-9C2E-C01F0DBAF104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64d50c592303007cfb48295556b5682a85705e5","datavalue":{"value":{"entity-type":"item","numeric-id":2723912,"id":"Q2723912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8438b5c60d27ce4c88c08e78bd27b2ea2d57f8f3","datavalue":{"value":{"amount":"+0.7320041656494141","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":"Q2355384$F4466D3A-8F91-4F5C-8CF0-D0D244EFAC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f57b854aea5d8ecd364019527d4466271dd3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09c99acdab508b1ad2ae4da22d8ab389f4a43b6","datavalue":{"value":{"amount":"+0.7289466261863708","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":"Q2355384$68D5D56C-68FB-48D6-A161-65743DD92F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab25c74733e8949d0d10895388e30ce560b007b","datavalue":{"value":{"entity-type":"item","numeric-id":4494240,"id":"Q4494240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb0726fb0133a87b17a0c68519109a9007a0943","datavalue":{"value":{"amount":"+0.7202340960502625","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":"Q2355384$FA144B4E-F8D3-45C2-AB0A-B3090755567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2888b6b635bec740c543096788b63850680d69","datavalue":{"value":{"entity-type":"item","numeric-id":5491874,"id":"Q5491874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae02db8a5ec5fe67e81584a7437a99cf24bd6147","datavalue":{"value":{"amount":"+0.7159007787704468","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":"Q2355384$58BEE4CF-4E9D-48EA-8CF0-7DA56B9C01C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2355384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2355384"}}}}}