{"entities":{"Q5747780":{"pageid":7777331,"ns":120,"title":"Item:Q5747780","lastrevid":51080456,"modified":"2026-01-16T13:41:08Z","type":"item","id":"Q5747780","labels":{"en":{"language":"en","value":"Automating security analysis: symbolic equivalence of constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785466"}},"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":"Q5747780$D8340121-903B-47A0-B9C1-D455545D7A48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dacb257a8935fe80bcc7e4f5b435edeeb365633","datavalue":{"value":{"text":"Automating Security Analysis: Symbolic Equivalence of Constraint Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747780$E3F6FACC-DB45-4959-9D8C-7601586932B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12b5bd68f58e1597e482fd81935f56f5aa27cbd6","datavalue":{"value":"1291.94068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$5B4FC5C8-0411-4245-B760-3DE76FD6BC56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2ec88b384825004ccfa9da5bf62b2dda6cb25e","datavalue":{"value":"10.1007/978-3-642-14203-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$041ACD7A-A169-4145-AAB8-DF22FBA60B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$397D78B3-EE85-4DE4-BD8C-18B169A16212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$F89F57CC-C764-4BD3-9508-6CF22D6AA650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$68BF1855-CB05-448A-B601-EBA21BC4E28B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$481D7B11-0A4E-4E76-8F27-A4B6279B3E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-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":"Q5747780$24ECF573-4246-4097-9AF4-E4E34C2F02EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae4fe244175ed4c08c716c4f1ba34742701579ea","datavalue":{"value":"https://kar.kent.ac.uk/46730/1/CCD-ijcar10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747780$3C82462F-717E-4F14-ABE2-3299E9DD4C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$48F70B6C-B416-40BA-A9ED-BBC131BFAF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$73257435-E5D7-4B0C-A1CA-6A4178DF7AE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1749f8ef126a82b9e8121f0b6d5aa8969693bab1","datavalue":{"value":"5785466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$FBAB3A3B-7AA4-4407-A75A-04F19477FBFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$B2FE31F7-7903-4BDA-BFC8-E98FBFE4833C","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":"Q5747780$F3178747-7493-4530-B3DD-DB0B2E1761C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"198ae52e034c9e620f416ae3f04ec9e0f9d023ca","datavalue":{"value":"W1535988411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747780$EDE56212-C8F4-4223-B1EF-03AEBFC5D06A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$FB1106D4-A326-4475-835A-7367DFFEACF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$A902685E-955A-416F-B944-E798209D9085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c2adeed657e5d066494848492da920d3c0f772","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$C5892930-A7A3-4D42-9C89-24921CEDC6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$1B535235-5266-4AF6-BB24-5AF09E720625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$45A47FFF-E274-42C5-90EB-7D0165AAA4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b625e09cc861ea2dc29ac6d985a655aa3ce13538","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$E16EC5BD-2748-4FC1-ABE1-190DD485D72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98afec6b74c46d4beb232e097dd5c40c4856553","datavalue":{"value":{"entity-type":"item","numeric-id":3541719,"id":"Q3541719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$143B7441-DA82-455D-8892-797148A73861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$4C76906C-5550-4757-8606-28BF0F44796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$11815CC9-114A-4A48-98DB-FF9C98B08C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f70e7188156d403f522b81c0f9facf21845cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$CCFE3449-3776-4B38-972A-591E405D345A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdadc4881bd90965df4d1edbb3df8d8de0473","datavalue":{"value":{"entity-type":"item","numeric-id":2842870,"id":"Q2842870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$437165B1-7715-418B-ABA4-233A2935D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$3754124A-A5A5-427A-8CEC-AD3AA0857623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$8C0D4FFE-0876-401D-91D9-3CE15FBEFDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747780$2CA5147C-5C8B-450B-BC5E-E2E1F33B1256","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247693272a0eb1fd0e97fcc47d8fbc1040ac4521","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6684197d691dd6911cfef9a39c58df67619626d4","datavalue":{"value":{"amount":"+0.8937393426895142","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":"Q5747780$B6E1FA98-71BD-4052-923B-60A802D16386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba3df186d937c076eb0b2c65158a11b5486168e","datavalue":{"value":{"amount":"+0.8189865350723267","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":"Q5747780$3080F532-0539-4B46-B94E-6A7120130A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d740974bda05bd0358f728f2078d1c2def921e","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0646cefefbd0fcee27091da835ee955e37eb800a","datavalue":{"value":{"amount":"+0.7971369028091431","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":"Q5747780$C8769F7F-C16F-409A-810B-0A0A4945EF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224cb5592d1287a483b47592b8fc5a2ef8a33fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2429708,"id":"Q2429708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76237f1a067bd5bc74b96c24559daa41472c97f4","datavalue":{"value":{"amount":"+0.7949004769325256","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":"Q5747780$28E112EE-47B4-48E5-B838-80804AA2DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ee2e34356e15e2fa81ab628ba9df71231596d6","datavalue":{"value":{"entity-type":"item","numeric-id":511946,"id":"Q511946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ecbd7605fd65ad03c594bd092ccf58bd4cfbe4","datavalue":{"value":{"amount":"+0.7867355942726135","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":"Q5747780$2CA1D14E-C27E-4408-861E-25D56683BA7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747780"}}}}}