{"entities":{"Q2441771":{"pageid":2452514,"ns":120,"title":"Item:Q2441771","lastrevid":74108388,"modified":"2026-04-14T18:23:47Z","type":"item","id":"Q2441771","labels":{"en":{"language":"en","value":"Symbolic backward reachability with effectively propositional logic. Application to security policy analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275288"}},"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":"Q2441771$74E15D1C-8D0B-44AD-9633-AC68FC29F837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"818ce586b1bac7794a0b29d31c28e1f677f2dc3c","datavalue":{"value":{"text":"Symbolic backward reachability with effectively propositional logic. Application to security policy analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441771$9C04B3A1-C544-4B94-B279-9658F5774673","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb91a8664e397b58d9009d4e3fc5060a4e0da02","datavalue":{"value":"1284.68520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$C4681AF6-DED6-4B0B-B2F1-02475B66CFA3","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":"Q2441771$DCF1153C-F5EB-45E3-8668-1ACE20CFE61A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$F33A5DEE-A7AA-4145-8C12-4D75B1EA2C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441771$E1021703-DD26-42DC-B64B-12BC9A370E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$E0757F3F-6680-4D98-BAA4-DDA0509B3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$1A1E5C8C-7B52-4AF7-B8E5-379ACC0EBB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$6C49FD5F-6A0E-4D41-BCEE-BAA5C362FA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$8779A624-0968-4A26-8AA6-E4D0F31884DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee1e1d39c31b1ff844292050ac91144273a8903","datavalue":{"value":"6275288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$7572CF84-428A-4EC4-9BBB-F12624ECC5DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441771$C26EE4B5-C891-4DE6-A3F1-F10B82375A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441771$3FAE9B61-46AE-49BB-8C74-9A9F6F71ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb0d7c6ddf80b6e5c4df62cc8f7d9ff4f92eab8e","datavalue":{"value":"security analysis of administrative role-based access control policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441771$4AA3E5DE-6350-4B8A-9EB3-392B9365D6BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ee2b7d493ab237d6585112292121d99fd0065df","datavalue":{"value":{"entity-type":"item","numeric-id":18477,"id":"Q18477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$E7319D45-8510-43A0-AB78-9AE69674BE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$326EAB4A-2390-4CF8-8385-44F23F70281D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"880d9ad81fe5898cec0dab7f4f59a49c2e20d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":13530,"id":"Q13530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$A1576AB8-0A35-427E-8AB0-BC41E33A362E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$67717BD2-BDEC-4A5B-89B8-4AFEF76386EB","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":"Q2441771$12B5E682-AC41-4340-8B52-91F3760CCC39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19249f594f38eb8ef2753ff11889f4ceb455f5f9","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0157-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441771$3DD9FCD7-0200-4825-9FF5-B6DDE71CF9F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aa841c43e04d9e845731f52987bdea979a0bceb","datavalue":{"value":"W1484683107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$6A845E9B-B170-4DD1-9461-75457BC25A58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4fa3701ad3312a5a1485ddc91ab184d1e597fc","datavalue":{"value":{"entity-type":"item","numeric-id":2730725,"id":"Q2730725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$46FE04BA-57B3-4C80-8C24-DC7F99EA3A6E","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":"Q2441771$F9428ED7-B8C0-493A-9EEC-1CCB4CF93DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8614a6e319f35bd9225ad9b796bb2b1ec1861fd","datavalue":{"value":{"entity-type":"item","numeric-id":3075481,"id":"Q3075481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$03498681-303D-4DBF-8D25-E99B77FB58B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1007c5b91c8207d3ed3336e3c47a961d37b6339","datavalue":{"value":{"entity-type":"item","numeric-id":4417916,"id":"Q4417916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$832FF0CB-E899-42BF-978D-9F58F81A44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$F401B38C-758D-4665-AB8D-8A2AC6890572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb831970cdc01d205b526f08958ccd77a1ab13","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$1483FDD2-12CD-4A50-B3E1-00925A58EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$F5ED9727-4BF7-42A9-8567-FB0D53727949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$5BCA9D95-59A8-4787-958F-D35ABF111781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73dbcede27190cd2e561f92a6060d4f68d2ae5c","datavalue":{"value":{"entity-type":"item","numeric-id":3608783,"id":"Q3608783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$1863CA57-2E81-4505-B745-2BAB59F1D2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$9A0C0FB6-021B-4185-B4E6-734DF56181E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9c89e408025518504fb87cf4548120fb9f1dd5","datavalue":{"value":{"entity-type":"item","numeric-id":655414,"id":"Q655414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441771$9CDD4149-8AA7-40AE-A823-0E83C0FFEC87","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":"Q2441771$99AF549E-70A2-4366-AE9D-D457A7335B6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccf209563e6d815825a5bf17af0c159ed7834d90","datavalue":{"value":"10.1007/S10703-012-0157-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441771$F76592F0-659D-404A-960C-318E7CDAA3EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"478c1f69c52c4b359ca125dad43b96c995d08b8a","datavalue":{"value":{"entity-type":"item","numeric-id":655414,"id":"Q655414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e247449adcc3a5b89fd12d16e6b1948c169c52","datavalue":{"value":{"amount":"+0.7475611567497253","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":"Q2441771$74F057C6-3C4F-45FB-9A79-2F76EDC956EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d42823e534f321a50a536fcac85324fb953c44a","datavalue":{"value":{"amount":"+0.7118403315544128","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":"Q2441771$BE0B2F7A-A089-44EA-99F2-CD90777D6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba705a7f437b590157f1b2ef7fe5fbd96df31f6","datavalue":{"value":{"entity-type":"item","numeric-id":2885198,"id":"Q2885198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313e64670e4aa10b90f912c0e787087498c681bd","datavalue":{"value":{"amount":"+0.7090047001838684","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":"Q2441771$61B97D0F-C369-4084-9144-DCC7C56B0F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ec6cfc7a5dbcb682a92d56c9e66289249f33e9","datavalue":{"value":{"entity-type":"item","numeric-id":3421365,"id":"Q3421365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fead621f11ea761a1652abe05d8fd83b297143","datavalue":{"value":{"amount":"+0.7052700519561768","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":"Q2441771$F796FA09-C09B-4FDD-BA42-A55AF82C50E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0daf3be9d778eb40e0fde5d9680f884633a5de","datavalue":{"value":{"amount":"+0.7028862833976746","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":"Q2441771$2E2835AC-B897-43EC-920B-978A1DB347AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic backward reachability with effectively propositional logic. Application to security policy analysis","badges":[]}}}}}