{"entities":{"Q4669650":{"pageid":6699231,"ns":120,"title":"Item:Q4669650","lastrevid":97972457,"modified":"2026-06-05T15:57:41Z","type":"item","id":"Q4669650","labels":{"en":{"language":"en","value":"Soft constraint programming to analysing security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157091"}},"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":"Q4669650$BF7AB1AF-7D39-4B8E-BDF6-87604137F313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69c412c6ac296bbc0706845cea99b0040dc1c168","datavalue":{"value":{"text":"Soft constraint programming to analysing security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669650$B5F084CE-7D4E-4298-B09B-EAB81486D8A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5e1611aeda58a7eb87e1f157387de632829fea4","datavalue":{"value":"1087.68515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669650$717947B2-1470-40FA-969C-DDB4696B88F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ea472deaec5f1e9ef7377abb2ec1a319f510c9","datavalue":{"value":"10.1017/S1471068404002121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669650$A6B75C37-866D-414B-8EEB-9E51AD0F85BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0669000a2c75a544ff89c97d0a0c781a7f433d41","datavalue":{"value":{"entity-type":"item","numeric-id":540673,"id":"Q540673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669650$14D2F9A7-40C5-45EA-8C42-F62BC2C68203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b13bb8787cd055b65a65b1882c38bd4deb0aa91","datavalue":{"value":{"entity-type":"item","numeric-id":239556,"id":"Q239556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669650$4D2F2C37-ED0E-4B84-B04E-835B49EB8D50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669650$B3472818-A7DA-47F6-AB70-3FED0E34C866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669650$B5A39A5E-7B38-4757-B24A-795DF9627723","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669650$3BACEF01-6E48-474A-A1DA-A0E959B7ACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669650$4762B8F4-DCFD-4A3E-A4A0-B275C0802839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3fa55164dcc6c685ab000b38f4c24a42ad37558","datavalue":{"value":"2157091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669650$2E78E3C4-9D4C-4495-8903-D54736FEB178","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":"Q4669650$8A7B0A82-1BBB-47A6-BC4B-5C288AD39AD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47e7ec1e5a30b1ac2c484285f50241b6069b7ac3","datavalue":{"value":{"entity-type":"item","numeric-id":869815,"id":"Q869815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7162341926095fa1e97d0edc5390ba7e1a1972f1","datavalue":{"value":{"amount":"+0.7505577802658081","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":"Q4669650$3A843C7E-9B69-48CD-90CE-088A756AFC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e97a220b439a9c6f509263280e03f2001dc16","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b59e871c9ed1e4943b32f103bc123de0f923f6f","datavalue":{"value":{"amount":"+0.7467198371887207","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":"Q4669650$B5030F54-8400-4E47-9B46-B344FD053468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373e43d326c0a1dd714b55a7939821e5a00b12a0","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b06f1dc6c6384d6b9a11e3273fc51be39643184","datavalue":{"value":{"amount":"+0.7427751421928406","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":"Q4669650$931298B6-85B2-4D38-AAC4-8A6E80621237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787adb496cdabf3a476d347c94cbd6007f4faba0","datavalue":{"value":{"amount":"+0.7399848699569702","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":"Q4669650$E59A21F1-E02A-49BD-B2E5-A20869987827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63fa9eb9081b8fdd7f12029e0efee7ce3f5006","datavalue":{"value":{"entity-type":"item","numeric-id":4673388,"id":"Q4673388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a523ee3ced0f8ee41014a15c0baca62425eefd","datavalue":{"value":{"amount":"+0.7397390604019165","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":"Q4669650$D8F1FC31-85CF-4B51-8D5D-FF19AE55361B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soft constraint programming to analysing security protocols","badges":[]}}}}}