{"entities":{"Q2938056":{"pageid":2948776,"ns":120,"title":"Item:Q2938056","lastrevid":85239002,"modified":"2026-06-03T06:23:32Z","type":"item","id":"Q2938056","labels":{"en":{"language":"en","value":"A Formal Model and Correctness Proof for an Access Control Policy Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385871"}},"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":"Q2938056$B0779BD4-9E2E-422B-A26F-0A854529DF14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e7683b3000fc7bd1a8f548a49664af7faab3b8","datavalue":{"value":{"text":"A Formal Model and Correctness Proof for an Access Control Policy Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938056$761B9383-00CD-4523-8C3A-35D899D73880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a9a459d858626e5eb6f62842031c7c99cc9933","datavalue":{"value":"1426.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$9B21E80F-CD33-49D3-9B70-8BF032DBA53B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cf2dfcc1bd36353231f9990837e5a8b5994d577","datavalue":{"value":"10.1007/978-3-319-03545-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$6C81CD1E-A562-4EA8-9EEF-AB492F239389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39736715bab30a3ff137e1dff33ce2b8ee7a27b5","datavalue":{"value":{"entity-type":"item","numeric-id":2303233,"id":"Q2303233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$29C68C49-294D-45D7-A097-B28186F33285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$FBB2F951-95C7-461F-B199-50A010A96A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c1db257e626cb76e16153e74052c741125ca701","datavalue":{"value":{"entity-type":"item","numeric-id":2113967,"id":"Q2113967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$B7957740-3B3F-44B8-ACF6-F60FED9F26F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$A61C9580-41A1-45FF-BB7D-54BF60E3644C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938056$82A64500-99E5-4E43-BCB7-4F1C215C773D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$728D3D24-BF48-4019-802B-5A15BE37127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$390D15C5-F096-47E3-A132-B1C6CFFFAEC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd266a10d2f4cd972d0fc96cd012c2d053442b61","datavalue":{"value":"6385871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$77456F3B-5290-4B3E-8031-2CEF6FC37D8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$332D5599-26C2-4476-A8CB-A850FBFD0155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$89B11DFB-DA2D-4BF7-9E63-6EAD77735BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$8391308A-69E4-49D4-B565-5C5669528FED","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":"Q2938056$D7BEE2F8-470C-437B-8BB9-32E1DEC18194","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff07fe2508d41b7b453d5ceb1c46ed9947881c0f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03545-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938056$2C58F5BF-5864-4DC8-A61B-6BDD002E71BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aede4a18651a8a7bfee40aa73d2c6c936dfb7b1a","datavalue":{"value":"W176644902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938056$6E11FC4E-1420-449E-B530-475056C5B94C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5982125c1fa3d1a258cc383b2ab94c862070eac","datavalue":{"value":{"entity-type":"item","numeric-id":2914744,"id":"Q2914744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938056$C9E52834-6F6A-4E6E-A47D-59AD29422F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49ec216d4f73ea63ee7f57cfc99fa0fb1a7a63d","datavalue":{"value":{"entity-type":"item","numeric-id":5492771,"id":"Q5492771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2576b188ed6317d368686832719bf53dde485e04","datavalue":{"value":{"amount":"+0.93021196","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":"Q2938056$4FE7231D-0555-4DB9-862A-91E610E944E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652f016f4a1e2c9ec3e86d64a07946f0a216da61","datavalue":{"value":{"entity-type":"item","numeric-id":3608805,"id":"Q3608805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beed32d1c21b99be693ed09ee780468fe5e43de","datavalue":{"value":{"amount":"+0.91734254","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":"Q2938056$33C46F42-7F67-4CE5-8F71-AC7770E9EB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e364bc61388387b4cfd68598fdab8bccd3bd6843","datavalue":{"value":{"entity-type":"item","numeric-id":5493195,"id":"Q5493195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8047118c5a6d5bbad7b60f06bece3e569da39ff","datavalue":{"value":{"amount":"+0.9106296","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":"Q2938056$96E0DB90-CC2D-439F-8672-0F86316CDEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ad2380bf9ec51e1270c822806fd26ee6cd9fde","datavalue":{"value":{"entity-type":"item","numeric-id":3613438,"id":"Q3613438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ac1d928565a17e787bb7c0cee2cbbb41f6c253","datavalue":{"value":{"amount":"+0.89936733","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":"Q2938056$B69CDC52-2CED-4283-9A9E-F56D912FB309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa5d2df98b44d25649fb5b053075a76d1e7030d","datavalue":{"value":{"entity-type":"item","numeric-id":5862660,"id":"Q5862660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b97ba011a33c9bcebf901fdd6a9d236d4a6cfd","datavalue":{"value":{"amount":"+0.8917548","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":"Q2938056$A8DDF584-DEA9-4541-ABF3-C947DBDF4A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa56705ff7eecb3d7baf4f3819a2f8c2d5eccc1","datavalue":{"value":{"entity-type":"item","numeric-id":2385414,"id":"Q2385414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec624d26938b393ceb17f201dca710a0d9d2d16","datavalue":{"value":{"amount":"+0.8838938","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":"Q2938056$B06D5C5B-9FD4-4ADC-BD1A-87149A9ED839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08a4c8b9db1a54fcde3c892de4a4475c29ab663","datavalue":{"value":{"entity-type":"item","numeric-id":2769436,"id":"Q2769436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2981dd31d27d6aa685ea01300eeb85bfe1c8001","datavalue":{"value":{"amount":"+0.8817424","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":"Q2938056$44245DD0-2016-4FF5-8D83-87E3E209765B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Model and Correctness Proof for an Access Control Policy Framework","badges":[]}}}}}