{"entities":{"Q3525006":{"pageid":5554910,"ns":120,"title":"Item:Q3525006","lastrevid":90252869,"modified":"2026-06-04T19:41:18Z","type":"item","id":"Q3525006","labels":{"en":{"language":"en","value":"Towards an Automatic Analysis of Web Service Security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344251"}},"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":"Q3525006$C6181755-C1E0-4FE8-B0E3-BFDFC69325D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a199f8eefc5e32e0f9f9433ff469ead0cc7a769a","datavalue":{"value":{"text":"Towards an Automatic Analysis of Web Service Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525006$BDA2F05D-97A7-42AF-B1D3-EAD98D02BC43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58a5c419a0d7d022bfa567f8542c9c82469f0d94","datavalue":{"value":"1148.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$1EBD5B7B-FF36-4EB2-9261-4AD798D21430","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5fa130abf6a2c18079c25786df08bf0e632401","datavalue":{"value":"10.1007/978-3-540-74621-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$F87A2CBF-C2A7-43D0-9B03-1A529A6ED067","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3be771d01fbe526b5c76e8fa4a0f32fad7031aa","datavalue":{"value":{"entity-type":"item","numeric-id":437029,"id":"Q437029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$8860A20E-6BED-4A62-BE0F-BC391801544A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$7BD14402-5590-4EDA-B1B5-56CC25214686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$3A8D1F6D-0A04-4232-88B7-6386BD9F140B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$980C58AA-9E90-4E6D-8F81-C9D51D092740","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525006$71D933C0-5512-4FA5-8632-271C77EB43D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$F42051FD-A8A4-47F9-BD45-880E62A85E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$BE582D10-5C58-4222-9D6B-0F9F2E78308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$385F7581-AEFB-4E55-A1E2-895992553A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb482e0a5d8bb422750aed659ff391d3133d34f3","datavalue":{"value":"5344251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$E563FDAE-B8A6-44ED-9B69-D9B8F1A14DDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$975CEA3C-886B-4711-AEB1-38B31D2CF8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$32E18FD0-55F1-4C42-8B9C-FF1BD52C15F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$28502362-19D8-48C2-BB13-8A80A0AA4049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$BD8C39B1-1C8C-4EE4-B905-627E99BFAECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cf8fa123c6bbc47c2a8bf587de44aa13d8672c","datavalue":{"value":"combination of decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$324E42BC-0E45-4C10-BA1E-9AB30A9908D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$2571614D-4859-458C-8AFE-9D824B4AC3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525006$8C6175AE-6FA1-4168-8BEA-356BDD9859E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$608907DC-08DC-402A-8A04-ED29D01C2FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8fb53407b96a81b3fa8b98b393a2f05650897d8","datavalue":{"value":{"entity-type":"item","numeric-id":13730,"id":"Q13730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525006$B01CAFE7-1008-44AC-860B-A87144322B11","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":"Q3525006$DC9E8E03-9E6E-4175-B9BF-CD21FE7EC07B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c3c9206b003ae97220d5a64633d87ac8481b45","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525006$A8797125-98EB-4793-BF5D-B12E6FE97815","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4110ad557a73b452f2fb3bd093cfdfd2af9728b3","datavalue":{"value":"W1588427432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525006$F50A37BE-2FEB-4064-A15E-4782A7F4A2B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099c6cade2a136c97b8c17cad6d3bafb16cd6d94","datavalue":{"value":{"entity-type":"item","numeric-id":3012695,"id":"Q3012695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85506d8de8e65ade4ed1b799d8ec55ce77cf18d5","datavalue":{"value":{"amount":"+0.8922765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525006$F4D9D2FB-6916-43EB-8FFE-1FA52D3C0498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d5e35f7635480917258bd7b4696e3cf7941993","datavalue":{"value":{"entity-type":"item","numeric-id":2852371,"id":"Q2852371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a516ba1b32f367db3f4fc236fb1d4166a29627","datavalue":{"value":{"amount":"+0.86133885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525006$591D51D3-5881-49A6-A9EA-9E1C83E12BEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an Automatic Analysis of Web Service Security","badges":[]}}}}}