{"entities":{"Q429592":{"pageid":431359,"ns":120,"title":"Item:Q429592","lastrevid":51494966,"modified":"2026-01-18T12:23:45Z","type":"item","id":"Q429592","labels":{"en":{"language":"en","value":"On the verification of security-aware E-services"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048193"}},"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":"Q429592$8CB0DAEB-1445-4F7C-918F-F450DE267E44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"702ea2578bed239cdf542591119065bb30b4c364","datavalue":{"value":{"text":"On the verification of security-aware E-services","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q429592$E582FC52-FCF2-4290-971B-48FE0C352970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b854197163fa465f68f9e002e8c32603f5babc1","datavalue":{"value":"1241.94030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$F69A4059-2685-45BE-A141-2F4F3858AFC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$147DA13E-FEA4-4CED-90E2-9B3EE57383FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$DD5361FE-614A-4796-83C0-76749DFF63F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q429592$4DF40EE5-95F1-46EC-8BD2-924C4A9C7DD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$DDECB60E-3AC2-4459-AD76-92E7B74DFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$E0E988EB-8968-4E59-B56D-E860C57C0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$B86CA3FC-B301-446C-BB43-EDEC6A91A2C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87388759bf085bd891dd88038524ceffc5d706b","datavalue":{"value":"6048193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$85F8E6E5-9013-42AC-9374-A460E115978C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab4089e9f11f3d71967c78b65a3be7419831962","datavalue":{"value":"relational transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q429592$BE72CD4E-47CF-424A-92D3-D71435DE6F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa85bf99b73ed129c6790da36b6deb9b49e0946e","datavalue":{"value":"access control policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q429592$DBCE4D22-EC0A-41D6-AA91-7274C93ECF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q429592$699C08A8-D40F-4CF0-A0FD-C433F3BE3551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156b3b19d14a4981971bef46860f4c1364f56b5e","datavalue":{"value":"Bernays-Sch\u00f6nfinkel-Ramsey class","type":"string"},"datatype":"string"},"type":"statement","id":"Q429592$D3AEB9D1-EABC-424A-8A9A-1F9A27FD826D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q429592$954B1C50-A498-4F4B-AFAB-011E9EE0FE44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$06613BEB-70B9-4F65-BBE9-9B4DF6EB392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0722b682c655a36bdb24a42b09e0f9a3c4b58478","datavalue":{"value":{"entity-type":"item","numeric-id":38479,"id":"Q38479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$5BFFD662-25A9-4E8F-8BA2-70E01F7353C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35d91cdb711a170a910b87f452fe7b719797aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":23845,"id":"Q23845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$BCC5060A-2DA5-458F-87C4-5A2D585B7C5B","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":"Q429592$DB0D0BEB-8B7C-45A8-88DD-6A4392B48030","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"768d6f648b160d5aeb71e97dafa763091a9da4e0","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.12.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q429592$CDE68E3C-998C-4B5F-A57E-1113D9E4B3DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3a097fcfc25f4538495d7bb0189c03dfdbae51f","datavalue":{"value":"W1972230883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$A224AA4C-12B6-4D1C-9DA6-DA56322DA324","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7296ba924b0103a533117515279cf1d144f6512f","datavalue":{"value":{"entity-type":"item","numeric-id":1591155,"id":"Q1591155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$4B00E2F6-3A22-4F4E-8416-26611E80DEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15f460933bdeb929238d6e37aaa1cb1134dad85","datavalue":{"value":{"entity-type":"item","numeric-id":4508935,"id":"Q4508935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$7DD28BD9-088E-4488-8501-80E22B3740FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$8D5F80BB-19D2-46DA-8317-9E1BE0F5A249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$7DFCD9E1-371C-40C7-930B-AB8925EEB986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ae4499d60c9f92206298cafeb8fd1f1998347b","datavalue":{"value":{"entity-type":"item","numeric-id":4809070,"id":"Q4809070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$75C1230A-9D56-410A-84BB-7F81A589E66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab4b73b14197920e997a3706a6730eb202d7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5307056,"id":"Q5307056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$C0506EC6-92A8-4F04-A975-5C35E59668BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b46d5f65e8737cac806fe4f42d3b4d6ec963c54","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$443B2339-6575-4FD9-9322-B6381613ED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edebf5f1fa83303fbb64eef32149d3c18b30fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4415096,"id":"Q4415096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$3D629908-4E85-4541-921B-8AB7789396D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ecda2530a74fd3b958fc170aad75894016b80e","datavalue":{"value":{"entity-type":"item","numeric-id":3541720,"id":"Q3541720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$C4B27E40-591F-40FB-B84D-0752F3D1DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d71c3b92ca55baa877bab542d89fc889c93f6f","datavalue":{"value":{"entity-type":"item","numeric-id":972432,"id":"Q972432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$53EAD83C-3563-45CB-B254-FB3735B665EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d201f1220ce43da8f2eaf21211826f90fb4af6","datavalue":{"value":{"entity-type":"item","numeric-id":429592,"id":"Q429592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$4A9A5EF1-7443-4F7E-A49C-C0BC19BB4217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae9fba9742c8f5c68b27aaaa990d10d3254efa7","datavalue":{"value":{"entity-type":"item","numeric-id":2848067,"id":"Q2848067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$5C7D84D9-1EE6-4CC6-9F89-A2EAEE84551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbeaee82e2d22dcbceca8a7a0c2001f5a8c9cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3490936,"id":"Q3490936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$17C8EE1F-B830-4FFA-91BC-5E076CDA1715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebed7d97bca210ecad65268acda07ed26c0942f","datavalue":{"value":{"entity-type":"item","numeric-id":1394796,"id":"Q1394796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$6F052D44-AD85-443C-91BB-C9F040A66D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72857eab035e148de2ad6ba24027d5984b9b7b85","datavalue":{"value":{"entity-type":"item","numeric-id":5747783,"id":"Q5747783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$1A25C5FC-28A6-47E9-9E77-8B1665784BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a4149de9cd17a80d5d38853a52a46ac3710783","datavalue":{"value":{"entity-type":"item","numeric-id":4259971,"id":"Q4259971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$785BEFC2-A24F-41A9-861C-B30B243D901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$536DB8F0-67F3-406B-9686-D7EA63997928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q429592$CE2D938B-589F-42AF-82B0-00ED5BEBDCDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe2dc1e292eca90dd91787e64bac101e9ed3576","datavalue":{"value":"10.1016/J.JSC.2011.12.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q429592$67156471-C5EF-4B86-9CC7-1B95B1C25CBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20237465a6a2efea77573ec6c9bb304f29098e0b","datavalue":{"value":{"entity-type":"item","numeric-id":1394796,"id":"Q1394796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6281304465a39863a1bea4f189e46098329b5f34","datavalue":{"value":{"amount":"+0.7811557054519653","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":"Q429592$A2C04A6F-8409-417C-A1AE-D5C223B79391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7e21779de4fdf93f9b2e5534dcce8174fc84fc","datavalue":{"value":{"entity-type":"item","numeric-id":5892652,"id":"Q5892652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218a0ab24b40668586a4be8e7369cc392e650025","datavalue":{"value":{"amount":"+0.7510774731636047","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":"Q429592$06453FC6-0612-44DE-BA5B-BEB1DA3CA83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324aae5199ec5ab6aebbfbed07dcba3ce5af8ebb","datavalue":{"value":{"entity-type":"item","numeric-id":1591155,"id":"Q1591155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6429bde2f5eb119e104306500f155c2ef290dc4a","datavalue":{"value":{"amount":"+0.7497619390487671","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":"Q429592$8D4D960B-1846-4B19-B14F-ECF3A27B04E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6705f945bd7fb98ce2c6e3f540172e5287f7e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5899514,"id":"Q5899514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db2c2461bbaf5739eb0ee104760895b651ff2a3","datavalue":{"value":{"amount":"+0.7450271844863892","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":"Q429592$70BDA3B1-DE03-483C-9D12-14C96A38321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f0ab1eb857ea21e8a0169da426e2f843b413e6","datavalue":{"value":{"entity-type":"item","numeric-id":2847799,"id":"Q2847799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5738a4b4fc961465bd116bac2d1345207be58cdc","datavalue":{"value":{"amount":"+0.7444757223129272","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":"Q429592$A316016F-AFAE-4F78-9B1B-5699D15CBC5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:429592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:429592"}}}}}