{"entities":{"Q507349":{"pageid":509116,"ns":120,"title":"Item:Q507349","lastrevid":62359455,"modified":"2026-04-11T05:33:18Z","type":"item","id":"Q507349","labels":{"en":{"language":"en","value":"Satisfiability of general intruder constraints with and without a set constructor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680823"}},"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":"Q507349$93ABA903-F29D-412F-B0B5-A1868889A79E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41350a5122c1f401fd4bb132e6e24001eac13f78","datavalue":{"value":{"text":"Satisfiability of general intruder constraints with and without a set constructor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507349$7324D779-6BD7-43AC-BE6D-17F346CCD48B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbc4d8ba4567c520797b5118f3434d4a1b6101c7","datavalue":{"value":"1356.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$CD05B249-E834-476A-AAFB-33A3CD6D2A03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b147a61425da7670f9167e4e6807a6d7ea6e53","datavalue":{"value":{"entity-type":"item","numeric-id":507346,"id":"Q507346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$58EC0A06-B45E-4D00-B5F7-F3E728FF053A","rank":"normal"},{"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":"Q507349$1F8C0DC4-F493-48EB-B57D-6801C0287EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16ef045480748e3614e1b5878bf1fcba81019b64","datavalue":{"value":{"entity-type":"item","numeric-id":507347,"id":"Q507347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$BF76EA38-5503-4AC8-9F22-7DC9A6A0A60B","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":"Q507349$BD25344E-9936-4BAC-BAB4-92F6E37D305A","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":"Q507349$FA337E0E-81F5-4A64-8BE7-7061A2C6BCA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507349$5B3CF66A-F558-496A-976A-C042012537C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3089141b11dadeef953bc492e045dea67f4de20a","datavalue":{"value":"http://oatao.univ-toulouse.fr/22621/1/avanesov_22621.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q507349$2333BC79-5916-4FD6-B97D-26C1CF233F5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$EBDF89E2-063F-4E20-B0F9-D5F756C7975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$C3B7BF22-BFFC-4DE5-92BD-E376E48F3230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$74687B79-E2FC-48EF-8545-06FF5B343067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be44f19741f5770bbd6e216eb74c3938dbec8b5b","datavalue":{"value":"6680823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$E4CB9931-C1ED-4B3F-9580-961C38130AE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc7e53b13d2bee868b1964b6c0ae3cb5873f3fa","datavalue":{"value":"ACI","type":"string"},"datatype":"string"},"type":"statement","id":"Q507349$C05723FB-7638-49B7-8523-4A419EE68F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a5556dbdfe13ffd0bae3bc3f899c626d141a44","datavalue":{"value":"deducibility constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q507349$CEFD73CA-A16A-4DE0-91A9-027CB6C396C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967c8888ff520399ea05172a9a6a7b31bc75c789","datavalue":{"value":"Dolev-Yao deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q507349$B295A98C-2A59-466A-A091-B61069B5A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5ead4a830f4d69f9859ba630c81d0d245960bb","datavalue":{"value":"multiple intruders","type":"string"},"datatype":"string"},"type":"statement","id":"Q507349$06F1E2D4-9BF1-4700-85E4-492E2EA1F4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q507349$C474703A-FDD1-4D1B-8F95-18657998F2B7","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":"Q507349$36EBF6A2-5D2D-4F55-8DA0-24F19395F3DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73ca211b54e98aa487167075e71870e4a293a99f","datavalue":{"value":"W1876319183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$B740C359-46B4-4458-AD0F-3D1246F82A83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$5546C320-94E4-4C02-9455-5BA228AFCBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1dedb1e0be010d88e386bff2e67d96183277317","datavalue":{"value":{"entity-type":"item","numeric-id":5458850,"id":"Q5458850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$27F7CFC7-CC8E-4C2C-AEDA-54EF6324D2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b120062f57339fca997efc29520af66709e19b5","datavalue":{"value":{"entity-type":"item","numeric-id":2441804,"id":"Q2441804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$16DEB385-297B-4F29-9369-28F77CA88887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c36684a43c3a832cc955dd68b2957291576d7f","datavalue":{"value":{"entity-type":"item","numeric-id":507349,"id":"Q507349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$F21246C3-8446-464E-95CD-D24ACB03EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$0E78A613-A151-4927-A75D-6C253E486C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8514b32237b2217006c8699247d6e7859d630804","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$749B8E82-C9F4-46C4-A0C0-24409F0D49CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caefc3eea3c60cfae1e49dd2122c83893c3136d","datavalue":{"value":{"entity-type":"item","numeric-id":3586076,"id":"Q3586076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$16478DA8-6986-43FC-A150-B9B7E42E0F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1b6ea19fa44bb93ecd31b4e00f4147de350d41","datavalue":{"value":{"entity-type":"item","numeric-id":3590970,"id":"Q3590970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$D5A083A1-2685-48DF-90DF-B72A62728305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878fe154984b011925cae52ab7eecc92a4aefeb4","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$A00142E0-2E90-48CE-913A-0DB81404BC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2406069f4238997d9946ec7b871d4f8e38903aa","datavalue":{"value":{"entity-type":"item","numeric-id":2268100,"id":"Q2268100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$6D9DFD4C-E004-4DFE-9F5B-B2F196E4F0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$37854362-4BE9-42A6-B6F2-422FE4CA5AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a7c368752e84e1b4eaff8b8f86c7bbd19d5282","datavalue":{"value":{"entity-type":"item","numeric-id":3525006,"id":"Q3525006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$7EA2E7EF-7E8E-41E3-9711-1994696B8366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e849b5ec3ce685e7fc6c978ac63581820822a3","datavalue":{"value":{"entity-type":"item","numeric-id":5277813,"id":"Q5277813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$038BB069-556E-4B4E-882E-E27F27BE7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969744e1c3d201c081e4d8f651e4fcd3b1fcd298","datavalue":{"value":{"entity-type":"item","numeric-id":5308437,"id":"Q5308437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$2AC5236D-8146-4B96-990A-9CC048C2E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d159e3acefd749670cb664b6b037c92400f8747c","datavalue":{"value":{"entity-type":"item","numeric-id":437043,"id":"Q437043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$6EAA6FBD-557E-4066-9265-A7A81080E51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4478401f47f86a8e59318518de26bb2d0ec75fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$EAF82BE6-658A-4520-8BA8-33DDDACEF7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6affab17bf6f3ffa1691409ae2a6489b362271aa","datavalue":{"value":{"entity-type":"item","numeric-id":2819403,"id":"Q2819403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$26ED350C-DE97-4860-AB15-2EE4BD34B6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf95b3c93687a9d84f234c630055dcbee95bc22","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$8481B4BA-E33E-4859-976B-039A0E203493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30f8117ce72dd85d803862655efba84b7eb772b","datavalue":{"value":{"entity-type":"item","numeric-id":5200040,"id":"Q5200040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$54014F00-6021-4237-83FA-E94724AB958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fed659cbf2447d4be483452e8b4b6cc03b57c2","datavalue":{"value":{"entity-type":"item","numeric-id":5464794,"id":"Q5464794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$8CFF6E72-B3C9-4664-A08F-58A2D81B2E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc5a9b984cb26eaab5cc0a8a494792254bb3bb8","datavalue":{"value":{"entity-type":"item","numeric-id":2848039,"id":"Q2848039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$AD84B0CB-8211-4810-8DD5-56ABF1C1373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de965379aafcf37d72de11452082bd5259b8938b","datavalue":{"value":{"entity-type":"item","numeric-id":5326758,"id":"Q5326758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$D73A95B1-3407-44BC-A0E6-97172C23D83B","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":"Q507349$CCF76D1D-7306-48AA-8339-5B79B3213B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ce28ba231ab96eb63bacf761d7575dcc5ab0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527301,"id":"Q3527301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507349$CFA5A20C-5503-4B89-AB24-701B0B79D140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c907fdb5f5aa783cd7a06e7a0e9240162dd24e0","datavalue":{"value":"10.1016/J.JSC.2016.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507349$08CCC32C-1270-4422-BF96-3DBAD3BD1527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a56570cd0c242749bdcb3ec929fc5653ced2b","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fd9706fec25765629f138656f020b2f2c84061","datavalue":{"value":{"amount":"+0.8013839721679688","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":"Q507349$681F3943-BC2B-47AE-B00F-6FBF638DBE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6930b48506e8a03cfa71ec4dfa43054af33f58","datavalue":{"value":{"amount":"+0.7738768458366394","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":"Q507349$E20739C5-E250-4A46-AE55-CA87D5E540A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd988471b88f04073dfc06db5a937b528bf1a48c","datavalue":{"value":{"entity-type":"item","numeric-id":2268100,"id":"Q2268100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbeb88cb8f950949fc835b375bdbd8ccdcd9307f","datavalue":{"value":{"amount":"+0.7716764211654663","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":"Q507349$5F4CC865-1914-4164-9223-2A84DA12E7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fc9f2d851b29ddaac9f96cabbcd7cfa522fc39","datavalue":{"value":{"entity-type":"item","numeric-id":2848039,"id":"Q2848039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d950812d21a2a31ff883e7c03ce24a3514d051","datavalue":{"value":{"amount":"+0.7676234245300293","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":"Q507349$6ED4AC14-D97E-4A4D-9EDB-96BACF1E09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ead2653a18e8dff372ed7fb36ab30b86bc95cc","datavalue":{"value":{"entity-type":"item","numeric-id":3590970,"id":"Q3590970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c87022f4d3837944fcce4ea0ab1f32cb5bb58a2","datavalue":{"value":{"amount":"+0.7659589648246765","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":"Q507349$1ABF7E7F-7DC2-4E45-BB36-AFD43A9C9A74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of general intruder constraints with and without a set constructor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_of_general_intruder_constraints_with_and_without_a_set_constructor"}}}}}